gmp_random_seed
gmp_random_seed
(PHP 7)
gmp_random_seed - 设置RNG种子
描述
mixed gmp_random_seed ( mixed $seed )
参数
seed
为gmp_random（），gmp_random_bits（）和gmp_random_range（）函数设置的种子。
可以是PHP 5.5及更早版本中的GMP编号资源，PHP 5.6及更高版本中的GMP对象，也可以是数字字符串，前提是可以将后者转换为数字。
返回值
成功时返回NULL。
错误/异常
如果无效，则发出E_WARNING并返回。FALSEseed
例子
示例＃1 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')
上面的例子将输出：
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)
