php – 获取文件扩展名(basename？)

如果我有这样的代码：

$file = basename($filename);

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

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

你当然可以找到最后的“”.在文件名,并得到一切(相对容易),但为什么重新发明轮？