C# 與 C++ 靜態構造函數差異深度對比：CLR 機制 vs 模板模擬實現

核心差異一覽

C# 靜態構造函數：CLR 級別保證

public class Database {
    // 靜態構造函數：無修飾符、無參數
    static Database() {
        Console.WriteLine("靜態構造函數執行");
        ConnectionString = LoadConfig();
        InitializePool();
    }

    public static string ConnectionString { get; private set; }
    public static void Execute(string sql) { /* ... */ }

    public Database() { Console.WriteLine("實例構造函數"); }
}

// 測試
Database.Execute("SELECT 1"); // 1. 靜態構造  2. Execute
var db = new Database();      // 3. 實例構造（靜態構造已完成，不再執行）

CLR 執行語義（ECMA-335 標準）

1. 類型標記 `beforefieldinit` 影響觸發精確度：

• **有靜態構造函數** → **不**標記 `beforefieldinit` → **精確語義**：首次訪問**任何**靜態/實例成員前執行。
• **無靜態構造函數** → 標記 `beforefieldinit` → **寬鬆語義**：CLR 可在任意時間（甚至首次訪問前很久）執行靜態欄位初始化器。

2. **線程安全**：CLR 使用互斥鎖 + 狀態標記，確保多線程併發訪問時靜態構造函數**僅執行一次**，並發生 **happens-before** 關係，所有線程見到完全初始化的狀態。

C++ 缺口與手動實現痛點

C++ 標準**無靜態構造函數概念**。全局/命名空間/類靜態成員初始化順序在**不同編譯單元（.cpp）間未定義**，著名的「靜態初始化順序災難」。

典型災難場景

// File1.cpp
Logger g_logger; // 全局對象

// File2.cpp
Config g_config; // 另一全局對象

// File3.cpp
Database g_db(g_config.GetConnectionString()); // 依賴 g_config
// 若 g_db 先於 g_config 初始化 → 讀取未初始化配置 → 崩潰/UB

常見變通方案

1. 函數局部靜態變量 (Meyers Singleton)：C++11 保證線程安全、首次調用初始化。

   Config& GetConfig() {
       static Config instance; // 首次調用初始化，線程安全
       return instance;
   }
   Database& GetDatabase() {
       static Database instance(GetConfig()); // 依賴順序自然解決
       return instance;
   }
   

2. 顯式初始化函數：`AppInit()` 在 `main` 首行調用，手動控制順序。

文章中的模板模擬方案分析

template 
class static_constructable {
protected:
    static_constructable() {
        static helper placeholder; // 函數局部靜態，首次構造派生類時初始化
    }
private:
    struct helper { helper() { T::static_constructor(); } };
};

// 使用
class A : static_constructable {
public:
    static void static_constructor() { /* 初始化邏輯 */ }
    A() { /* 實例構造 */ }
};

1. 派生類 `A` 構造時，先調用基類 `static_constructable` 構造函數。
2. 基類構造函數中定義 `static helper placeholder`，C++11 保證**首次進入此函數**時初始化 `helper`，調用 `A::static_constructor()`。
3. 後續構造 `A` 實例不再執行 `helper` 初始化。

// 單例模式：線程安全、延遲初始化、無靜態順序問題
class Database {
    Database() { LoadConfig(); InitPool(); }
public:
    static Database& Instance() {
        static Database instance; // C++11 魔法
        return instance;
    }
    void Execute(string sql) { /* ... */ }
};

// 使用
Database::Instance().Execute("SELECT 1");