(PHP 7, PHP 8)
gmp_random_seed — 乱数シードを設定する
seedgmp_random_bits(), gmp_random_range() 向けに設定するシード
GMP オブジェクト、int、
あるいは数値として解釈可能な string。
文字列の場合、gmp_init() で基数を自動検出するとき
(base に 0 を指定したとき) と同じ方法で解釈されます。
値を返しません。
seed が無効な場合は、
ValueError がスローされます。
| バージョン | 説明 |
|---|---|
| 8.0.0 |
gmp_random_seed() は、
seed が無効な場合に
ValueError をスローするようになりました。
これより前のバージョンでは、
E_WARNING が発生し、false を返していました。
|
例1 gmp_random_seed() の例
<?php
// set the seed
gmp_random_seed(100);
var_dump(gmp_strval(gmp_random_bits(10)));
// set the seed to something else
gmp_random_seed(gmp_init(-100));
var_dump(gmp_strval(gmp_random_range(0, 100)));
// set the seed to something invalid
try {
gmp_random_seed('not a number');
} catch (\ValueError $e) {
echo $e->getMessage(), PHP_EOL;
}上の例の出力は以下となります。
string(3) "800" string(2) "32" gmp_random_seed(): Argument #1 ($seed) is not an integer string