PHP数组交集的优化

<?php

$rand = function() {
    $result = array();

    for ($i = 0; $i < 1000; null) {
        $value = mt_rand(1, 10000);

        if (!isset($result[$value])) {
            $result[$value] = null;
            $i++;
        } @ itxyz.net
    }

    return array_keys($result);
};

$param_a = $rand();
$param_b = $rand();

?>

@ itxyz.net

<?php

$time = microtime(true);

$result = array_intersect($param_a, $param_b);

$time = microtime(true) - $time;

echo "array_intersect: {$time}\n";

?>