为什么指向同一个对象的两个对象实例之一在将 NULL 分配给它们中的任何一个时表现不同？

Question

考虑下面的代码 sn-p ：

<?php
  class SimpleClass {
    // property declaration
    public $var = 'a default value';

    // method declaration
    public function displayVar() {
      echo $this->var;
    }
  }

  $instance = new SimpleClass();

  $assigned   =  $instance;

  $instance->var = '$assigned will have this value';
  var_dump($instance);
  echo "<br>";
  var_dump($assigned);
?>

以上代码的输出如下：

object(SimpleClass)#1 (1) { ["var"]=> string(30) "$assigned will have this value" }
object(SimpleClass)#1 (1) { ["var"]=> string(30) "$assigned will have this value" }

我对上面的程序很了解。我理解对$instance 或$assigned 的任何更改都会反映在另一个中，因为它们指向同一个对象实例。

但是在将NULL 分配给两个对象实例中的任何一个时，这个原则在下面的代码中失败了。预计两个对象实例都应变为NULL，但两者之一包含NULL，另一个不包含NULL。为什么会这样？

<?php
  class SimpleClass {
    // property declaration
    public $var = 'a default value';

    // method declaration
    public function displayVar() {
      echo $this->var;
    }
  }

  $instance = new SimpleClass();

  $assigned   =  $instance;

  $instance = NULL;
  var_dump($instance);
  echo "<br>";
  var_dump($assigned);
?>

以上代码输出如下：

NULL
object(SimpleClass)#1 (1) { ["var"]=> string(15) "a default value" } 

此外，在上面的代码中，没有调用类方法 displayVar() 的地方，它与文本 'a default value' 相呼应，也没有任何构造方法存在，那么对象实例 $assigned 的 var 属性是如何获取的设置而不是在其中包含NULL？

由于两个对象实例都指向同一个对象，为什么当NULL被分配给其中一个时它们以一种方式表现，而当字符串或一些有意义的值被分配给其中一个时它们以另一种（预期的）方式表现?

Answer 1

$assigned = $instance 表示您正在复制一个指针，因为每当您将一个新对象分配给一个变量时，您基本上是在对该对象进行指针引用。

因此，当您执行 $instance = NULL 时，您将 null 分配给 $instance 变量，而 $assigned 仍指向您之前创建的对象

看看这个链接http://php.net/manual/en/language.oop5.references.php

Answer 2

当你创建一个对象时，PHP 会在底层创建一个 zval。它是内存中的一些空间，用于保存对象结构和数据。好的，it's somewhat more complex，但这就是本案您需要知道的全部内容。

将对象分配给$instance 意味着您将指针之类的东西分配给这个zval。然后当你执行$assigned = $instance 时，PHP 只会让$assigned 也指向这个 zval：

$instance -> your object <- $assigned
    ^                           ^
    |____________ = ____________|

因此，您实际上有两个指向同一底层数据结构的独立指针（由上面的 -> 和 <- 表示）。

当您将NULL 分配给其中一个变量时，您只是清除了此特定变量指向 zval 的指针。但是另一个变量仍然指向它：

$instance = NULL;

// causes

$instance -> NULL
     ^       your object <- $assigned
     |                          ^
     |___________ != ___________|

让我们在交互式会话中试试这个（在你的 shell 中输入 php -a）：

php > $a = new StdClass;
php > $a->foo = 42;
php > $b = $a;
php > var_dump($b);
object(stdClass)#1 (1) {
  ["foo"]=>
  int(42)
}
php > $a = null;
php > var_dump($b);
object(stdClass)#1 (1) {
  ["foo"]=>
  int(42)
}

这与使用实际引用不同，其中$assigned实际上指向$instance的指针：

your object <- $instance <- $assigned
                   ^            ^
                   |_____= _____|

当您在此处将$instance 设置为NULL 时，您正在删除您的对象与$instance 之间的连接，因此$assigned 也会失去它与您的对象的（间接）连接。

php > $a = new StdClass;
php > $a->foo = 42;
php > $b = &$a;
php > var_dump($b);
object(stdClass)#2 (1) {
  ["foo"]=>
  int(42)
}
php > $a = null;
php > var_dump($b);
NULL

通过执行$b = &$a; $b 并不直接指向zval，而是实际上指向$a，因此当您将NULL 分配给$a 时，$b 将是您分配给$a 的任何内容和反之亦然，例如如果你之后做$b = 42，$a 也将是 42：

$instance = null;
// causes
null <- $instance <- $assigned
            ^            ^
            |_____= _____|

因此，即使您设置了$instance = null，您仍然保持从$assigned 到$instance 的引用。要完全删除/取消链接$a 和$b 之间的关联，您需要使用unset。