>  기사  >  백엔드 개발  >  判断图片文件结尾,补全.jpg, .jpeg, .png or .gif,该如何处理

判断图片文件结尾,补全.jpg, .jpeg, .png or .gif,该如何处理

WBOY
WBOY원래의
2016-06-13 10:15:251581검색

判断图片文件结尾,补全.jpg, .jpeg, .png or .gif
我尝试从网络保存图片到本地,文件名保留原图片的结尾部分。
如: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
<!--Code highlighting produced by Actipro CodeHighlighter (freeware)http://www.CodeHighlighter.com/-->$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']);<br><font color="#e78608">------解决方案--------------------</font><br>
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;<div class="clear">
                 
              
              
        
            </div>
성명:
본 글의 내용은 네티즌들의 자발적인 기여로 작성되었으며, 저작권은 원저작자에게 있습니다. 본 사이트는 이에 상응하는 법적 책임을 지지 않습니다. 표절이나 침해가 의심되는 콘텐츠를 발견한 경우 admin@php.cn으로 문의하세요.