Php/docs/function.gmp-random-seed

提供:Dev Guides
< Php
移動先:案内検索

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)

参考