文档章节

PHP7 realpath函数一个长期存在的bug

曾建凯
 曾建凯
发布于 2016/12/10 19:11
字数 1214
阅读 2078
收藏 12

本文最后结论:PHP的realpath函数不支持phar文件。经过网友指出,是我脑袋发热,自以为是的 let_it_work函数,以为生效,其实里面存在非常致命的逻辑错误,我记住教训了

为了留下的记录,文章内容一字不改,只在 let_it_work 函数那里注释了一下。

这事情教育我,还是得要单元测试,这种想当然错误太明显了。

实在是忍不住要吐槽一下,从7.0.0到7.0.4的时候,我一直在看这个bug,而且也发去php issues了,已经说修复了,但是显然并没有修复。后来忙,就没管这个问题了,可是到今天,都7.0.14了,7.1.0都发布了,还是没修复啊!

phar包

假定我有一个phar包,包内结构如下:

$paths = [
	'phar://phar_test.phar/hello',
	'phar://phar_test.phar/hello/a.php',
];

上述的这个路径,是存在的。

第一次测试

执行测试:

foreach ($paths as $path) {
	var_dump(file_exists($path)); // return true
	var_dump(realpath($path)); // return false
}

输出结果如下:

如果用file_exists检查,那么他是返回true的,文件是存在的。

用realpath检查,他返回了false,就是返回真实路径的时候,他无法返回相对应的真实路径。

所以,一般到这里,会让我们得出一个想当然的结论:realpath显然不支持phar包。

第二次测试

问题并没有结束,显然realpath是支持phar的,这次我们加一个函数:

function let_it_work(string $path)
{
	$realPath = realpath($path);
	if ($realPath !== false) {
		$path = $realPath;
	}
    // 这里我想当然了
    // 应该改为 return false
	return $path;
}

这个函数其实没啥特别,但是他却能让我们得到想要的结果。

执行下列测试程序:

foreach ($paths as $path) {
	var_dump(file_exists($path)); // return true
	var_dump(realpath($path)); // return false
	var_dump(let_it_work($path)); // 输出 "phar://phar_test.phar/hello" 和 "phar://phar_test.phar/hello/a.php"
}

我们会得到如下的结果:

显然realpath函数还是生效了。不然是不会得到真实路径的。

第三次测试

那么是不是给realpath包一层函数,就能得到我们想要的结果呢?那我再加一个函数:

function realpath2(string $path)
{
	return realpath($path);
}

执行以下测试:

foreach ($paths as $path) {
	var_dump(file_exists($path)); // return true
	var_dump(realpath($path)); // return false
	var_dump(let_it_work($path)); // 输出 "phar://phar_test.phar/hello" 和 "phar://phar_test.phar/hello/a.php"
	var_dump(realpath2($path)); // 和realpath返回结果一样
}

得到如下的结果:

显然包一层函数是不能解决问题的。

第四次测试

这个问题,并不止于realpath函数,所有获取realpath的函数,都存在这个问题。比如目录迭代器 DirectoryIterator,我们再写一个函数:

function entry(DirectoryIterator $dir)
{
	foreach ($dir as $item) {
		$path = $item->getPathname();
		var_dump(file_exists($path)); // true
		var_dump($item->getRealPath()); // false
		var_dump(let_it_work($path)); // 这里返回的结果,是正确的
	}
}

entry(new DirectoryIterator('phar://phar_test.phar'));

这个测试很简单,就是传入一个目录迭代器,然后遍历目录下的内容,然后调用 getRealPath 方法以进行测试。

执行结果如下:

不出所料,getRealPath返回还是返回无效的结果。

结论

其实这个问题看上去,并不是一个很严重的问题,而且也有解决方案了,所以也没什么可抱怨的。

但是冷静分析一下let_it_work的函数,问题的关键在于:

if ($realPath !== false) {
	$path = $realPath;
}

$path变量是函数的参数传入的,但是到这里,我把他和false做了一次比较,然后又把他写入了另一个变量的结果,这样就改变了结果。这里其实是一个很严重的问题,就是变量的内存地址问题。也就是说,通过一些操作,就让一个变量的内存地址发生了变化,取回了正确的值。怎么想都觉得非常诡异,莫名其妙。

这个问题从7.0.0发布的时候我就发现了,因为这个问题,这一年来我一直在认真考虑转Java还是C#的问题。

当然,也许我可以通过一些内存跟踪的手段去明确这个问题的根本,但我实在懒得折腾了。

其实PHP7还有一些让我不太满意的问题,比如ArrayObject的问题,比如:ArrayObject->item += 1,是无法触发offsetSet和offsetGet接口的。这个可能不算bug,也许到php7,关闭了这个特性。

无论如何,我对PHP的态度是,我只是这个语言的使用者,如果你让我折腾C,我不如去写Go、Java、C#等等,多了去的选择。所以如果这个语言本身不可靠,那我真的应该考虑换一个语言了。

© 著作权归作者所有

共有 人打赏支持
曾建凯
粉丝 323
博文 57
码字总数 90297
作品 0
广州
技术主管
加载中

评论(27)

SimonXia
SimonXia
明显let_it_work程序有问题。根本没有走到if(xxx){}这个子句里面去
FlyingHail
FlyingHail

引用来自“FlyingHail”的评论

这个,看起来就是 realpath 不支持 phar 呗,或许算不上是bug吧

至于 ArrayObject,是不是应该这样写啊....
$arr = new ArrayObject(['item ' => 1]);
$arr['item '] += 1;

如果非得想 $arr->item += 1,要这样写:
$a = new ArrayObject(['item' => 1], ArrayObject::ARRAY_AS_PROPS);
$a->item += 1;

引用来自“曾建凯”的评论

如果非得想 $arr->item += 1,要这样写:
$a = new ArrayObject(['item' => 1], ArrayObject::ARRAY_AS_PROPS);
$a->item += 1;

这种写法也是不会触发到offsetSet和offsetGet的,必须$a['item'] += 1方可。
这个从设计上看,也是正常的啊,因为 $a->item 这根本不是操作数组,是直接操作 object 的 property,自然没法触发 offsetSet 和 offsetGet
digmeup
digmeup
博主态度很不错,赞一个
曾建凯
曾建凯

引用来自“justintung”的评论

file_exists都是和stream wrapper 相关的,会在/path,默认认为是file:///path ,realpath和这个无关;
感觉发现新大陆一样,写这么多
受教了,stream_get_wrappers里注册了phar,使得file_exists支持。
曾建凯
曾建凯

引用来自“FlyingHail”的评论

这个,看起来就是 realpath 不支持 phar 呗,或许算不上是bug吧

至于 ArrayObject,是不是应该这样写啊....
$arr = new ArrayObject(['item ' => 1]);
$arr['item '] += 1;

如果非得想 $arr->item += 1,要这样写:
$a = new ArrayObject(['item' => 1], ArrayObject::ARRAY_AS_PROPS);
$a->item += 1;
如果非得想 $arr->item += 1,要这样写:
$a = new ArrayObject(['item' => 1], ArrayObject::ARRAY_AS_PROPS);
$a->item += 1;

这种写法也是不会触发到offsetSet和offsetGet的,必须$a['item'] += 1方可。
FlyingHail
FlyingHail
这个,看起来就是 realpath 不支持 phar 呗,或许算不上是bug吧

至于 ArrayObject,是不是应该这样写啊....
$arr = new ArrayObject(['item ' => 1]);
$arr['item '] += 1;

如果非得想 $arr->item += 1,要这样写:
$a = new ArrayObject(['item' => 1], ArrayObject::ARRAY_AS_PROPS);
$a->item += 1;
ma_ming-nj
ma_ming-nj
看的我都懵逼了,这根本不是bug,人家为啥要改,你第二次代码直接返回的参数,就在那里叫说不对。
不是simaguo
不是simaguo
leo108 说的对,第二个逻辑有问题
BlinkCG
BlinkCG
看的尴尬癌都犯了。赶紧换语言吧。
wangdmeng
wangdmeng
简直牛逼坏了
PHP7新特性快速一览。

2015.12.3发生了两件大事,PHP7问世了,Swift开源了。 最好的语言发布了新的版本,一个划时代的大版本:PHP7。 PHP7修复了大量BUG,新增了功能和语法糖。这些改动涉及到了核心包、GD库、PDO...

李轩Lane
2015/12/04
1K
4
TXR 89 发布,文本抽取的模式匹配语言

TXR 是一个新的用于文本抽取的模式匹配语言,用于替换 awk 和 perl,提供基于模板的全文匹配。 TXR 89 发布,此版本修复了 eql 函数对浮点数值操作不当的问题;修复了T get-line,get-char 和...

oschina
2014/05/12
992
2
PHP的Realpath Cache

PHP的缓存有很多种,包括输出缓冲(ob系列函数),opcode缓存(APC,eAccelerator,XCache等扩展实现),这些大家已经很熟悉了,接下来介绍一下一个不太被人注意的PHP缓存机制:realpath_cache。 ...

clearchen
2012/08/15
0
0
SQLite 3.7.16.1 发布

SQLite 3.7.16.1 发布, 主要以下内容: 修复 3.7.15 版本因为优化 ORDER BY 而导致的bug. Ticket a179fe7465. 修复一个长期存在的在CAST表达式中会将UTF16字符(即使高位不为0)当作数字的bug. ...

chai2010
2013/03/29
3.2K
2
Haxe 3.4.3 发布,基于高级编程语言的工具包

Haxe 3.4.3 已发布。Haxe 原定位是一门跨平台编程语言,可胜任开发原生 iOS、Android 应用、网页,可应用于服务器和个人桌面。调整后定位为一款基于现代、高级、严格类型化的编程语言、交叉编...

王练
2017/09/16
694
1

没有更多内容

加载失败,请刷新页面

加载更多

下一页

[MicroPython]STM32F407开发板驱动OLED液晶屏

1.实验目的 1.学习在PC机系统中扩展简单I/O 接口的方法。 2.进一步学习编制数据输出程序的设计方法。 3.学习 F407 Micropython开发板控制OLED显示字符。 2.所需元器件 F407 Micropython开发板...

bodasisiter
22分钟前
0
0
php require和include 相对路径一个有趣的坑

以前总是被教育,不要使用相对路径,这样性能比较差,但是相对路径的问题不仅仅是性能哦,看下面这里例子 这是项目结构 .├── main.php├── t│ ├── t1.php│ └── t2.php└─...

anoty
22分钟前
9
0
x64技术之SSDT_Hook

测试环境: 虚拟机: Windows 7 64bit 过PG工具 驱动加载工具 PCHunter64 系统自带的计算器和任务管理器等 实现思路: 实际思路与win32的思路一样.都是替换SSDT表里边的函数地址.不过微软被搞怕...

simpower
23分钟前
0
0
TreeMap源码分析,看了都说好

一、简介 TreeMap最早出现在JDK 1.2中,是 Java 集合框架中比较重要一个的实现。TreeMap 底层基于红黑树实现,可保证在log(n)时间复杂度内完成 containsKey、get、put 和 remove 操作,效率很...

Java小铺
33分钟前
0
0
协变、逆变

概念 假设 A、B表示类型 ≤ 表示继承关系 f<⋅>表示类型转换 若A ≤ B,则 A是B的子类,B是A的超类 协变、逆变 什么是型变?型变(type variance)允许对类型进行子类型转换。 为了下面讲解先...

obaniu
39分钟前
0
0

没有更多内容

加载失败,请刷新页面

加载更多

下一页

返回顶部
顶部