tmp/tmpfydfkfth/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,43 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
### General <a id="rand.general">[[rand.general]]</a>
|
| 2 |
+
|
| 3 |
+
Subclause [[rand]] defines a facility for generating (pseudo-)random
|
| 4 |
+
numbers.
|
| 5 |
+
|
| 6 |
+
In addition to a few utilities, four categories of entities are
|
| 7 |
+
described: *uniform random bit generators*, *random number engines*,
|
| 8 |
+
*random number engine adaptors*, and *random number distributions*.
|
| 9 |
+
These categorizations are applicable to types that meet the
|
| 10 |
+
corresponding requirements, to objects instantiated from such types, and
|
| 11 |
+
to templates producing such types when instantiated.
|
| 12 |
+
|
| 13 |
+
[*Note 1*: These entities are specified in such a way as to permit the
|
| 14 |
+
binding of any uniform random bit generator object `e` as the argument
|
| 15 |
+
to any random number distribution object `d`, thus producing a
|
| 16 |
+
zero-argument function object such as given by
|
| 17 |
+
`bind(d,e)`. — *end note*]
|
| 18 |
+
|
| 19 |
+
Each of the entities specified in [[rand]] has an associated arithmetic
|
| 20 |
+
type [[basic.fundamental]] identified as `result_type`. With `T` as the
|
| 21 |
+
`result_type` thus associated with such an entity, that entity is
|
| 22 |
+
characterized:
|
| 23 |
+
|
| 24 |
+
- as *boolean* or equivalently as *boolean-valued*, if `T` is `bool`;
|
| 25 |
+
- otherwise as *integral* or equivalently as *integer-valued*, if
|
| 26 |
+
`numeric_limits<T>::is_integer` is `true`;
|
| 27 |
+
- otherwise as *floating-point* or equivalently as *real-valued*.
|
| 28 |
+
|
| 29 |
+
If integer-valued, an entity may optionally be further characterized as
|
| 30 |
+
*signed* or *unsigned*, according to `numeric_limits<T>::is_signed`.
|
| 31 |
+
|
| 32 |
+
Unless otherwise specified, all descriptions of calculations in [[rand]]
|
| 33 |
+
use mathematical real numbers.
|
| 34 |
+
|
| 35 |
+
Throughout [[rand]], the operators , , and \xor denote the respective
|
| 36 |
+
conventional bitwise operations. Further:
|
| 37 |
+
|
| 38 |
+
- the operator \rightshift denotes a bitwise right shift with
|
| 39 |
+
zero-valued bits appearing in the high bits of the result, and
|
| 40 |
+
- the operator denotes a bitwise left shift with zero-valued bits
|
| 41 |
+
appearing in the low bits of the result, and whose result is always
|
| 42 |
+
taken modulo 2ʷ.
|
| 43 |
+
|