C++ 聚合初始化陷阱：類別與結構體的差異詳解

C++ 中使用大括號 {} 進行聚合初始化時，類別與結構體行為截然不同。本文深入剖析規則差異、構造函數影響與正確初始化姿勢。

基本類型陣列與結構體：支援聚合初始化

int a[5] = {1,2,3,4,5};
int b[5] = {0};           // 全部歸零
int c[] = {1,2,3,4,5};    // 自動推導長度

struct X { int i; float f; };
X x1 = {1, 1.1f};
X x2[3] = {{1,1.1f}, {2,2.2f}};  // 第三個元素自動歸零

結構體 X 無構造函數、全公開成員 → 聚合類型 → 支援 {} 初始化。

類別的限制：構造函數阻斷聚合初始化

class X {
public:
    int i;
    float f;
    X() { cout << "默認構造\n"; }
    X(int e, float q) : i(e), f(q) { cout << "構造函數\n"; }
};

int main() {
    // X a = {0, 0};  // 編譯錯誤！有構造函數，非聚合類型
    X b[2];                    // 調用默認構造函數 ×2
    X c[3] = { X(1,1.1f), X(2,2.2f) };  // 顯式調用構造函數
    return 0;
}

運行輸出

默認構造函數
默認構造函數
構造函數
構造函數
默認構造函數

c[3] 前兩個顯式構造，第三個隱式默認構造。

核心規則總結

C++11 統一初始化列表 (std::initializer_list)

現代 C++ 可為類別自定義列表構造函數，恢復 {} 初始化能力：

class Vector {
    std::vector<double> data;
public:
    Vector(std::initializer_list<double> list) : data(list) {}
    // 現在支援 Vector v = {1.0, 2.0, 3.0};
};

最佳實踐建議

1. 純資料結構：用 struct、全公開、無構造函數 → 享受聚合初始化便利
2. 有行為/不變量的類別：用 class、私有成員、提供構造函數 → 強制透過構造函數初始化，保證狀態合法
3. 需要 {} 便利語法的類別：C++11 起添加 std::initializer_list 構造函數
4. 陣列初始化：X arr[N] = { args... } 缺項自動值初始化 (調用默認構造或歸零)

深層啟示

「類別並非嚴格意義上的聚合」。聚合意味著「資料的被動集合」，無封裝、無不變量維護；類別代表「行為與資料的主動封裝」，透過構造函數建立合法初始狀態。這是 C++ 從 C 風格 POD 到面向對象封裝的關鍵分水嶺。