gmp_random_seed
(PHP 7)
gmp_random_seed — Sets the RNG seed
Descrierea
Parametri
-
seed -
The seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.
Un număr GMP sub formă de resource în PHP 5.5 și anterior, un obiect GMP în PHP 5.6 și ultrior, su un șir de caractere numeric atunci când acesta poate fi convertit într-un număr.
Valorile întoarse
Întoarce null în cazul succesului sau false în cazul eșecului.
Erori/Excepții
Issues an E_WARNING and returns false if
seed is not valid.
Exemple
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'));
Exemplul de mai sus va afișa:
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)
A se vedea și
- gmp_init() - Create GMP number
- gmp_random() - Random number
- gmp_random_bits() - Random number
- gmp_random_range() - Random number
add a note
User Contributed Notes
There are no user contributed notes for this page.
