【问题标题】:Get the file extension (basename?)获取文件扩展名(基本名称?)
【发布时间】:2009-08-29 14:17:45
【问题描述】:

如果我有这样的代码:

$file = basename($filename); 

如何获得$file的文件扩展名?变量$file 可以包含任何类型的文件,例如index.phptest.jpeg

【问题讨论】:

    标签: php file


    【解决方案1】:

    使用pathinfo()函数:

    $path_parts = pathinfo('/www/htdocs/index.html');
    
    echo $path_parts['dirname'], "\n";
    echo $path_parts['basename'], "\n";
    echo $path_parts['extension'], "\n";
    echo $path_parts['filename'], "\n";
    

    或者简单地说:

    echo pathinfo($file, PATHINFO_EXTENSION);
    

    您当然可以查找最后一个“.”。在文件名中获取所有内容(相对容易),但为什么要重新发明轮子?

    【讨论】:

      【解决方案2】:
      pathinfo($filename, PATHINFO_EXTENSION);
      

      【讨论】:

        猜你喜欢
        • 1970-01-01
        • 1970-01-01
        • 1970-01-01
        • 2013-07-05
        • 1970-01-01
        • 2018-11-08
        • 2019-04-05
        • 1970-01-01
        • 2016-07-31
        相关资源
        最近更新 更多