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>';