C++ named requirements: UniformRandomBitGenerator (since C++11)

Равномерный генератор случайных битов — это функциональный объект, возвращающий беззнаковые целочисленные значения, причём каждое значение в диапазоне возможных результатов имеет (в идеале) равную вероятность.

Универсальные генераторы случайных битов не предназначены для использования в качестве генераторов случайных чисел: они используются как источник случайных битов (генерируемых оптом, для эффективности). Любой универсальный генератор случайных битов может быть подключен к любому распределению случайных чисел для получения случайного числа (формально, случайной величины).

Содержание 1 Требования 2 Примечания 3 Стандартная библиотека 4 Отчёты о дефектах 5 Смотри также

Требования

Тип G удовлетворяет требованиям UniformRandomBitGenerator если

Дано g — значение типа G , все следующие условия должны выполняться: G::result_type является корректным и обозначает беззнаковый целочисленный тип. Следующие выражения должны быть корректными и иметь указанные эффекты:

(до C++20)

Выражение	Тип	Требования
G :: min ( )	G::result_type	Возвращает наименьшее значение, которое может вернуть G 's operator ( ) . Результат строго меньше, чем G :: max ( ) . Выражение должно быть константным выражением.
G :: max ( )	G::result_type	Возвращает наибольшее значение, которое может вернуть G 's operator ( ) . Результат строго больше, чем G::min() . Выражение должно быть константным выражением.
g ( )	G::result_type	Возвращает значение в закрытом интервале [ G :: min ( ) , G :: max ( ) ] . Имеет амортизированную постоянную сложность.

Все следующие условия удовлетворены: G моделирует uniform_random_bit_generator . std:: invoke_result_t < G & > является беззнаковым целочисленным типом. G предоставляет вложенный typedef с именем result_type , который обозначает тот же тип, что и std:: invoke_result_t < G & > .

(since C++20)

Примечания

Все RandomNumberEngine s удовлетворяют этому требованию.

Стандартная библиотека

Следующие средства стандартной библиотеки ожидают тип UniformRandomBitGenerator .

random_shuffle shuffle (until C++17) (C++11)	случайно переупорядочивает элементы в диапазоне (шаблон функции)
sample (C++17)	выбирает N случайных элементов из последовательности (шаблон функции)
generate_canonical (C++11)	равномерно распределяет вещественные значения заданной точности в диапазоне [ ​ 0 ​ , 1 ) (шаблон функции)
uniform_int_distribution (C++11)	генерирует целочисленные значения, равномерно распределенные в диапазоне (шаблон класса)
uniform_real_distribution (C++11)	генерирует вещественные значения, равномерно распределенные в диапазоне (шаблон класса)
все остальные распределения случайных чисел

Следующие средства стандартной библиотеки удовлетворяют требованиям UniformRandomBitGenerator без дополнительного удовлетворения требований RandomNumberEngine :

random_device (C++11)

недетерминированный генератор случайных чисел, использующий аппаратный источник энтропии (класс)

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Applied to	Behavior as published	Correct behavior
LWG 2154 ( P0898R3 )	C++11	было неясно, требуются ли G :: min ( ) и G :: max ( ) быть константными выражениями [1]	требуется

1. ↑ Требование временной сложности для этих выражений было "время компиляции" до C++20. Формулировка неоднозначна, так как "временная сложность времени компиляции" может быть интерпретирована как "может быть вычислена во время компиляции" и "временная сложность может быть определена во время компиляции".

Смотрите также

uniform_random_bit_generator (C++20)

определяет, что тип соответствует требованиям генератора равномерно распределенных случайных битов (концепт)