Edit Report a Bug

    gmp_random_seed

    (PHP 7, PHP 8)

    gmp_random_seed — 乱数シードを設定する

    説明

    gmp_random_seed(GMP|int|string $seed): void

    パラメータ

    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)

    参考

    add a note add a note

    User Contributed Notes

    There are no user contributed notes for this page.
    To Top