一个关于 PHP 的 new 的小问题的探究

问题起因

前两天有人在群里说了一个关于 new 和 stdClass 的问题，具体表现如下：

<?php
$a = new stdClass;
$b = new $a;
var_dump($a, $b);

这段代码是可以正确运行的，并且 $a 和 $b 是两个不同的空对象。即使在 new $a 之前给 $a 添加属性并赋值，$b 也始终是一个的空对象。

所以问题就是：为什么空对象还可以跟在 new 后面，stdClass 有什么特殊的地方吗？

实际表现

其实主要稍加验证就能知道，其实这和 stdClass 并没有什么关系，完全是 new 的行为决定的，比如在 psysh 上做一下简单的测试：

>>> $a = new Reflection;
=> Reflection {#174}
>>> $b = new $a;
=> Reflection {#177}

这里我是 new 了一个 Reflection 类的实例，和 stdClass 的表现没有区别。当然也可以自定义一个类：

>>> 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 原对象的类。

原因

那么 PHP 是什么样的实现造成了这种表现呢？还是从源码入手来解析这个问题。

其实从源码中，我们可以直奔 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 的实现。