PHPマニュアル/PEARマニュアル | ユーザフォーラムで議論/質問 | マニュアル検索 | ハイライト | ハイライトオフ | ポータル | php spot

gmp_random_seed - Sets the RNG seed | JavaScript入門&応用&リファレンスなら「JavaScriptist」

  

gmp_random_seed

(PHP 7)

gmp_random_seedSets the RNG seed

説明

mixed gmp_random_seed ( mixed $seed )

パラメータ

seed

The seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.

PHP 5.5 以前での GMP 数リソース、PHP 5.6 以降での GMP オブジェクト、あるいは数値に変換可能な数値形式の文字列。

返り値

Returns NULL on success.

エラー / 例外

Issues an E_WARNING and returns FALSE if seed is not valid.

例1 gmp_random_seed() example

<?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_random_seed - Sets the RNG seed」について話す
各種マニュアル: PHPマニュアル | PEARマニュアル | Smarty(英語)マニュアル | PHP-GTKマニュアル | gmp_random_seed - Sets the RNG seed」をGoogle検索
copyright © 1997-2020 PHP ドキュメント作成グループ(ライセンス). provided by php spot. マニュアル: