首页  >  文章  >  后端开发  >  php 文件扩展名获取方法汇总

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

WBOY
WBOY原创
2016-07-25 09:00:461362浏览
  1. //取文件的扩展名

  2. //by http://bbs.it-home.org
  3. $file = "/home/jbxue/file_20130322.txt";
  4. for($i=1; $i $func = 'get_file_ext_' . $i;

  5. var_dump($func($file));
  6. }
  7. function get_file_ext_1($file) {

  8. return strtolower(trim(substr(strrchr($file, '.'), 1)));
  9. }
  10. function get_file_ext_2($file) {

  11. return strtolower(trim(pathinfo($file, PATHINFO_EXTENSION)));
  12. }
  13. function get_file_ext_3($file) {

  14. return strtolower(trim(substr($file, strrpos($file, '.')+1)));
  15. }
  16. function get_file_ext_4($file) {

  17. return strtolower(trim(array_pop(explode('.', $file))));
  18. }
  19. function get_file_ext_5($file) {

  20. $tok = strtok($file, '.');
  21. while($tok !== false) {
  22. $return = $tok;
  23. $tok = strtok('.');
  24. }
  25. return strtolower(trim($return));
  26. }
  27. ?>
复制代码

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



声明:
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn