php - 获取文件扩展名(基本名称？)

Question

如果我有这样的代码:

$file = basename($filename); 

如何获取$file的文件扩展名？变量 $file 可以包含任何类型的文件，例如 index.php 或 test.jpeg。

Answer 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);

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