第1种方法:
第2种方法:
第3种方法:
第4种方法:
第5种方法:
二、php文件扩展名获取函数
代码:
<?php
$file = "/home/lvyaozu/backup_20080115.txt";
for($i=1; $i < 6; $i++) {
$func = 'get_file_ext_' . $i;
var_dump($func($file));
}
function get_file_ext_1($file) {
return strtolower(trim(substr(strrchr($file, '.'), 1)));
}
function get_file_ext_2($file) {
return strtolower(trim(pathinfo($file, PATHINFO_EXTENSION)));
}
function get_file_ext_3($file) {
return strtolower(trim(substr($file, strrpos($file, '.')+1)));
}
function get_file_ext_4($file) {
return strtolower(trim(array_pop(explode('.', $file))));
}
function get_file_ext_5($file) {
$tok = strtok($file, '.');
while($tok !== false) {
$return = $tok;
$tok = strtok('.');
}
return strtolower(trim($return));
}
?>