gmp_random_seed

(PHP 7)

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

Description

gmp_random_seed ( mixed $seed ) : void

Liste de paramètres

seed

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

Il peut être soit une ressource GMP en PHP 5.5 et antérieurs, soit un objet GMP en PHP 5.6 et suivants, soit une chaîne numérique qu'il est possible de convertir plus tard en un nombre.

Valeurs de retour

Cette fonction retourne NULL en cas de succès ou FALSE si une erreur survient.

Erreurs / Exceptions

Émet une E_WARNING et retourne FALSE si seed n'est pas valide.

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