首頁 >php教程 >php手册 >PHP如何获得文件的扩展名

PHP如何获得文件的扩展名

WBOY
WBOY原創
2016-06-13 09:38:08941瀏覽

关于获取文件的后缀名的方法有很多,下面介绍一个吧。

<?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() 函数返回字符串在另一个字符串中第一次出现的位置。

就是先找到符号'.'的位置,然后计算出扩展名的长度。再用字符串总长度减去扩展名长度来计算出需要截取的长度。

陳述:
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn