获取文件扩展名（basename？）

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

你当然可以寻找最后一个“。”在文件名中并获得一切（相对容易），但为什么重新发明轮子？

Answer 2

pathinfo($filename, PATHINFO_EXTENSION);