特为大家收集如下5个获取文件扩展名的小方法,以飨脚本学堂的朋友们。
相比之前,我们介绍过的php获取文件扩展名的几种方法,本文介绍的方法,更显灵活。
取得文件扩展名的5种方法汇总。
<?php
//获取文件扩展名
$file = 'jb200.com.php';
//方法1
$path_info = pathinfo($file);
//print_r($path_info);
//echo "<br>";
//echo $path_info['dirname'];
//echo "<br>";
//echo $path_info['basename'];
echo "<br>";
echo strtolower($path_info['extension']);
//方法2
echo "---------------------<br/>";
$p = strrpos($file,'.'); //得到最后一个点的位置
echo strtolower(substr($file,$p+1));
//方法3
echo "---------------------<br/>";
$arr = explode('.',$file);
echo strtolower($arr[count($arr)-1]);
//方法4
echo "---------------------<br/>";
$arr = explode('.',$file);
echo strtolower(end($arr));
//方法5
echo "---------------------<br/>";
preg_match('/.(w+)$/',$file,$extend);
echo strtolower($extend['1']);
//方法6
echo "---------------------<br/>";
//strrchr($file,'.') 最后一次出现的位置开始到最后的字符串
echo strtolower(substr(strrchr($file,'.'),1));
//by http://www.jb200.com
?>
附:扩展名小知识
文件扩展名是操作系统用来标志文件格式的一种机制。
通常来说,一个扩展名是跟在主文件名后面的,由一个分隔符分隔。
在一个像“readme.txt”的文件名中,readme是主文件名,txt为扩展名,表示这个文件被认为是一个纯文本文件。