C++ 全域變數釋放順序：不確定性與最佳實踐

結論先行：順序由編譯器決定，不可假設

全域/靜態變數的構造順序在同一編譯單元內遵循定義順序，但跨編譯單元則為「未指定行為」；析構順序理論上與構造順序相反，但同樣受鏈接順序影響。切勿在程式邏輯中依賴特定的釋放順序。

為什麼測試時「看不到」析構？

• 程式正常結束時，作業系統會回收所有記憶體，析構函數輸出可能被緩衝區延遲或直接被終止進程截斷。
• 若在析構函數中使用 std::cout，需手動 std::flush 或改寫入檔案才能可靠觀察。

避坑指南

1. 避免跨模組全域物件相依：改用函數靜態區域變數（Meyers Singleton）實現「首次使用時構造」，保證順序。
2. 資源管理交給 RAII 物件：智慧指標、標準容器自動處理釋放，無需手動控制順序。
3. 若必須控制順序：將全域物件包裝在命名空間級的 std::unique_ptr 中，在 main() 開頭手動 new、結尾 reset()。

標準條款參考

C++ 標準 [basic.start.init] / [basic.start.term] 明確規定：動態初始化的非區域變數在跨翻譯單元時順序未定義；析構順序與初始化順序相反，但同樣受限於跨模組不確定性。