首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >如何使用PHP更改文件的扩展名?

如何使用PHP更改文件的扩展名?
EN

Stack Overflow用户
提问于 2008-10-11 07:11:55
回答 10查看 71.5K关注 0票数 34

如何使用PHP更改文件的扩展名?

例如:从photo.jpg到photo.exe

EN

回答 10

Stack Overflow用户

回答已采纳

发布于 2011-09-04 06:27:38

在现代操作系统中,文件名很可能在文件扩展名之前很长时间包含句点,例如:

代码语言:javascript
复制
my.file.name.jpg

PHP提供了一种方法来查找不带扩展名的文件名,然后只需添加新的扩展名即可:

代码语言:javascript
复制
function replace_extension($filename, $new_extension) {
    $info = pathinfo($filename);
    return $info['filename'] . '.' . $new_extension;
}
票数 54
EN

Stack Overflow用户

发布于 2011-02-11 06:30:50

代码语言:javascript
复制
substr_replace($file , 'png', strrpos($file , '.') +1)

会将任何扩展名更改为您想要的。用你想要的扩展名替换png。

票数 24
EN

Stack Overflow用户

发布于 2013-02-06 17:55:28

替换扩展名,保留路径信息

代码语言:javascript
复制
function replace_extension($filename, $new_extension) {
    $info = pathinfo($filename);
    return ($info['dirname'] ? $info['dirname'] . DIRECTORY_SEPARATOR : '') 
        . $info['filename'] 
        . '.' 
        . $new_extension;
}
票数 18
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/193794

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档