(PHP 7, PHP 8)
gmp_random_seed — Sets the RNG seed
seedThe seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.
没有返回值。
Throws a ValueError if seed
is invalid.
| 版本 | 说明 |
|---|---|
| 8.0.0 |
If seed is invalid, gmp_random_seed()
now throws a ValueError.
Previously it emitted an E_WARNING and returned false.
|
示例 #1 gmp_random_seed() example
<?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'));以上示例会输出：
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)