gmp_random_seed

    (PHP 7, PHP 8)

    gmp_random_seed — Sets the RNG seed

    Descrizione

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

    Elenco dei parametri

    seed

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

    Può essere o una resource numero GMP, oppure una stringa numerica dal momento che è possibile convertire quest'ultimo in un numero.

    Valori restituiti

    Nessun valore viene restituito.

    Errori/Eccezioni

    Throws a ValueError if seed is invalid.

    Log delle modifiche

    Versione Descrizione
    8.0.0 If seed is invalid, gmp_random_seed() now throws a ValueError. Previously it emitted an E_WARNING and returned false.

    Esempi

    Example #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'));

    Il precedente esempio visualizzerà:

    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)

    Vedere anche:

    Improve This Page

    Learn How To Improve This Page • Submit a Pull Request • Report a Bug
    ＋add a note

    User Contributed Notes

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