ScotlandPHP

gmp_random_seed

(PHP 7)

gmp_random_seedSets the RNG seed

Description

mixed gmp_random_seed ( mixed $seed )

Liste de paramètres

seed

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

Il peut être soit une ressource GMP en PHP 5.5 et antérieurs, soit un objet GMP en PHP 5.6 et suivants, soit une chaîne numérique qu'il est possible de convertir plus tard en un nombre.

Valeurs de retour

Returns NULL on success.

Erreurs / Exceptions

Issues an E_WARNING and returns FALSE if seed is not valid.

Exemples

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

L'exemple ci-dessus va afficher :

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

add a note add a note

User Contributed Notes

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