Maison >développement back-end >tutoriel php >PHP如何获得文件的扩展名_PHP教程
关于获取文件的后缀名的方法有很多,下面介绍一个吧。
<?php $file_name = "bkjia.txt"; echo get_exname($file_name); /** * 获取文件扩展名 * @param unknown_type $file_name * @return $ex_name */ function get_exname($file_name) { if(empty($file_name)) return false; $file_name = strtolower($file_name); $rev_str = strrev($file_name); $ex_name_len = strpos($rev_str,'.'); //扩展名的长度 $file_name_len = strlen($file_name); $ex_name = substr($file_name, $file_name_len - $ex_name_len); return $ex_name; } ?>
strtolower() 函数把字符串转换为小写。
strrev() 函数反转字符串。
strpos() 函数返回字符串在另一个字符串中第一次出现的位置。
就是先找到符号'.'的位置,然后计算出扩展名的长度。再用字符串总长度减去扩展名长度来计算出需要截取的长度。