gmp_random_seed
(PHP 7, PHP 8)
gmp_random_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 数を作成する
- gmp_random() - 乱数を生成する
- gmp_random_bits() - 乱数を生成する
- gmp_random_range() - 等確率に選ばれた整数を取得する
+add a note
User Contributed Notes
There are no user contributed notes for this page.
↑ and ↓ to navigate •
Enter to select •
Esc to close
Press Enter without
selection to search using Google