(PHP 7, PHP 8)
gmp_random_seed — Définit la graine RNG (Générateur de Nombres Aléatoire)
seedLa graine à définir pour les fonctions gmp_random_bits() et gmp_random_range().
Un objet GMP, un entier,
ou un chaîne de caractères qui peut être interprété comme un nombre suivant la même logique
que si la chaîne était utilisée dans gmp_init() avec détection automatique de la base (c'est-à-dire lorsque base est égal à 0).
Aucune valeur n'est retournée.
Lève une exception ValueError si le
paramètre seed est invalide.
| Version | Description |
|---|---|
| 8.0.0 |
Si le paramètre seed est invalide, gmp_random_seed()
lève une exception ValueError dorénavant.
Précédemment une alerte E_WARNING était émise et false était retourné.
|
Exemple #1 Exemple avec gmp_random_seed()
<?php
// Définition de la graine
gmp_random_seed(100);
var_dump(gmp_strval(gmp_random_bits(10)));
// Définition de la graine avec une autre valeur
gmp_random_seed(gmp_init(-100));
var_dump(gmp_strval(gmp_random_range(0, 100)));
// Définition de la graine avec une valeur invalide
try {
gmp_random_seed('not a number');
} catch (\ValueError $e) {
echo $e->getMessage(), PHP_EOL;
}L'exemple ci-dessus va afficher :
string(3) "800" string(2) "32" gmp_random_seed(): Argument #1 ($seed) is not an integer string