最新下载
热门教程
- 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 ) |
相关文章
- 《卡拉彼丘》美学与格调玩法说明分享 06-22
- 《三国志战棋版》孙休属性战法怎么搭配最强 06-22
- 《漫威对决》结晶怎样正确使用 06-22
- 加密货币交易员靠以太坊赚取数百万;一个月净赚2000万美元 06-22
- 《二之国:交错世界》风之峡谷宝箱及景点分布位置在哪片区域 06-22
- 《长安幻想》奇闻异事玄学事件怎么样 06-22