最新下载
热门教程
- 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 ) |
|
相关文章
- 白银之城飞马考试通关方法 04-15
- DRACU-RIOT布良梓线选项攻略 04-15
- 126免费邮箱-密码找回与二次验证入口 04-15
- 碧屿之下妮娅与不思议齿轮潜入木材厂攻略 04-15
- 《笼子》机械师成就指南 04-15
- 漫蛙漫画登录页面免费漫画在线观看最新版本 - 漫蛙漫画苹果手机下载安装入口免费漫画阅读 04-15