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

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