如果SplObjectStorage实例在仍然附加某些对象的情况下析构,它是否先隐式分离对象,还是由SplObjectStorage对这些悬空对象的引用导致内存泄漏？我正在尝试确定用户区代码是否“分离在破坏之前留下的任何东西”是必要的,以防止这样的内存泄漏.

$storage = new SplObjectStorage();
$x = new stdClass();
$y = new stdClass();
$storage->attach($x);
$storage->attach($y);
$storage = null; 
// did not explicitly detach $x and $y... does $storage's destruction do it?
// or do the zval counts on $x and $y now off by one?
$x = null;
$y = null;
// at this point, are there two dangling references to $x and $y,
// simply because $storage did not dereference from them before destroying itself?

最佳答案 简单的答案是：它应该释放这两个对象.

如果不是这种情况,则应将其视为错误.

测试：使用析构函数创建一个类,并确保调用它.