Php/docs/function.gmp-random-seed

• PHP Manual
• GMP 函数
• Sets the RNG seed

gmp_random_seed

(PHP 7)

gmp_random_seed — Sets the RNG seed

说明

gmp_random_seed ( mixed $seed ) : void

参数

seed

The seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.

PHP 5.5 之前为 GMP 数值资源，PHP 5.6 之后为 GMP 对象或数字，或可以转为数字的字符串。

返回值

成功时返回 null， 或者在失败时返回 false。

错误／异常

Issues an E_WARNING and returns false if seed is not valid.

范例

Example #1 gmp_random_seed() example

<?php// set the seedgmp_random_seed(100);var_dump(gmp_strval(gmp_random(1)));// set the seed to something elsegmp_random_seed(gmp_init(-100));var_dump(gmp_strval(gmp_random_bits(10)));// set the seed to something invalidvar_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)

参见

• gmp_init() - Create GMP number
• gmp_random() - Random number
• gmp_random_bits() - Random number
• gmp_random_range() - Random number