PHP获取文件扩展名的4种方法

深入理解PHP文件扩展名获取技巧：四种方法详述

在PHP编程中，获取文件扩展名是一项常见的任务。本文将详细介绍四种获取文件扩展名的方法，涉及字符串处理、数组操作以及上传文件属性判断等方面，具有一定的参考价值。

方法一：使用字符串分割和数组弹出操作

假设有一个文件名变量 `$filename`，其值为 "123.jpg"。我们可以通过`.`对字符串进行分组，然后使用 `array_pop()` 函数弹出最后一个分组，即文件扩展名。代码如下：

```php

function get_ext($file_name){

return array_pop(explode('.', $file_name));

}

echo get_ext($filename); // 输出 "jpg"

```

方法二：使用 `strrchr()` 和 `substr()` 函数结合

我们可以使用 `strrchr()` 函数获取最后一个`.`及其后的字符，然后使用 `substr()` 函数获取从第二个字符开始的所有字符，即为文件扩展名。代码如下：

```php

$fileEx = strtolower(substr(strrchr($filename, "."), 1));

echo $fileEx; // 输出 "jpg"（忽略大小写）

```

方法三：使用 `pathinfo()` 函数

`pathinfo()` 函数可以返回一个文件路径的关联数组，包括文件扩展名等信息。我们可以直接通过 `$extend['extension']` 获取文件扩展名。代码如下：

```php

$extend = pathinfo($filename);

echo $extend['extension']; // 输出 "jpg"

```

方法四：针对上传文件的判断

对于上传的文件，我们可以通过 `$_FILES['file']['type']` 获取文件类型信息。我们可以通过 `in_array()` 函数判断文件类型是否在我们预设的类型数组中。例如：

```php

$filetype = array("image/gif","image/jpeg");

if(in_array($_FILES['file']['type'],$filetype)){

echo $_FILES['file']['type']; // 输出如 "image/jpeg" 等文件类型信息

}

```

以上就是获取PHP文件扩展名的四种方法，希望本文能对大家有所帮助。在实际编程过程中，可以根据具体需求和场景选择合适的方法进行操作。