(PHP 7, PHP 8)
gmp_random_seed — Sets the RNG seed
seedThe seed to be set for the gmp_random_bits() and gmp_random_range() functions.
Può essere o una resource numero GMP, oppure una stringa numerica dal momento che è possibile convertire quest'ultimo in un numero.
Nessun valore viene restituito.
Throws a ValueError if seed
is invalid.
| Versione | Descrizione |
|---|---|
| 8.0.0 |
If seed is invalid, gmp_random_seed()
now throws a ValueError.
Previously it emitted an E_WARNING and returned false.
|
Example #1 gmp_random_seed() example
<?php
// set the seed
gmp_random_seed(100);
var_dump(gmp_strval(gmp_random_bits(10)));
// set the seed to something else
gmp_random_seed(gmp_init(-100));
var_dump(gmp_strval(gmp_random_range(0, 100)));
// set the seed to something invalid
try {
gmp_random_seed('not a number');
} catch (\ValueError $e) {
echo $e->getMessage(), PHP_EOL;
}Il precedente esempio visualizzerà:
string(3) "800" string(2) "32" gmp_random_seed(): Argument #1 ($seed) is not an integer string