判断图片文件结尾,补全.jpg,.jpeg,.pngor.gif,该如何处理
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了判断图片文件结尾,补全.jpg,.jpeg,.pngor.gif,该如何处理,小编现在分享给大家,供广大互联网技能从业者学习和参考。文章包含1951字,纯文字阅读大概需要3分钟。
内容图文
![判断图片文件结尾,补全.jpg,.jpeg,.pngor.gif,该如何处理](/upload/InfoBanner/zyjiaocheng/212/355eb82c9ebb4bed80506cdf29dc1ac3.jpg)
我尝试从网络保存图片到本地,文件名保留原图片的结尾部分。
如:image.jpg, logo.png
但是有些图片文件结尾不是.jpg, .jpeg, .png or .gif的,需要补全.jpg, .jpeg, .png or .gif。
我用了stripos,但是遇到一些问题,比如像这样一个地址:
http://pcdn.500px.net/5953805/d0dd841969187f47e8ad9157713949b4b95b3bda/4.jpg?1333782904356
它原来的文件名结尾部分含有 .jpg,我想保存到本地,文件名为 4.jpg?1333782904356.jpg,如何正确判断?
- PHP code
$webimage = 'http://pcdn.500px.net/5953805/d0dd841969187f47e8ad9157713949b4b95b3bda/4.jpg?1333782904356'; $pieces = explode("/", $webimage); $pathend = end($pieces); $imageinfo = @getimagesize($webimage); $imagetype= $imageinfo['mime']; if($imagetype=='image/jpeg'){ if(stripos($pathend,'.jpg')==false){ $newpathend = $pathend.'.jpg'; // if image end is't '.jpg', add '.jpg' }else if(stripos($pathend,'.jpeg')==0){ $newpathend = $pathend.'.jpeg'; // if image end is't '.jpg', add '.jpeg' }else{ $newpathend = $pathend;// if image end is '.jpg' or '.jpeg', do not change } } if($imagetype=='image/png'){ if(stripos($pathend,'.png')==false){ $newpathend = $pathend.'.png'; // if image end is't '.png', add '.png' }else{ $newpathend = $pathend;// if image end is '.png', do not change } } if($imagetype=='image/gif'){ if(stripos($pathend,'.gif')==false){ $newpathend = $pathend.'.gif'; // if image end is't '.gif', add '.gif' }else{ $newpathend = $pathend;// if image end is '.gif', do not change } }
------解决方案--------------------
- PHP code
$url = "http://pcdn.500px.net/5953805/d0dd841969187f47e8ad9157713949b4b95b3bda/4.jpg?1333782904356"; $url_arr = parse_url($url); echo basename($url_arr['path']);
------解决方案--------------------
- PHP code
$webimage = 'http://pcdn.500px.net/5953805/d0dd841969187f47e8ad9157713949b4b95b3bda/4.jpg?1333782904356'; $pieces = explode("/", $webimage); $fileName = end($pieces); $ar = explode('.', $fileName); preg_match('/^(jpg|jpeg|png|gif){1}\.*/i', $ar[1], $match); $newFileName = $ar[0].'.'.$match[1]; echo $newFileName;
内容总结
以上是互联网集市为您收集整理的判断图片文件结尾,补全.jpg,.jpeg,.pngor.gif,该如何处理全部内容,希望文章能够帮你解决判断图片文件结尾,补全.jpg,.jpeg,.pngor.gif,该如何处理所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错,欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 gblab@vip.qq.com 举报,一经查实,本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。