本文为大家介绍了5种php获取文件扩展名的方法,非常实用的一个代码,感兴趣的同学参考下. <?php $file = "/home/lvyaozu/backup_20080115
本文为大家介绍了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));
}
?>
声明：本文内容来源自网络，文字、图片等素材版权属于原作者，平台转载素材出于传递更多信息，文章内容仅供参考与学习，切勿作为商业目的使用。如果侵害了您的合法权益，请您及时与我们联系，我们会在第一时间进行处理！我们尊重版权，也致力于保护版权，站搜网感谢您的分享！
