如何获取文件扩展名? [英] How to get the file extension?
本文介绍了如何获取文件扩展名?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
可能重复:
如何在PHP中提取文件扩展名?
Possible Duplicate:
How to extract a file extension in PHP ?
例如,如果我有一个路径(由torrent_info_gen生成)-
For example if i have a path (generated by my torrent_info_gen)-
Driver Genius Professional Edition 10.0.0.526/Driver Genius Professional Edition 10.0.0.526.exe
我应该如何在路径中获取文件的扩展名! 我还希望以这种方式以不同的方式显示路径和文件名:
How should i get the extension of the file in the path! I also want to have the path and filename to be shown differently in this way:
路径:(文件的路径)
文件名:(文件名)
扩展名:(文件的扩展名)
有人可以帮助我! 请!!!!!
Can someone help me! Please!!!!!
提前谢谢!
推荐答案
这是怎么回事:
$str = "Driver Genius Professional Edition 10.0.0.526/Driver Genius Professional Edition 10.0.0.526.exe";
$info = pathinfo($str);
var_dump($info['dirname']);
var_dump($info['filename']);
var_dump($info['extension']);
赠予:
string 'Driver Genius Professional Edition 10.0.0.526' (length=45)
string 'Driver Genius Professional Edition 10.0.0.526' (length=45)
string 'exe' (length=3)
这篇关于如何获取文件扩展名?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文