<random>
Définit des fonctions pour la génération de nombres aléatoires, ce qui permet la création de nombres aléatoires distribués de manière uniforme.
#include <random>
Résumé
Un générateur de nombres aléatoires est un objet qui produit une séquence de valeurs pseudo-aléatoires. Un générateur qui produit des valeurs distribuées de manière uniforme dans une plage spécifiée est un générateur de nombres aléatoires uniformes (URNG). Une classe de modèle conçue pour fonctionner comme générateur URNG est appelée moteur si cette classe a certaines caractéristiques communes, qui sont abordées plus loin dans cet article. Un générateur URNG peut être (et est généralement) associé à une distribution en passant le générateur URNG en tant qu'argument à l'élément operator() de la distribution pour produire les valeurs qui sont distribuées comme le définit la distribution.
Ces liens permettent d'accéder aux principales sections de cet article :
Exemples de code
Liste classée par catégorie
Moteurs et distributions
Notes
Conseils rapides
Voici quelques conseils à garder à l'esprit lors de l'utilisation de <random> :
Dans la plupart des cas, les générateurs URNG produisent des bits bruts qui doivent être mis en forme par les distributions. (Une exception notable est std::shuffle() car il utilise directement un générateur URNG.)
Une seule instanciation d'un générateur URNG ou d'une distribution ne peut pas être appelée en toute sécurité simultanément, car l'exécution d'un générateur URNG ou d'une distribution est une opération de modification. Pour plus d'informations, consultez Sécurité des threads dans la bibliothèque standard C++.
Les typedefs prédéfinis de plusieurs moteurs sont fournis ; il s'agit du mode de création préféré d'un générateur URNG si un moteur est utilisé.
Le couplage le plus utile pour la plupart des applications est le moteur mt19937 avec uniform_int_distribution, comme illustré dans l'exemple de code plus loin dans cet article.
Vous avez le choix entre de nombreuses options dans l'en-tête <random> et n'importe laquelle d'entre elles est préférable à la fonction C Runtime obsolète rand(). Pour plus d'informations sur les inconvénients présentés par rand() et la façon dont <random> les traite, consultez cette vidéo.
Exemples
L'exemple de code suivant montre comment générer des nombres aléatoires. Dans le cas présent, cinq d'entre eux utilisent un générateur créé avec une valeur initiale non déterministe.
#include <random>
#include <iostream>
using namespace std;
int main()
{
random_device rd; // non-deterministic generator
mt19937 gen(rd()); // to seed mersenne twister.
// replace the call to rd() with a
// constant value to get repeatable
// results.
for (int i = 0; i < 5; ++i) {
cout << gen() << " "; // print the raw output of the generator.
}
cout << endl;
}
Sortie :
Bien qu'il s'agisse de nombres aléatoires de haute qualité, différents à chaque exécution de ce programme, ils ne sont pas nécessairement dans une plage utile. Pour contrôler la plage, utilisez une distribution uniforme, comme illustré dans le code suivant :
#include <random>
#include <iostream>
using namespace std;
int main()
{
random_device rd; // non-deterministic generator
mt19937 gen(rd()); // to seed mersenne twister.
uniform_int_distribution<> dist(1,6); // distribute results between 1 and 6 inclusive.
for (int i = 0; i < 5; ++i) {
cout << dist(gen) << " "; // pass the generator to the distribution.
}
cout << endl;
}
Sortie :
L'exemple de code suivant illustre un ensemble de cas d'usage plus réaliste avec des générateurs de nombres aléatoires distribués de manière uniforme. Ces derniers lisent de façon aléatoire le contenu d'un vecteur et d'un tableau.
// cl.exe /EHsc /nologo /W4 /MTd
#include <algorithm>
#include <array>
#include <iostream>
#include <random>
#include <string>
#include <vector>
#include <functional> // ref()
using namespace std;
template <typename C> void print(const C& c) {
for (const auto& e : c) {
cout << e << " ";
}
cout << endl;
}
template <class URNG>
void test(URNG& urng) {
// Uniform distribution used with a vector
// Distribution is [-5, 5] inclusive
uniform_int_distribution<int> dist(-5, 5);
vector<int> v;
for (int i = 0; i < 20; ++i) {
v.push_back(dist(urng));
}
cout << "Randomized vector: ";
print(v);
// Shuffle an array
// (Notice that shuffle() takes a URNG, not a distribution)
array<string, 26> arr = { { "H", "He", "Li", "Be", "B", "C", "N", "O", "F",
"Ne", "Na", "Mg", "Al", "Si", "P", "S", "Cl", "Ar", "K", "Ca", "Sc",
"Ti", "V", "Cr", "Mn", "Fe" } };
shuffle(arr.begin(), arr.end(), urng);
cout << "Randomized array: ";
print(arr);
cout << "--" << endl;
}
int main()
{
// First run: non-seedable, non-deterministic URNG random_device
// Slower but crypto-secure and non-repeatable.
random_device rd;
cout << "Using random_device URNG:" << endl;
test(rd);
// Second run: simple integer seed, repeatable results
cout << "Using constant-seed mersenne twister URNG:" << endl;
mt19937 engine1(12345);
test(engine1);
// Third run: random_device as a seed, different each run
// (Desirable for most purposes)
cout << "Using non-deterministic-seed mersenne twister URNG:" << endl;
mt19937 engine2(rd());
test(engine2);
// Fourth run: "warm-up" sequence as a seed, different each run
// (Advanced uses, allows more than 32 bits of randomness)
cout << "Using non-deterministic-seed \"warm-up\" sequence mersenne twister URNG:" << endl;
array<unsigned int, mt19937::state_size> seed_data;
generate_n(seed_data.begin(), seed_data.size(), ref(rd));
seed_seq seq(begin(seed_data), end(seed_data));
mt19937 engine3(seq);
test(engine3);
}
Exemple de sortie et notes sur le code
Ce code illustre deux randomisations différentes (rendre aléatoire un vecteur d'entiers et lire de façon aléatoire un tableau de données indexées) avec une fonction avec modèle de test. Le premier appel à la fonction de test utilise le générateur URNG sécurisé par chiffrement, non déterministe, sans valeur initiale et non renouvelable random_device. La deuxième série de tests utilise mersenne_twister_engine comme générateur URNG, avec une valeur initiale constante 32 bits déterministe, ce qui signifie que les résultats sont renouvelables. La troisième série de tests amorce mersenne_twister_engine avec un résultat non déterministe 32 bits de random_device. La quatrième série de tests poursuit ce développement en utilisant une séquence de valeurs initiales remplie avec des résultats random_device, qui présente de manière effective un caractère aléatoire non déterministe de plus de 32 bits (mais toujours pas sécurisé par chiffrement). Pour plus d'informations, lisez la suite.
[haut de la page]
Liste classée par catégorie
Générateurs de nombres aléatoires uniformes
Les générateurs URNG sont souvent décrits sous l'angle des propriétés suivantes :
Longueur de période : nombre d'itérations nécessaires pour répéter la séquence des nombres générés. Plus la période est longue, mieux c'est.
Performances : vitesse à laquelle les nombres peuvent être générés et quantité de mémoire nécessaire. Plus la valeur est faible, mieux c'est.
Qualité : proximité de la séquence générée des nombres véritablement aléatoires. Cette propriété est souvent appelée « caractère aléatoire ».
Les sections suivantes répertorient les générateurs URNG fournis dans l'en-tête <random>.
[haut de la page]
Générateur non déterministe
Génère une séquence aléatoire non déterministe, sécurisée par chiffrement à l'aide d'un appareil externe. Généralement utilisé pour amorcer un moteur. Performances faibles, très haute qualité. Pour plus d'informations, voir Notes. |
[haut de la page]
Typedefs de moteur avec paramètres prédéfinis
Pour l'instanciation des moteurs et adaptateurs de moteurs. Pour plus d'informations, voir Moteurs et distributions.
Nom |
Description |
---|---|
default_random_engine |
Définition de type pour le moteur par défaut.
|
knuth_b |
Moteur Knuth.
|
minstd_rand0 |
Moteur standard minimal 1988 (Lewis, Goodman et Miller, 1969).
|
minstd_rand |
Moteur standard minimal mis à jour minstd_rand0 (Park, Miller et Stockmeyer, 1993).
|
mt19937 |
Moteur twister Mersenne 32 bits (Matsumoto et Nishimura, 1998).
|
mt19937_64 |
Moteur twister Mersenne 64 bits (Matsumoto et Nishimura, 2000).
|
ranlux24 |
Moteur RANLUX 24 bits (Martin Lüscher et Fred James, 1994).
|
ranlux24_base |
Utilisé comme base pour ranlux24.
|
ranlux48 |
Moteur RANLUX 48 bits (Martin Lüscher et Fred James, 1994).
|
ranlux48_base |
Utilisé comme base pour ranlux48.
|
[haut de la page]
Modèles de moteurs
Les modèles de moteurs sont utilisés comme générateurs URNG autonomes ou comme moteurs de base passés aux adaptateurs de moteurs. En général, ils sont instanciés avec un typedef de moteur prédéfini et passés à une distribution. Pour plus d'informations, consultez la section Moteurs et distributions.
Génère une séquence aléatoire en utilisant l'algorithme congruentiel linéaire. Moteur le plus simple avec la qualité la plus basse. |
|
Génère une séquence aléatoire en utilisant l'algorithme twister de Mersenne. Moteur le plus complexe avec la qualité la plus élevée, à l'exception de la classe random_device. Performances très élevées. |
|
Génère une séquence aléatoire en utilisant l'algorithme SWC (Substract With Carry). Version améliorée de linear_congruential_engine, mais avec des performances et une qualité beaucoup plus faibles que mersenne_twister_engine. |
[haut de la page]
Modèles d'adaptateurs de moteurs
Les adaptateurs de moteurs sont des modèles qui adaptent d'autres moteurs (de base). En général, ils sont instanciés avec un typedef de moteur prédéfini et passés à une distribution. Pour plus d'informations, consultez la section Moteurs et distributions.
Génère une séquence aléatoire en ignorant les valeurs retournées par son moteur de base. |
|
Génère une séquence aléatoire avec un nombre spécifié de bits en recompressant les bits des valeurs retournées par son moteur de base. |
|
Génère une séquence aléatoire en réordonnançant les valeurs retournées à partir de son moteur de base. |
[haut de la section]
[haut de la page]
Distributions de nombres aléatoires
Les sections suivantes répertorient les distributions fournies dans l'en-tête <random>. Les distributions sont un mécanisme de post-traitement qui utilise généralement la sortie de générateur URNG comme entrée et distribue la sortie selon une fonction de densité de probabilité statistique définie. Pour plus d'informations, consultez la section Moteurs et distributions.
[haut de la page]
Distributions uniformes
Produit une distribution de valeurs entières uniforme dans une plage de l'intervalle fermé [a, b] (inclusive - inclusive). |
|
Produit une distribution de valeurs (à virgule flottante) réelles uniforme dans une plage de l'intervalle [a, b] (inclusive - exclusive). |
|
Produit une distribution égale de valeurs (à virgule flottante) réelles d'une précision donnée dans [0, 1) (inclusive - exclusive). |
[haut de la section]
Distributions de Bernoulli
Produit une distribution de Bernoulli de valeurs bool. |
|
Produit une distribution binomiale de valeurs entières. |
|
Produit une distribution géométrique de valeurs entières. |
|
Produit une distribution négative binomiale de valeurs entières. |
[haut de la section]
Distributions normales
Produit une distribution suivant une loi de Cauchy de valeurs (à virgule flottante) réelles. |
|
Produit une distribution suivant la loi unilatérale du Khi-deux de valeurs (à virgule flottante) réelles. |
|
Produit une distribution selon la loi de Fisher (également appelée loi F de Snedecor ou loi de Fisher-Snedecor) de valeurs (à virgule flottante) réelles. |
|
Produit une distribution suivant une loi log-normale de valeurs (à virgule flottante) réelles. |
|
Produit une distribution normale (loi gaussienne) de valeurs (à virgule flottante) réelles. |
|
Produit une distribution de Student de valeurs (à virgule flottante) réelles. |
[haut de la section]
Probabilités de variables aléatoires suivant une loi de Poisson
Produit une distribution exponentielle de valeurs (à virgule flottante) réelles. |
|
Produit une distribution suivant la loi d'extremum de valeurs (à virgule flottante) réelles. |
|
Produit une distribution Gamma de valeurs (à virgule flottante) réelles. |
|
Produit une probabilité d'une variable aléatoire suivant une loi de Poisson de valeurs entières. |
|
Produit une distribution de Weibull de valeurs (à virgule flottante) réelles. |
[haut de la section]
Distributions d'échantillonnages
Produit une distribution d'entiers discrète. |
|
Produit une distribution constante par morceaux de valeurs (à virgule flottante) réelles. |
|
Produit une distribution linéaire par morceaux de valeurs (à virgule flottante) réelles. |
[haut de la section]
[haut de la page]
Fonctions utilitaires
Cette section répertorie les fonctions utilitaires générales fournies dans l'en-tête <random>.
Génère une séquence de valeurs initiales brouillée non tronquée. Utilisée pour éviter la réplication de flux de variantes aléatoires. Utile quand de nombreux générateurs URNG sont instanciés à partir de moteurs. |
Opérateurs
Cette section répertorie les opérateurs fournis dans l'en-tête <random>.
operator== |
Teste si le générateur URNG situé à gauche de l'opérateur est égal au moteur situé à droite. |
operator!= |
Teste si le générateur URNG situé à gauche de l'opérateur n'est pas égal au moteur situé à droite. |
operator<< |
Écrit des informations d'état dans un flux. |
operator>> |
Extrait des informations d'état d'un flux. |
[haut de la page]
Moteurs et distributions
Reportez-vous aux sections suivantes pour plus d'informations sur chacune des catégories de classes de modèles définies dans <random>. Ces deux catégories de classes de modèles acceptent un type comme argument et utilisent des noms de paramètres de modèles partagés pour décrire les propriétés du type qui sont autorisées en tant que type d'argument réel, comme suit :
IntType indique un short, int, long, long long, unsigned short, unsigned int, unsigned long ou unsigned long long.
UIntType indique unsigned short, unsigned int, unsigned long ou unsigned long long.
RealType indique un float, double ou long double.
Moteurs
Les moteurs et adaptateurs de moteurs sont des modèles dont les paramètres personnalisent le générateur créé.
Un moteur est une classe ou une classe de modèle dont les instances (générateurs) agissent comme source de nombres aléatoires distribués de manière uniforme entre une valeur minimale et une valeur maximale. Un adaptateur de moteur fournit une séquence de valeurs qui ont différentes propriétés de caractère aléatoire en acceptant des valeurs produites par un autre moteur de nombres aléatoires et en appliquant un algorithme d'un certain genre à ces valeurs.
Chaque moteur et chaque adaptateur de moteur possèdent les membres suivants :
typedef numeric-type result_type est le type retourné par l'élément operator() du générateur. Le numeric-type est passé en tant que paramètre de modèle lors de l'instanciation.
result_type operator() retourne des valeurs qui sont distribuées de manière uniforme entre min() et max().
result_type min() retourne la valeur minimale retournée par l'élément operator() du générateur. Les adaptateurs de moteurs utilisent le résultat min() du moteur de base.
result_type max() retourne la valeur maximale retournée par l'élément operator() du générateur. Quand result_type est un type intégral (à valeur entière), max() est la valeur maximale qui peut être retournée (valeur comprise) ; quand result_type est un type à virgule flottante (à valeur réelle), max() est la plus petite valeur supérieure à toutes les valeurs qui peut être retournée (valeur non comprise). Les adaptateurs de moteurs utilisent le résultat max() du moteur de base.
void seed(result_type s) amorce le générateur avec la valeur initiale s. Pour les moteurs, la signature est void seed(result_type s = default_seed) pour une prise en charge des paramètres par défaut (les adaptateurs de moteurs définissent une valeur void seed() distincte, consultez la sous-section suivante).
template <class Seq> void seed(Seq& q) amorce le générateur avec une classe seed_seq Seq.
Constructeur explicite avec argument result_type x qui crée un générateur amorcé comme par un appel à seed(x).
Constructeur explicite avec argument seed_seq& seq qui crée un générateur amorcé comme par un appel à seed(seq).
void discard(unsigned long long count) appelle en fait operator() count fois et ignore chaque valeur.
En outre, les adaptateurs de moteurs prennent en charge ces membres (Engine est le premier paramètre de modèle d'un adaptateur de moteur, désignant le type de moteur de base) :
Constructeur par défaut pour initialiser le générateur comme depuis le constructeur par défaut du moteur de base.
Constructeur explicite avec argument const Engine& eng. Le but est de prendre en charge la construction de copie à l'aide du moteur de base.
Constructeur explicite avec argument Engine&& eng. Le but est de prendre en charge la construction de déplacement à l'aide du moteur de base.
void seed() qui initialise le générateur avec la valeur initiale par défaut du moteur de base.
Fonction de propriété const Engine& base() qui retourne le moteur de base utilisé pour construire le générateur.
Chaque moteur tient à jour un état qui détermine la séquence de valeurs qui sera générée par les appels suivants à operator(). Les états de deux générateurs instanciés à partir de moteurs du même type peuvent être comparés en utilisant operator== et operator!=. Si les deux états sont égaux, ils génèrent la même séquence de valeurs. L'état d'un objet peut être enregistré dans un flux comme une séquence de valeurs non signés 32 bits en utilisant l'élément operator<< du générateur. L'état n'est pas modifié quand il est enregistré. Un état enregistré peut être lu dans un générateur instancié à partir d'un moteur du même type avec operator>>.
[haut de la page]
Distributions
Une distribution est une classe ou une classe de modèle dont les instances transforment un flux de nombres aléatoires distribués de manière uniforme obtenus à partir d'un moteur en un flux de nombres aléatoires qui ont une distribution particulière. Chaque distribution possède les membres suivants :
typedef numeric-type result_type est le type retourné par l'élément operator() de la distribution. Le numeric-type est passé en tant que paramètre de modèle lors de l'instanciation.
template <class URNG> result_type operator()(URNG& gen) retourne des valeurs distribuées en fonction de la définition de la distribution, en utilisant gen comme une source de valeurs aléatoires distribuées de manière uniforme et les paramètres stockés de la distribution.
template <class URNG> result_type operator()(URNG& gen, param_type p) retourne des valeurs distribuées en fonction de la définition de la distribution, en utilisant gen comme une source de valeurs aléatoires distribuées de manière uniforme et la structure des paramètres p.
typedef unspecified-type param_type est le package de paramètres éventuellement passé à operator() et est utilisé à la place des paramètres stockés pour générer sa valeur de retour.
Un constructeur const param& initialise les paramètres stockés à partir de son argument.
param_type param() const obtient les paramètres stockés.
void param(const param_type&) définit les paramètres stockés à partir de son argument.
result_type min() retourne la valeur minimale retournée par l'élément operator() de la distribution.
result_type max() retourne la valeur maximale retournée par l'élément operator() de la distribution. Quand result_type est un type intégral (à valeur entière), max() est la valeur maximale qui peut être retournée (valeur comprise) ; quand result_type est un type à virgule flottante (à valeur réelle), max() est la plus petite valeur supérieure à toutes les valeurs qui peut être retournée (valeur non comprise).
void reset() ignore toutes les valeurs mises en cache, afin que le résultat de l'appel suivant à operator() ne dépende d'aucune valeur obtenue à partir du moteur avant l'appel.
Une structure de paramètre est un objet qui stocke tous les paramètres nécessaires pour une distribution. Elle contient :
typedef distribution-type distribution_type, qui est le type de sa distribution.
Un ou plusieurs constructeurs qui acceptent les mêmes listes de paramètres que les constructeurs de distribution.
Les mêmes fonctions d'accès aux paramètres que la distribution.
Des opérateurs de comparaison d'égalité et d'inégalité.
Pour plus d'informations, consultez les sous-rubriques de référence sous celle-ci, liées précédemment dans cet article.
[haut de la page]
Notes
Il existe deux générateurs URNG très utiles dans Visual Studio, mt19937 et random_device, comme illustré dans cette table de comparaison :
Générateur URNG |
Rapide ? |
Sécurisé par chiffrement ? |
Avec valeur initiale ? |
Déterministe ? |
---|---|---|---|---|
mt19937 |
Oui |
Non |
Oui |
Oui* |
random_device |
Non |
Oui |
Non |
Non |
* Quand il est fourni avec une valeur initiale connue.
Même si la norme ISO C++ n'exige pas que random_device soit sécurisé par chiffrement, il est implémenté dans Visual Studio pour être sécurisé par chiffrement. (Le terme « sécurisé par chiffrement » n'implique pas de garanties, mais fait référence à un niveau minimal d'entropie (et donc au niveau de prévisibilité) fourni par un algorithme de randomisation donné. Pour plus d'informations, consultez l'article de Wikipedia Cryptographically secure pseudorandom number generator.) Comme la norme ISO C++ n'a pas cette exigence, d'autres plateformes peuvent implémenter random_device comme un générateur de nombres pseudo-aléatoires simple (non sécurisé par chiffrement) et n'être appropriées que comme source de valeurs initiales pour un autre générateur. Recherchez ces plateformes dans la documentation quand vous utilisez random_device dans du code entre plateformes.
Par définition, les résultats random_device ne peuvent pas être reproduits et un effet secondaire est que son exécution peut être beaucoup plus lente que celle d'autres générateurs URNG. La plupart des applications qui ne sont pas obligées d'être sécurisées par chiffrement utilisent mt19937 ou un moteur semblable, même si vous pouvez être amené à l'amorcer avec un appel à random_device, comme illustré dans l'exemple de code.
[haut de la page]