最新下载
热门教程
- 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 ) |
|
相关文章
- 《三国志吕布传》百福具臻最新攻略-详细关卡解析 05-28
- 轻听英语额度获取方法-轻听英语免费时长增加技巧 05-28
- 《大江湖之苍龙与白鸟》角色表白攻略-各线剧情详解 05-28
- 宝可梦冠军手游红莲铠骑强度分析与配队推荐 05-28
- Python入门:class基础教程 05-28
- 枪炮公主与勇者涡轮增压器作用详解|技能机制、实战效果与搭配建议 05-28