gmp_random_seed
(PHP 7)
gmp_random_seed — 乱数シードを設定する
説明
gmp_random_seed
( mixed $seed
) : void
パラメータ
seed
gmp_random(), gmp_random_bits(), gmp_random_range() 向けに設定するシード
PHP 5.5 以前での GMP 数リソース、PHP 5.6 以降での GMP オブジェクト、あるいは数値に変換可能な数値形式の文字列。
返り値
成功した場合に null
を、失敗した場合に false
を返します.
エラー / 例外
seed
が無効な場合は
E_WARNING
が発生し false
を返します。
例
例1 gmp_random_seed() の例
<?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() - GMP 数を作成する
- gmp_random() - 乱数を生成する
- gmp_random_bits() - 乱数を生成する
- gmp_random_range() - 乱数を生成する