什么是文件扩展名
在操作系统中，文件扩展名指的是文件名中代表文件类型的后缀名部分（比如：.txt、.jpeg、.html）。扩展名通常由英文字母和数字组成，它们在文件类型的识别、文件的打开和保存等操作中起着重要的作用。
为什么需要提取文件扩展名
在程序开发中，经常需要对不同类型的文件进行处理。比如对于图片文件需要进行压缩和裁剪；对于音频文件需要进行格式转换等等。在进行这些操作时，经常需要准确获取文件的类型，而提取扩展名无疑是一个有效的方法。
使用PHP函数来提取文件扩展名
方法一：使用substr()函数
substr()函数可以截取字符串的一部分，并返回截取的字符串。我们可以使用该函数来截取文件名中的扩展名部分。具体实现如下：
$file_name = 'example.txt';
// 使用 substr() 函数截取文件扩展名部分
$extension = substr($file_name, strrpos($file_name, '.') + 1);
echo $extension; // 输出结果：txt
上面的代码首先使用strrpos()函数来获取文件名中最后一个.的位置，并通过加1来获取扩展名在字符串中的起始位置，然后使用substr()函数截取了扩展名部分。
方法二：使用pathinfo()函数
pathinfo()函数可以获取文件路径的信息，包括文件名、目录、扩展名等。我们可以使用该函数来获取文件的扩展名。具体实现如下：
$file_name = 'example.txt';
// 使用 pathinfo() 函数获取文件扩展名部分
$extension = pathinfo($file_name, PATHINFO_EXTENSION);
echo $extension; // 输出结果：txt
上面的代码中，我们使用pathinfo()函数，并通过第二个参数PATHINFO_EXTENSION指定获取扩展名部分。
总结
在程序开发中，准确获取文件类型非常重要。通过使用上面介绍的两种方法，我们可以轻松地获取文件的扩展名，从而进行相应的处理。