26 Numerics library [numerics]

26.6 Random number generation [rand]

26.6.3 Requirements [rand.req]

26.6.3.4 Random number engine requirements [rand.req.eng]

A random number engine (commonly shortened to engine) e of type E is a uniform random bit generator that additionally meets the requirements (e.g., for seeding and for input/output) specified in this subclause.
At any given time, e has a state e for some integer .
Upon construction, e has an initial state e.
An engine's state may be established via a constructor, a seed function, assignment, or a suitable operator>>.
E's specification shall define:
A class E that meets the requirements of a uniform random bit generator also meets the requirements of a random number engine if the expressions shown in Table 98 are valid and have the indicated semantics, and if E also meets all other requirements of this subclause [rand.req.eng].
In that Table and throughout this subclause:
• T is the type named by E's associated result_­type;
• e is a value of E, v is an lvalue of E, x and y are (possibly const) values of E;
• s is a value of T;
• q is an lvalue meeting the requirements of a seed sequence;
• z is a value of type unsigned long long;
• os is an lvalue of the type of some class template specialization basic_­ostream<charT, traits>; and
• is is an lvalue of the type of some class template specialization basic_­istream<charT, traits>;
where charT and traits are constrained according to [strings] and [input.output].
Table 98: Random number engine requirements [tab:rand.req.eng]
 🔗 Expression Return type Pre/post-condition Complexity 🔗 E() Creates an engine with the same initial state as all other default-constructed engines of type E. O(size of state) 🔗 E(x) Creates an engine that compares equal to x. O(size of state) 🔗 E(s) Creates an engine with initial state determined by s. O(size of state) 🔗 E(q)232 Creates an engine with an initial state that depends on a sequence produced by one call to q.generate. same as complexity of q.generate called on a sequence whose length is size of state 🔗 e.seed() void Postconditions: e == E(). same as E() 🔗 e.seed(s) void Postconditions: e == E(s). same as E(s) 🔗 e.seed(q) void Postconditions: e == E(q). same as E(q) 🔗 e() T Advances e's state ei to ei+1 =TA(ei) and returns GA(ei). 🔗 e.discard(z)233 void Advances e's state ei to ei+z by any means equivalent to z consecutive calls e(). no worse than the complexity of z consecutive calls e() 🔗 x == y bool This operator is an equivalence relation. With Sx and Sy as the infinite sequences of values that would be generated by repeated future calls to x() and y(), respectively, returns true if Sx=Sy; else returns false. O(size of state) 🔗 x != y bool !(x == y). O(size of state) 🔗 os << x reference to the type of os With os.fmtflags set to ios_­base​::​dec|ios_­base​::​left and the fill character set to the space character, writes to os the textual representation of x's current state. In the output, adjacent numbers are separated by one or more space characters.Postconditions: The os.fmtflags and fill character are unchanged. O(size of state) 🔗 is >> v reference to the type of is With is.fmtflags set to ios_­base​::​dec, sets v's state as determined by reading its textual representation from is. If bad input is encountered, ensures that v's state is unchanged by the operation and calls is.setstate(ios_­base​::​failbit) (which may throw ios_­base​::​failure ([iostate.flags])). If a textual representation written via os << x was subsequently read via is >> v, then x == v provided that there have been no intervening invocations of x or of v.Preconditions: is provides a textual representation that was previously written using an output stream whose imbued locale was the same as that of is, and whose type's template specialization arguments charT and traits were respectively the same as those of is.Postconditions: The is.fmtflags are unchanged. O(size of state)
E shall meet the Cpp17CopyConstructible (Table 31) and Cpp17CopyAssignable (Table 33) requirements.
These operations shall each be of complexity no worse than .
232)232)
This constructor (as well as the subsequent corresponding seed() function) can be particularly useful to applications requiring a large number of independent random sequences.
233)233)
This operation is common in user code, and can often be implemented in an engine-specific manner so as to provide significant performance improvements over an equivalent naive loop that makes z consecutive calls e().