-
-
//取文件的扩展名 - //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 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));
- }
- ?>
-
附：php 文件扩展名小知识
文件扩展名是操作系统用来标志文件格式的一种机制。
通常来说，一个扩展名是跟在主文件名后面的，由一个分隔符分隔。
在一个像“readme.txt”的文件名中，readme是主文件名，txt为扩展名，表示这个文件被认为是一个纯文本文件。
| 
![[Web front-end] Node.js quick start](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
