PHP 中 __destruct 與 register_shutdown_function 執行順序深度解析

前言：兩個「收尾」機制的困惑

PHP 提供了兩種腳本/對象結束時的執行機制：

• __destruct()：對象層面的析構函數，當對象引用計數歸零或顯式 unset() 時觸發。
• register_shutdown_function()：腳本層面的關閉回調，腳本正常結束或調用 exit() 時觸發。

直覺上認為腳本級別應晚於對象級別，但實際測試卻呈現出極其反直覺、甚至看似「不可預測」的行為。本文通過層層遞進的實驗，還原真實執行順序，並給出最佳實踐建議。

實驗一：全局 shutdown vs 單一對象 destruct

<?php
register_shutdown_function(function(){ echo 'global
'; });
class A {
    public function __destruct() { echo 'A::__destruct
'; }
}
new A;
?>

輸出：

A::__destruct
global

符合預期：對象先銷毀，腳本級回調最後執行。

實驗二：對象內部註冊 shutdown

<?php
class A {
    public function __construct() {
        register_shutdown_function(function(){ echo 'local
'; });
    }
    public function __destruct() { echo 'A::__destruct
'; }
}
new A;
?>

輸出：

local
A::__destruct

反轉！ 對象內註冊的 shutdown 早於該對象的 destruct 執行。說明 shutdown 回調並非單純「腳本結束後」執行，其調度機制更為複雜。

實驗三：多對象嵌套 + 多層級 shutdown

<?php
register_shutdown_function(function(){ echo 'global
'; });

class A {
    public function __construct() {
        register_shutdown_function([$this, 'op']);
    }
    public function __destruct() { echo 'A::__destruct
'; }
    public function op() { echo 'A::op
'; }
}

class B {
    public function __construct() {
        register_shutdown_function([$this, 'op']);
        $obj = new A; // B 擁有 A 的引用
    }
    public function __destruct() { echo 'B::__destruct
'; }
    public function op() { echo 'B::op
'; }
}

$b = new B;
?>

輸出：

global
B::op
A::op
A::__destruct
B::__destruct

觀察發現：

1. 所有 register_shutdown_function（無論全局還是對象內）全部早於任何 __destruct 執行。
2. Shutdown 回調按註冊順序執行：global → B::op → A::op。
3. Destruct 按對象引用關係反向銷毀：A 先於 B。

實驗四：移除對象內 shutdown，僅保留全局

<?php
class A { public function __destruct() { echo 'A::__destruct
'; } }
class B {
    public function __construct() { $obj = new A; }
    public function __destruct() { echo 'B::__destruct
'; }
}
register_shutdown_function(function(){ echo 'global
'; });
$b = new B;
?>

輸出：

A::__destruct
global
B::__destruct

極其詭異！ 全局 shutdown 竟然「插隊」在兩個對象的 destruct 之間。這說明：PHP 的關閉流程並非簡單的「先對象後腳本」，而是交織執行。

實驗五：構造函數中 exit() 中斷腳本

<?php
register_shutdown_function(function(){ echo 'global
'; });

class A {
    public function __construct() {
        register_shutdown_function([$this, 'op']);
        exit; // 直接終止
    }
    public function __destruct() { echo 'A::__destruct
'; }
    public function op() { echo 'A::op
'; }
}

class B {
    public function __construct() {
        register_shutdown_function([$this, 'op']);
        $obj = new A; // 不會執行到這裡
    }
    public function __destruct() { echo 'B::__destruct
'; }
    public function op() { echo 'B::op
'; }
}

$b = new B;
?>

輸出：

global
B::op
A::op
B::__destruct
A::__destruct

此時 B 的 destruct 反而早於 A，因為 A 的構造函數中 exit 導致 B 的構造未完成，$obj = new A 不會執行，B 不持有 A 的引用，故 B 先銷毀。

核心結論與最佳實踐

1. 執行順序本質：PHP 關閉階段分兩輪 —— 先按註冊順序執行所有 register_shutdown_function，再按引用關係逆序執行 __destruct。兩輪交織，而非簡單串行。
2. 強烈建議：不要在同一腳本中混用 兩者。它們的交互行為極難預測，極易產生難以復現的 Bug。
3. 對象清理用 __destruct：釋放資源（關閉連接、句柄等）放在析構函數，符合 OOP 封裝原則。
4. 腳本級收尾用 shutdown：日誌記錄、統計上報、緊急郵件通知等「最後一件事」在腳本入口處統一註冊 register_shutdown_function，且不要在類構造函數中註冊（註冊時機不可控）。
5. 避免在 destruct 中調用 exit()：會中斷剩餘關閉操作，導致其他對象 destruct 或 shutdown 回調不被執行。

參考：PHP 官方文檔關鍵表述

析構函數即使在使用 exit() 終止腳本運行時也會被調用。在析構函數中調用 exit() 將會中止其餘關閉操作的運行。

這句話暗示了「關閉操作」包含 shutdown 回調與其他對象的 destruct，二者同屬關閉階段，順序由引擎內部調度，非開發者可控。