最新下载
热门教程
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
PHP 中获取文件扩展名的正确方法
时间:2022-06-24 17:33:35 编辑:袖梨 来源:一聚教程网
比如:
代码如下 | 复制代码 |
echo substr(strrchr($file_name,'.'),1); |
或者
代码如下 | 复制代码 |
echo end(explode(".", $filename)); |
最正确的方法应该是使用 pathinfo 函数,如:
代码如下 | 复制代码 |
echo pathinfo($filename, PATHINFO_EXTENSION); |
pathinfo 函数支持4种类型的返回:
PATHINFO_DIRNAME – 目录
PATHINFO_BASENAME – 文件名(含扩展名)
PATHINFO_EXTENSION – 扩展名
PATHINFO_FILENAME – 文件名(不含扩展名)
例子
代码如下 | 复制代码 |
function get_extension($filename){ |
调用
代码如下 | 复制代码 |
print_r(pathinfo("/testweb/test.txt")); |
以上将输出如下结果:
Array(
[dirname] => /testweb
[basename] => test.txt
[extension] => txt
)
如果要上传的用户最好要加以下面方法处理
$extension=$upfile['type']; //这个是由upload上传过来的文件信息
代码如下 | 复制代码 |
switch( $extension ) |
相关文章
- 《弓箭传说2》新手玩法介绍 01-16
- 《地下城与勇士:起源》断桥烟雨多买多送活动内容一览 01-16
- 《差不多高手》醉拳龙技能特点分享 01-16
- 《鬼谷八荒》毕方尾羽解除限制道具推荐 01-16
- 《地下城与勇士:起源》阿拉德首次迎新春活动内容一览 01-16
- 《差不多高手》情圣技能特点分享 01-16