前两天有人在群里说了一个关于 new
和 stdClass
的问题,具体表现以下:php
<?php $a = new stdClass; $b = new $a; var_dump($a, $b);
这段代码是能够正确运行的,而且 $a
和 $b
是两个不一样的空对象。即便在 new $a
以前给 $a
添加属性并赋值,$b
也始终是一个的空对象。测试
因此问题就是:为何空对象还能够跟在 new
后面,stdClass
有什么特殊的地方吗?code
其实主要稍加验证就能知道,其实这和 stdClass
并无什么关系,彻底是 new
的行为决定的,好比在 psysh 上作一下简单的测试:对象
>>> $a = new Reflection; => Reflection {#174} >>> $b = new $a; => Reflection {#177}
这里我是 new 了一个 Reflection
类的实例,和 stdClass
的表现没有区别。固然也能够自定义一个类:get
>>> class Test { public $foo = 1; } => null >>> $a = new Test => Test {#178 +foo: 1, } >>> $a->foo = 2; => 2 >>> $b = new $a; => Test {#180 +foo: 1, }
从这个例子中咱们能够清楚的看到,改变 $a
的属性对 $b
没有任何影响(到这里也能够顺便思考一下 PHP 的一个关键字:clone
)。源码
既然已经知道了表现,也能够获得结论:经过一个类的对象 new
出一个新对象等同于 new
原对象的类。io
那么 PHP 是什么样的实现形成了这种表现呢?仍是从源码入手来解析这个问题。class
其实从源码中,咱们能够直奔 zend_vm_def.h
中找到答案,在关于 ZEND_FETCH_CLASS
这个 opcode 的解释中,咱们能够看到如下内容:文件
ZEND_VM_HANDLER(109, ZEND_FETCH_CLASS, ANY, CONST|TMPVAR|UNUSED|CV) { ... if (OP2_TYPE == IS_CONST) { ... } else if (Z_TYPE_P(class_name) == IS_OBJECT) { Z_CE_P(EX_VAR(opline->result.var)) = Z_OBJCE_P(class_name); } ... ... }
去掉一些干扰的上下文,上面的内容很清晰的呈现出一个解释:若是取到的 class_name
是一个对象,则经过 Z_OBJCE_P
的宏找到它的类。因此上面的表现解释起来就很容易了。思考
这自己是一个很简单的问题,不用往复杂了去想。若是想知道具体的 new
的实现,能够到 zend_compile.c
文件中去查看 zend_compile_new
的实现。