我们在写PHP程序的时候,经常要获取文件的扩展名,这篇剑鱼论坛来介绍一下如何获取文件的扩展名。
PHP获取文件的扩展名可以使用不同的方法,这里列举几种,以供选择。
第一种方法:
echo pathinfo($file, PATHINFO_EXTENSION);
这种获取方法是剑鱼论坛推荐的方法。
第二种方法:
echo pathinfo($file)['extension'];
这种方法其实质跟第一种方法是一样的,只是先获取一个文件信息的数组,然后从这个数组里面取出扩展名。
第三种方法:
echo substr(strrchr($file, '.'), 1);
这种方法把最后一个点号后面的字符串提取出来,也就是扩展名了。
第四种方法:
echo substr($file, strrpos($file, '.')+1);
这种方法跟第三种的做法类似,也是找出最后一个点号,然后取出后面的扩展名。
第五种方法:
$arr=explode('.', $file);
echo $arr[count($arr)-1];
这种方法是把文件名转成数组,然后取出最后一个值,就是扩展名了。
第六种方法:
$arr=explode('.', $file);这种方法跟第五种实质是一样的,只是取数组值有区别。
echo end($arr);