靜態構造函數是類型初始化的關鍵。C# 通過 CLR 提供**線程安全、調用時機確定、自動觸發**的強保證；C++ 標準無對應機制，需手動實現或借助模板技巧模擬。本文深度對比兩者語義差異，並展示 C++ 模板模擬方案的原理與缺陷。
| 特征 | 說明 |
|---|---|
| 語法 | static ClassName() { ... } 無參、無訪問修飾符 |
| 觸發時機 | **首次**創建實例 **或** 訪問靜態成員 **之前** (CLR 保證) |
| 線程安全 | **完全安全**：只執行一次，無競態 (CLR 鎖同步) |
| 不可控性 | 用戶代碼**無法**直接調用、無法控制精確時機 |
| 繼承行為 | 基類靜態構造函數在派生類**之前**執行 (按繼承鏈自下而上) |
| 異常處理 | 拋出異常導致類型不可用 (TypeInitializationException)，後續訪問持續拋出 |
static Constructor 語法。static bool initialized = Init(); 或單例 GetInstance() 內初始化。static_constructable<T>
class A : static_constructable<A> {
public:
static void static_constructor() {
std::cout << "static constructor a\n";
s_string = "abc"; // 初始化靜態數據
}
static std::string s_string;
A() { std::cout << "constructor a\n"; }
private:
int m_i;
};
std::string A::s_string;
int main() {
std::cout << "beginning of main\n";
assert(sizeof(A) == sizeof(int)); // 無內存佈局開銷
assert(A::s_string == "");
A a1; // 首次構造實例 → 觸發靜態構造
assert(A::s_string == "abc");
A a2; // 第二次不觸發
std::cout << "end of main\n";
}
beginning of main
static constructor a // 自動調用，一次且僅一次
constructor a
constructor a
end of main
template <typename T>
class static_constructable {
private:
struct helper {
helper() { T::static_constructor(); } // 調用目標類靜態方法
};
protected:
static_constructable() {
static helper placeholder; // 函數局部靜態變量：C++ 保證首次進入初始化，一次
}
};
A 繼承 static_constructable<A>，構造 A 實例前必先構造基類。static helper placeholder —— **函數局部靜態變量**。T::static_constructor()。helper 空結構，不增加 A 對象大小 (assert(sizeof(A)==sizeof(int)))。| 維度 | C# 靜態構造函數 | C++ 模板模擬 |
|---|---|---|
| 觸發條件 | 實例化 **或** 訪問靜態成員 | **僅實例化** (訪問靜態成員不觸發) |
| 線程安全 | CLR 保證 (全版本) | 依賴編譯器實現 (C++11 標準化，但早期/嵌入式編譯器可能不支持) |
| 訪問修飾符 | 無 (隱式 private) | static_constructor() 必須 public |
| 異常傳播 | TypeInitializationException 包裝 | 直接拋出，可能導致程序崩潰 |
| 繼承鏈調用順序 | 基類 → 派生類 (自動) | 需手動保證基類先構造 |
| 內存佈局影響 | 無 (類型對象頭處理) | 無 (空基類優化 EBO) |
std::call_once + std::once_flag：標準線程安全一次性初始化。inline static 變量 (C++17)：頭文件定義靜態數據，鏈接期合併，構造函數中初始化。constexpr / consteval (C++20)：編譯期計算，完全避免運行期初始化。import (C++20)：解決跨編譯單元初始化順序問題。C# 靜態構造函數是**語言級運行時契約**；C++ 模板模擬是**庫級技巧**，依賴編譯器特性，無法覆蓋所有語義 (如靜態成員訪問觸發)。現代 C++ 應優先用
std::call_once/inline static/constexpr組合替代。
