php中__destruct与register_shutdown_function执行的先后顺序问题

根据php手册的解析。

__destruct是

析构函数会在到某个对象的所有引用都被删除或者当对象被显式销毁时执行。

而register_shutdown_function是

registers a callback to be executed after script execution finishes or exit() is called. 注册一个回调函数，此函数在脚本运行完毕或调用exit()时执行。

从字面上理解，__destruct是对象层面的，而register_shutdown_function是整个脚本层面的，理应register_shutdown_function的级别更高，其所注册的函数也应最后执行。为证实我们的猜测，我们写一段脚本：

register_shutdown_function(function(){echo 'global';});
    class a {
        public function __construct(){
        }
        public function __destruct()
        {
            echo __class__,'::',__function__,'<br/>';
        }
    }
    new a;

执行结果：

a::__destruct
global

完全证实了我们的猜测，它按照对象->脚本的顺序被执行了。

但如果我们在对象中注册了register_shutdown_function呢？它还是一样的顺序吗？！

class a {
        public function __construct(){
            register_shutdown_function(function(){echo 'local', '<br/>';});
        }
        public function __destruct()
        {
            echo __class__,'::',__function__,'<br/>';
        }
    }
    new a;

结果：

local
a::__destruct

可以看到register_shutdown_function先被调用了，最后才是执行对象的__destruct。这表明register_shutdown_function注册的函数被当作类中的一个方法？！不得而知，这可能需要查看php源代码才能解析了。

我们可以扩大范围查看情况：

register_shutdown_function(function(){echo 'global', '<br/>';});
    class a {
        public function __construct(){
            register_shutdown_function(array($this, 'op'));
        }
        public function __destruct()
        {
            echo __class__,'::',__function__,'<br/>';
        }
        public function op()
        {
            echo __class__,'::',__function__,'<br/>';
        }
    }
    class b {
        public function __construct()
        {
            register_shutdown_function(array($this, 'op'));
            $obj = new a;
        }
        public function __destruct()
        {
            echo __class__,'::',__function__,'<br/>';
        }
        public function op()
        {
            echo __class__,'::',__function__,'<br/>';
        }
    }
    $b = new b;

我们在全局注册一个register_shutdown_function函数，在类ab中又各注册了一个，而且类中分别还有析构方法。最后运行结果会怎样呢？

global
b::op
a::op
a::__destruct
b::__destruct

结果完全颠覆了我们的想像，register_shutdown_function函数无论在类中注册还是在全局注册，它都是先被执行，类中执行的顺序就是它们被注册的先后顺序。如果我们再仔细研究，全局的register_shutdown_function函数无论放在前面还是后面都是这个结果，事情似乎有了结果，那就是register_shutdown_function比__destruct先执行，全局的register_shutdown_function函数又先于类中注册的register_shutdown_function先执行。

且慢，我无法接受这个结果，按照这样的结论，难道说脚本已经结束后还可以再执行__destruct？！因此，我还要继续验证这个结论---去掉类中注册register_shutdown_function，而保留全局register_shutdown_function：

class a {
        public function __destruct()
        {
            echo __class__,'::',__function__,'<br/>';
        }
    }
    class b {
        public function __construct()
        {
            $obj = new a;
        }
        public function __destruct()
        {
            echo __class__,'::',__function__,'<br/>';
        }
    }
    register_shutdown_function(function(){echo 'global', '<br/>';});

输出：

a::__destruct
global
b::__destruct

结果令人茫然，a、b两个类的析构函数执行顺序无可质疑，因为b中调用了a，类a肯定比b先销毁，但全局的register_shutdown_function函数又怎么夹在它们中间被执行？！费解。

按照手册的解析，析构函数也可在调用exit时执行。

析构函数即使在使用 exit()终止脚本运行时也会被调用。在析构函数中调用 exit() 将会中止其余关闭操作的运行。

如果在函数中调用exit，它们又如何被调用的呢？

class a {
        public function __construct(){
            register_shutdown_function(array($this, 'op'));
            exit;
        }
        public function __destruct()
        {
            echo __class__,'::',__function__,'<br/>';
        }
        public function op()
        {
            echo __class__,'::',__function__,'<br/>';
        }
    }
    class b {
        public function __construct()
        {
            register_shutdown_function(array($this, 'op'));
            $obj = new a;
        }
        public function __destruct()
        {
            echo __class__,'::',__function__,'<br/>';
        }
        public function op()
        {
            echo __class__,'::',__function__,'<br/>';
        }
    }
    register_shutdown_function(function(){echo 'global', '<br/>';});
    $b = new b;

输出：

global
b::op
a::op
b::__destruct
a::__destruct

这个顺序与上述第三个例子相似，不同的且令人不可思议的是b类的析构函数先于类a执行，难道销毁b后类a的所有引用才被全部销毁？！不得而知。

结论：
1、尽量不要在脚本中将register_shutdown_function与__destruct混搭使用，它们的行为完全不可预测。
1、因为对象在相互引用，因此我们无法测知对象几时被销毁，当需要按顺序输出内容时，不应把内容放在析构函数__destruct里；
2、尽量不要在类中注册register_shutdown_function，因为它的顺序难以预测（只有调用这个对象时才会注册函数），而且__destruct完全可以代替register_shutdown_function；
3、如果需要在脚本退出时执行相关动作，最好在脚本开始时注册register_shutdown_function，并把所有动作放在一个函数里。
敬请大家指正。