php - 在销毁/取消设置(执行 __destruct() )后如何访问对象的属性？

Question

长话短说>

echo (new ClassName())->propertyName;

将调用 __destruct()，运行其代码并在成功检索其“propertyName”属性之后(将正常回显)。它如何从“已销毁”(或未设置)的对象中检索属性？

< 长话短说

---

我试图在网上找到这个(抱歉，如果已经有人回答了)。 https://www.php.net/manual/en/language.oop5.decon.php上的解释没有向我完全解释这一点。

我正在使用 https://onlinephp.io/来测试这个。为此，我同时使用 PHP 版本 7.0.33 和 8.1.8(但它们的行为方式似乎相同)。

代码如下:

class Fruit {
  public $name;
  
  public function __construct($n = "Fruit") {
    $this->name = $n;
  }
  
  public function __destruct() {
    echo "\nBye bye fruit\n";
  }
}

鉴于此 Fruit 类，我将创建它的 2 个实例 - Apple 和 Banana - 并检索并回显其“名称”属性。

Apple 将被分配给一个变量。

$apple = new Fruit("Apple");
unset($apple);
echo $apple->name . "\n";

这将按预期回应“再见水果”(来自 __destruct())，然后给我一个警告，因为我试图在对象被取消设置后访问它的属性。

Bye bye fruit

Warning: Undefined variable $apple in /home/user/scripts/code.php on line X

Warning: Attempt to read property "name" on null in /home/user/scripts/code.php on line X

这是预料之中的，因为不再有 $apple。

然而

echo (new Fruit("Banana"))->name;

将输出:

Bye bye fruit
Banana

我没有将它分配给任何变量，所以我假设它正在被垃圾收集器销毁(取消设置？)。

尽管如此，仍会调用 __destruct()，因为我们可以看到输出“Bye bye fruit”。如果它首先输出(回显)属性(“Banana”)，我会理解，但这对我来说似乎违反直觉。

如何访问该属性？它“住”在哪里？

附言

我确实在 php.net 引用页面(上面的链接)上找到了这个 14 年前的评论

[...]
    public static function destroyAfter(&$obj)
    {
        self::getInstance()->objs[] =& $obj;
        /*
            Hopefully by forcing a reference to another object to exist
            inside this class, the referenced object will need to be destroyed
            before garbage collection can occur on this object.  This will force
            this object's destruct method to be fired AFTER the destructors of
            all the objects referenced here.
        */
    }
[...]

但是，即使它提供了任何线索，它似乎也不是唯一的解释，因为:

1. 他正在创建一个特定的方法(除非在类中的任何地方添加一个引用会强制整个类改变它的行为)

2. 即使类中的属性有自己的“引用”，鉴于它已经被销毁，应用程序如何仍然“通过对象”找到它？

Answer 1

析构函数实际上是在检索属性之后被调用，但在回显它之前被调用。

如果我们 get a representation of how the code is compiled ，我们可以看到这一行:

echo (new Fruit("Banana"))->name;

编译为:

line      #* E I O op                           fetch          ext  return  operands
-------------------------------------------------------------------------------------
   15     0  E >   NEW                                              $0      'Fruit'
          1        SEND_VAL_EX                                              'Banana'
          2        DO_FCALL                                      0          
          3        FETCH_OBJ_R                                      ~2      $0, 'name'
          4        ECHO                                                     ~2
   16     5      > RETURN                                                   1

无需过多介绍:

• $0 是保存对象的内部变量:它由 NEW 操作码创建，然后由 FETCH_OBJ_R 操作码用于查找“名称”属性
• ~2 是保存FETCH_OBJ_R 操作码
的 结果 的内部变量
• ECHO 操作码只需要~2，不需要$0，所以在这两个操作之间，$0 将被丢弃，并触发析构函数

换句话说，它大致相当于这段代码:

$_0 = (new Fruit("Banana"));
$_2 = $_0->name;
unset($_0);
echo $_2;

另一种方法是用方法调用替换属性访问:

class Fruit {
  private $name;
    
  public function __construct($n = "Fruit") {
    $this->name = $n;
  }
  
  public function getName() {
      echo "\nGetting name...\n";
      return $this->name;
  }
  
  
  public function __destruct() {
    echo "\nBye bye fruit\n";
  }
}

echo (new Fruit("Banana"))->getName();

从输出中可以清楚地看到，虽然直到对象被销毁后我们才看到名称，但它是检索到的第一个:

Getting name...

Bye bye fruit
Banana