Edit Report a Bug

    gmp_random_seed

    (PHP 7, PHP 8)

    gmp_random_seed — Définit la graine RNG (Générateur de Nombres Aléatoire)

    Description

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

    Liste de paramètres

    seed

    La graine à définir pour les fonctions gmp_random(), gmp_random_bits(), et gmp_random_range().

    Un objet GMP, un entier, ou une chaîne de caractères numérique.

    Valeurs de retour

    Aucune valeur n'est retournée.

    Erreurs / Exceptions

    Lève une exception ValueError si le paramètre seed est invalide.

    Historique

    Version Description
    8.0.0 Si le paramètre seed est invalide, gmd_random_seed() lève une exception ValueError dorénavant. Précédemment une alerte E_WARNING était émise.

    Exemples

    Exemple #1 Exemple avec 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'));

    L'exemple ci-dessus va afficher :

    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)

    Voir aussi

    add a note add a note

    User Contributed Notes

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