The conceptuniform_random_bit_generator<G>
specifies thatG
is the type of a uniform random bit generator, that is, objects of typeG
is a function object returning unsigned integer values such that each value in the range of possible results has (ideally) equal probability of being returned.
[edit]Semantic requirements
uniform_random_bit_generator<G>
is modeled only if, given any objectg
of typeG
:
g()
is in the range[
G::min(),
G::max()]
,g()
has amortized constant complexity.
In order to satisfy the requirementstd::bool_constant<(G::min()< G::max())>::value, bothG::min() andG::max() must be constant expressions, and the result of the comparison must betrue.