php 随机文件
随机文件 从给定的文件夹中随机返回一个文件,可以过滤扩展名。 [print](http://www.php.net/print) RandomFile(#39;test_images/#39;,#39;jpg|png|gif#39;); [print](http://www.php.net/print) RandomFile(#39;test_files/#39;
从给定的文件夹中随机返回一个文件,可以过滤扩展名。
[print](http://www.php.net/print) RandomFile('test_images/','jpg|png|gif');
[print](http://www.php.net/print) RandomFile('test_files/','.*');
[print](http://www.php.net/print) RandomFile('test_files/','[0-9]+');
function RandomFile($folder='', $extensions='.*'){ // fix path: $folder = trim($folder); $folder = ($folder == '') ? './' : $folder; // check folder: if (!is_dir($folder)){ die('invalid folder given!'); } // create files array $files = array(); // open directory if ($dir = @opendir($folder)){ // go trough all files: while($file = readdir($dir)){ if (!preg_match('/^\\.+$/', $file) and preg_match('/\\.('.$extensions.')$/', $file)){ // feed the array: $files[] = $file; } } // close directory closedir($dir); } else { die('Could not open the folder "'.$folder.'"'); } if (count($files) == 0){ die('No files where found :-('); } // seed random function: mt_srand((double)microtime()*1000000); // get an random index: $rand = mt_rand(0, count($files)-1); // check again: if (!isset($files[$rand])){ die('Array index was not found! very strange!'); } // return the random file: return $folder . $files[$rand]; } //该片段来自于http://outofmemory.cn
- 上一篇:php按照不同的格式输出当前日期
- 下一篇:php 将PHP数组转成XML
精彩图集
精彩文章