php 文件扩展名获取方法汇总

3. //取文件的扩展名

4. //by http://bbs.it-home.org
5. $file = "/home/jbxue/file_20130322.txt";

6. for($i=1; $i $func = 'get_file_ext_' . $i;

7. var_dump($func($file));
8. }

9. function get_file_ext_1($file) {

10. return strtolower(trim(substr(strrchr($file, '.'), 1)));
11. }

12. function get_file_ext_2($file) {

13. return strtolower(trim(pathinfo($file, PATHINFO_EXTENSION)));
14. }

15. function get_file_ext_3($file) {

16. return strtolower(trim(substr($file, strrpos($file, '.')+1)));
17. }

18. function get_file_ext_4($file) {

19. return strtolower(trim(array_pop(explode('.', $file))));
20. }

21. function get_file_ext_5($file) {

22. $tok = strtok($file, '.');
23. while($tok !== false) {
24. $return = $tok;
25. $tok = strtok('.');
26. }
27. return strtolower(trim($return));
28. }
29. ?>

复制代码

附：php 文件扩展名小知识 文件扩展名是操作系统用来标志文件格式的一种机制。 通常来说，一个扩展名是跟在主文件名后面的，由一个分隔符分隔。 在一个像“readme.txt”的文件名中，readme是主文件名，txt为扩展名，表示这个文件被认为是一个纯文本文件。