gmp_random_seed

(PHP 7)

gmp_random_seed — Sets the RNG seed

Descrierea

gmp_random_seed ( mixed $seed ) : void

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

Returns NULL on success 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