📅  最后修改于: 2022-03-11 14:54:13.328000             🧑  作者: Mango
$pick = random_int(1, 3);
$array = array("A", "B", "C", "D", "E", "F");
$random_key = array_rand($array, $pick);
foreach($random_key as $key) {
echo $array[$key] . "
";
}