gmp_random_seed

(PHP 7, PHP 8)

gmp_random_seedSets the RNG seed

Descrizione

gmp_random_seed(GMP|int|string $seed): void

Elenco dei parametri

seed

The seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.

Può essere o una resource numero GMP, oppure una stringa numerica dal momento che è possibile convertire quest'ultimo in un numero.

Valori restituiti

Nessun valore viene restituito.

Errori/Eccezioni

Throws a ValueError if seed is invalid.

Log delle modifiche

Versione Descrizione
8.0.0 If seed is invalid, gmp_random_seed() now throws a ValueError. Previously it emitted an E_WARNING and returned false.

Esempi

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'));

Il precedente esempio visualizzerà:

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)

Vedere anche:

add a note

User Contributed Notes

There are no user contributed notes for this page.
To Top