gmp_random_seed()

版本：php7

(PHP 7)

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.

可以是一个 GMP数据resouce，或一个可以转换为数值的字符串。

返回值

Returns NULL on success 或者在失败时返回FALSE.

错误／异常

Issues an E_WARNING and returns FALSE if$seedis not valid.

范例

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)

参见

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