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.