我想从文件名中取出扩展名并获取文件名 - 比如 file.xml -> file, image.jpeg -> image, test.march.txt -> test.march 等等。
于是我写了这个函数:
function strip_extension($filename) {
$dotpos = strrpos($filename, ".");
if ($dotpos === false) {
$result = $filename;
}
else {
$result = substr($filename,0,$dotpos);
}
return $result;
}
这会返回一个空字符串。
我看不出我做错了什么?
function strip_extension(string $filename) : string {
。 - Adam Chalcraft