使用静态方法创建实例时的 PHP 垃圾收集

Question

经过多次追踪，我终于弄清楚我的代码出了什么问题，所以这个问题不是“我该如何解决它”，而是“为什么会这样？ ”。

考虑以下代码：

class Foo {
    private $id;
    public $handle;

    public function __construct($id) {
        $this->id = $id;
        $this->handle = fopen('php://memory', 'r+');

        echo $this->id . ' - construct' . PHP_EOL;
    }

    public function __destruct() {
        echo $this->id . ' - destruct' . PHP_EOL;

        fclose($this->handle);
    }

    public function bar() {
        echo $this->id . ' - bar - ' . get_resource_type($this->handle) . PHP_EOL;

        return $this;
    }

    public static function create($id) {
        return new Foo($id);
    }
}

看起来很简单 - 创建时它将打开一个内存流并设置属性$handle 和$id。销毁时将使用fclose 关闭此流。

用法：

$foo = Foo::create(1); // works

var_dump( $foo->bar()->handle ); // works

var_dump( Foo::create(2)->bar()->handle ); // doesn't work

这里的问题似乎是我希望两个调用返回完全相同，但由于某种原因，Foo::create(2) 调用我不将实例保存到变量在bar() 方法的return $this 部分和我实际使用属性$handle 之间的某处调用垃圾收集器。

如果您想知道，这个就是输出：

1 - construct                 // echo $this->id . ' - construct' . PHP_EOL;
1 - bar - stream              // echo $this->id . ' - bar - ' ...
resource(5) of type (stream)  // var_dump
2 - construct                 // echo $this->id . ' - construct' . PHP_EOL;
2 - bar - stream              // echo $this->id . ' - bar - ' ...
2 - destruct                  // echo $this->id . ' - destruct' . PHP_EOL;
resource(6) of type (Unknown) // var_dump
1 - destruct                  // echo $this->id . ' - destruct' . PHP_EOL;

据我所知是这样的：

var_dump( Foo::create(2)->bar()->handle );
// run GC before continuing..  ^^ .. but I'm not done with it :(

但是为什么？为什么 PHP 认为我已经完成了变量/类实例，因此觉得需要销毁它？

演示：

eval.in demo
3v4l demo (only HHVM can figure it out - all other PHP versions can't)

Answer 1

这一切都归结为 refcounts 以及 PHP 如何处理 resources differently。

当一个类实例被销毁时，所有非数据库链接资源都被关闭（参见上面的资源链接）。其他地方引用的所有非资源仍然有效。

在您的第一个示例中，您分配了 $temp = Foo::create(1)，这会增加对 Foo 实例的引用计数，从而防止它被破坏，从而保持资源打开。

在你的第二个例子中，var_dump( Foo::create(2)->bar()->handle );，事情是这样发展的：

1. 调用Foo::create(2)，创建Foo 的实例。
2. 您在新实例上调用方法bar()，返回$this，这会将引用计数增加一。
3. 您离开 bar() 的作用域，下一个操作不是方法调用或赋值，引用计数减一。
4. 实例的引用计数为零，所以它被销毁了。所有非数据库链接资源均已关闭。
5. 您尝试访问已关闭的资源，返回 Unknown。

作为补充证明，这很好用：

$temp = Foo::create(3)->bar();
// $temp keep's Foo::create(3)'s refcount above zero
var_dump( $temp->handle );

这样：

$temp = Foo::create(4)->bar()->bar()->bar();
// Same as previous example
var_dump( $temp->handle );

还有这个：

// Assuming you made "id" public.
// Foo is destroyed, but "id" isn't a resource.  It will be garbage collected later.
var_dump( Foo::create(5)->id );

这行不通：

$temp = Foo::create(6)->handle;
// Nothing has a reference to Foo, it gets destroyed, all resources closed.
var_dump($temp);

这也不行：

$temp = Foo::create(7);
$handle = $temp->handle;
unset($temp);
// $handle is now a reference to a closed resource because Foo was destroyed
var_dump($handle);

Foo 被销毁时，所有打开的资源（数据库链接除外）都将关闭。来自Foo 的引用其他属性仍然有效。

演示： https://eval.in/271514

Answer 2

这似乎都是关于变量作用域的。

简而言之，如果您将Foo::create() 分配给全局变量，您可以 在全局范围内访问 handle 并且析构函数不会 一直调用到脚本结束。

而如果您实际上没有将它分配给最后一个全局变量 本地范围内的方法调用将触发析构函数；手柄 在Foo::create(1)->bar() 关闭，所以->method 现在在 您正在尝试访问它。

进一步的调查显示，前提是有缺陷的 - 这里肯定发生了一些奇怪的事情！它只是似乎会影响资源。

---

案例1

$foo = Foo::create(1);
var_dump( $foo->bar()->handle );

结果：

resource(3) of type (stream)

在这种情况下，我们将全局变量 $foo 分配为使用 Foo::create(1) 创建的 Foo 的新实例。我们现在使用bar() 访问该全局变量以返回自身，然后返回公共handle。

---

案例2

$bar = Foo::create(2)->bar();
var_dump( $bar->handle );

结果：

resource(4) of type (stream)

同样，它仍然没问题，因为Foo::create(2) 已经创建了Foo 的一个新实例，而bar() 只是简单地返回了它（它仍然可以在本地范围内访问它）。这已被分配给全局变量 $bar，并且正在检索 handle。

---

案例 3

var_dump( Foo::create(3)->bar()->handle );

结果：

resource(5) of type (Unknown)

这是因为当Foo::create() 返回Foo 的新实例时，bar() 使用了该实例...但是当bar() 关闭时，不再有任何本地 使用该实例并调用 __destruct() 方法来关闭句柄。如果你简单地写，你会得到同样的结果：

$h = fopen('php://memory', 'r+');
fclose($h);
var_dump($h);

如果你尝试，你会得到完全相同的结果：

var_dump( Foo::create(3)->handle );

Foo::create(3) 将调用析构函数，因为不再有对该实例的本地调用。

---

编辑

进一步的修修补补使水域更加混乱......

我已经添加了这个方法：

public function handle() {
    return $this->handle;
}

现在，如果我的前提是正确的，那么：

var_dump( Foo::create(3)->handle() );

应该导致：

resource(3) of type (stream)

...但事实并非如此，您再次获得 Unknown 的资源类型 - 似乎在 return $this before 公共类成员调用了析构函数被访问了！然而，在其上调用方法绝对没问题：

public function handle() {
    return $this->bar();
}

这会很高兴地把你的对象还给你：

object(Foo)#1 (2) {
  ["id":"Foo":private]=>
  int(3)
  ["handle"]=>
  resource(3) of type (stream)
}

似乎没有办法在调用析构函数之前以这种方式访问​​资源类成员？！

---

正如 Alex Howansky 指出的那样，使用标量没问题：

public function __destruct() {
    $this->id = 2000;
    fclose($this->handle);
}

public function handle() {
    return $this->id;
}

现在：

var_dump( Foo::create(3)->handle() );

结果：

int(3)

...在调用析构函数之前返回原始 $id。

这对我来说绝对是个臭虫。