phpファイルの拡張子を取得する方法まとめ

//取文件の扩展名
//by http://bbs.it-home.org
$file = "/home/jbxue/file_20130322.txt ";
for($i=1; $i < 6; $i++) {
$func = 'get_file_ext_' . $i;
var_dump($func($file));
}
function get_file_ext_1($file) {
return strto lower(trim(substr(strrchr($file, '.') , 1)));
}
function get_file_ext_2($file) {
return strto lower(trim(pathinfo($file, PATHINFO_EXTENSION)));
}
< ;p>function get_file_ext_3($file) {
return strto lower(trim(substr($file, strrpos($file, '.')+1)));
}
function get_file_ext_4 ($file) {
return strto lower(trim(array_pop(explode('.', $file))));
}
function get_file_ext_5($file) {
$tok = strtok ($file, '.');
while($tok !== false) {
$return = $tok;
$tok = strtok('.');
}
return strto lower(trim($return)) ;
}
?>

附：php文件扩展名小知识 ファイル拡張名は、ファイルの形式をマークするために使用されるオペレーティング システムの一種です。 通常、拡張名はメインファイル名の後ろに 1 つの区切り記号で区切られます。 画像「readme.txt」のファイル名において、readme はメインファイル名、txt は拡張名であり、このファイルが本文のファイルであるとみなされることを示します。