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)