PHP マニュアル: 乱数シードを設定する

説明

void gmp_random_seed(GMPintstring $seed)

パラメータ

seed

gmp_random, gmp_random_bits, gmp_random_range 向けに設定するシード

GMP オブジェクト、整数、あるいは数値に変換可能な数値形式の文字列。

戻り値

値を返しません。

エラー / 例外

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(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
gmp_random
gmp_random_bits
gmp_random_range