php 产生不重复的随机数

$arr=array();//创建数组
while(count($arr)<10){
$a = mt_rand(1000,9999);//产生随机数
if(!in_array($a,$arr)){ //判断$arr中是否有$a,有则返回true,否则false
$arr[]=$a; //把$a 赋值给数组元素
}
}
echo '<pre>';
sort($arr);
for($i = 0; $i < count($arr); $i++)
{
echo $arr[$i]."\n"; // 输出元素
}
echo '</pre>';