跨 C++ 編譯單元與靜態庫的全域靜態物件初始化順序問題解決方案

C++ 標準僅保證單一編譯單元內全域靜態物件的初始化順序（依宣告順序），**跨編譯單元（.cpp 檔）或靜態庫之間的初始化順序未定義**。這導致經典的「靜態初始化順序災難」。本文透過實例剖析問題成因，並提供多種解決方案。

問題重現

X.h

#pragma once
#include <string>

class CObjet {
public:
    static const std::string STRINGX;
};

X.cpp

#include "X.h"
const std::string CObjet::STRINGX = "001";

Y.cpp

#include <iostream>
#include "X.h"

const std::string STRINGY = CObjet::STRINGX;  // 依賴 STRINGX 已初始化

int main() {
    std::cout << "CObjet::STRINGX [" << CObjet::STRINGX << "]" << std::endl;
    std::cout << "STRINGY [" << STRINGY << "]" << std::endl;
    return 0;
}

可能的輸出

CObjet::STRINGX [001]
STRINGY []          // 空字串！或導致 Segmentation fault

根本原因

• STRINGX（X.cpp）與 STRINGY（Y.cpp）屬於不同編譯單元的全域靜態物件。
• C++ 標準**不保證**跨編譯單元的初始化順序。
• 若 STRINGY 先初始化，此時 STRINGX 尚未建構，讀取到未初始化的 std::string（空值或垃圾資料）。

解決方案比較

方案一：Construct On First Use（推薦、可攜、零成本）

將全域物件包裝於函式內，利用**函式靜態區域變數**的「首次使用時初始化」特性（C++11 保證執行緒安全）：

// X.h
const std::string& GetSTRINGX() {
    static const std::string instance = "001";
    return instance;
}

// Y.cpp
const std::string& GetSTRINGY() {
    static const std::string instance = GetSTRINGX();  // 確保 GetSTRINGX() 先執行
    return instance;
}

優點：標準 C++、無編譯器相依、自動處理順序與執行緒安全。缺點：需修改存取介面（由直接存取改為函式呼叫）。

方案二：編譯器專屬優先級屬性（IBM XL C/C++）

使用 -qpriority 或 -qmkshrobj=priority 指定模組初始化優先級（數值越小優先級越高）：

# 編譯 X.cpp 時指定高優先級
xlC -c -qpriority=-100 X.cpp -o X.o
xlC -c Y.cpp -o Y.o
xlC -o app X.o Y.o

或建立共享庫時：

xlC -qmkshrobj=-100 -o libX.so X.o
xlC -o app Y.o -L. -lX

優點：不修改原始碼。缺點：編譯器專屬、不可攜、需維護優先級數值。

方案三：GCC/Clang init_priority 屬性

// X.cpp
const std::string CObjet::STRINGX __attribute__((init_priority(101))) = "001";

// Y.cpp
const std::string STRINGY __attribute__((init_priority(102))) = CObjet::STRINGX;

優先級 101-65535（數值越小越早），100 保留給標準庫。僅限 GCC/Clang。

方案四：單例模式 / 依賴注入

將全域狀態封裝於單例類別，於 main() 開始時顯式初始化，或透過依賴注入框架管理生命週期。架構清晰、可測試、避免全域狀態副作用。

最佳實踐建議

1. **避免跨編譯單元的全域靜態物件相依**——這是根本之道。
2. 新專案優先採用 **Construct On First Use** 模式。
3. 既有專案若難以重構，可考慮編譯器屬性作為過渡方案。
4. 嚴禁在全域/靜態物件建構函式中呼叫其他編譯單元的全域物件。
5. 啟用靜態分析工具（如 Cppcheck 的 staticInitializationOrder 檢查）偵測潛在風險。