gmp_random_seed
(PHP 7, PHP 8)
gmp_random_seed — Sets the RNG seed
Descrição
gmp_random_seed
( GMP|int|string
$seed
) : voidParâmetros
-
seed -
The seed to be set for the gmp_random(), gmp_random_bits(), and gmp_random_range() functions.
Ele pode ser qualquer número GMP resource, ou uma string numérica que é possível convertê-la para um número.
Valor Retornado
Returns null on success ou false em caso de falha.
Erros
Issues an E_WARNING and returns false if
seed is not valid.
Exemplos
Exemplo #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'));
O exemplo acima irá imprimir:
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)
Veja Também
- gmp_init() - Cria um número GMP
- gmp_random() - Número randomico
- 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.
