gmp_random_seed

(PHP 7, PHP 8)

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

Description

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 un chaîne de caractères qui peut être interprété comme un nombre suivant la même logique que si la chaîne était utilisée dans gmp_init() avec détection automatique de la base (c'est-à-dire lorsque base est égal à 0).

Valeurs de retour

Aucune valeur n'est retournée.

Erreurs / Exceptions

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

Historique

Exemples

<?php
// Définition de la graine
gmp_random_seed(100);
var_dump(gmp_strval(gmp_random(1)));
// Définition de la graine avec une autre valeur
gmp_random_seed(gmp_init(-100));
var_dump(gmp_strval(gmp_random_bits(10)));
// Définition de la graine avec une valeur invalide
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)

Voir aussi

• gmp_init() - Crée un nombre GMP
• gmp_random() - Nombre GMP aléatoire
• gmp_random_bits() - Génère un nombre aléatoire
• gmp_random_range() - Récupérer un entier uniformément sélectionné