PHP随机字符串

在这里搜了一下，没有，所以自己实现一个，做个记录。

function RandomString($len){
    $char_pool="0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ";
    $str = "";
    for($i=0;$i<$len;$i++){
        $str .= $char_pool[mt_rand(0,strlen($char_pool)-1)];
    }
    return $str;
}
//输出长度为10, 包含数字、大小写字母的随机字符串
echo RandomString(10);