PHP获取文件扩展名的4种方法


$filename="123.jpg";

//方法一:
function get_ext( $file_name ){
   return array_pop ( explode ( '.' , $file_name ));
   //用.号对字符串进行分组
}
echo get_ext( $filename );
//方法二:
$fileEx = strtolower ( substr ( strrchr ( $filename , "." ),1));
echo $fileEx ;
//方法三:
$extend = pathinfo ( $filename );
echo $extend [ 'extension' ];
//方法四:
$filetype = array ( "image/gif" , "image/jpeg" );
//判断文件扩展名类型是否在该 数组中
if (in_array( $_FILES [ 'file' ][ 'type' ], $filetype )){
//针对上传文件判断
   echo $_FILES [ 'file' ][ 'type' ];
}


免责声明!

本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系本站邮箱yoyou2525@163.com删除。



 
粤ICP备18138465号  © 2018-2025 CODEPRJ.COM