(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(), 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, gmd_random_seed()
lève une exception ValueError dorénavant.
Précédemment une alerte E_WARNING était émise.
|
Exemple #1 Exemple avec gmp_random_seed()
<?php
// set the seed
gmp_random_seed(100);
var_dump(gmp_strval(gmp_random(1)));
// set the seed to something else
gmp_random_seed(gmp_init(-100));
var_dump(gmp_strval(gmp_random_bits(10)));
// set the seed to something invalid
var_dump(gmp_random_seed('not a number'));L'exemple ci-dessus va afficher :
string(20) "15370156633245019617" string(3) "683" Warning: gmp_random_seed(): Unable to convert variable to GMP - string is not an integer in %s on line %d bool(false)