我用什么来代替php中的indexOf

Question

这是我的代码所以请告诉我我用什么代替indexOf usind php因为php中没有indexOf函数。

function generate($arrLength)
{
    $arr = array();
    $n = 0;
    $start = 10;
    $end = 20;
    for($i=0; $i < $arrLength; $i++)
    {
        do{
            $n = $start + round(rand()*($end - $start));
        }while($arr.indexOf($n) !== -1);
        $arr[$i] = $n;
    }
    return $arr;
}
$generatedArr = generate(4);

Answer 1

在这种情况下，您可以使用array_search()：

function generate($arrLength) {
    $arr = array();
    $n = 0;
    $start = 10;
    $end = 20;
    for($i=0; $i < $arrLength; $i++) {
        do {
            $n = $start + round(rand()*($end - $start));

        } while(array_search($n, $arr) !== false);
        $arr[$i] = $n;
    }

    return $arr;
}

$generatedArr = generate(4);


echo '<pre>';
print_r($generatedArr);