PHP | gmp_random_seed()函数

简介

gmp_random_seed() 函数用于设置用于生成随机数的种子。

gmp_random_seed ( int|string $seed ) : void

参数

该函数接受一个参数：

1. $seed：要用作随机数生成种子的值。

返回值

该函数没有返回值。

使用示例

以下示例演示如何使用 gmp_random_seed() 函数。在此示例中，该函数用于设置随机数生成器的种子。

<?php
// 设置随机数生成器种子
gmp_random_seed(12345);

// 生成随机数
$rand1 = gmp_random();
$rand2 = gmp_random();
$rand3 = gmp_random();

echo "Random number 1: $rand1\n";
echo "Random number 2: $rand2\n";
echo "Random number 3: $rand3\n";
?>

输出：

Random number 1: 37033248697881553441884851499
Random number 2: 82513744245895870381426834326
Random number 3: 210889180483036866522649147172

在此示例中，我们首先使用 gmp_random_seed() 函数设置随机数生成器的种子。随后，我们使用 gmp_random() 函数生成三个随机数，并将其打印到屏幕上。

注意事项

• 使用 gmp_random_seed() 函数设置种子后，后续使用 gmp_random() 函数生成的随机数将与此种子有关。不同的种子将生成不同的随机数序列。