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}};  // 第三個元素自動零初始化

類喪失聚合特性的條件

以下任一條件成立，類即**非聚合**，**禁用大括號初始化列表**（C++11 前），需顯式調用構造函數：

• 聲明了**任何構造函數**（含預設、拷貝、移動、帶參）
• 存在**私有/保護非靜態數據成員**
• 存在**虛函數**或**虛基類**
• 存在**非聚合類類型**的非靜態數據成員
• （C++20 起）擁有**用戶聲明的構造函數**仍可聚合，但有限制

對比實驗：有構造函數 vs 無構造函數

#include 
using namespace std;

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++11/14/17/20 演進：初始化列表構造函數

現代 C++ 引入 std::initializer_list 構造函數，**專門接收大括號初始化**：

class Vector {
    std::vector data;
public:
    Vector(std::initializer_list list) : data(list) {}
};

Vector v = {1, 2, 3, 4, 5};  // ✅ 調用 initializer_list 構造函數

但這屬於**構造函數調用**，而非聚合初始化，語義不同（可執行邏輯、驗證、拋異常）。

判斷是否為聚合的編譯期檢測

template
constexpr bool is_aggregate_v = std::is_aggregate_v;  // C++20

// C++17 手寫檢測（近似）
template
struct is_aggregate : std::false_type {};
template
struct is_aggregate> : std::true_type {};

工程建議

總結

**聚合初始化是結構體的專屬特權**，類一旦擁有構造函數即喪失此能力（C++20 部分放寬）。這體現了 C++ 的設計哲學：**數據聚合用 struct，行為封裝用 class**。理解此界限，能避免「為何大括號初始化失效」的困惑，並指導正確選擇類型建模方式。現代 C++ 中，initializer_list 構造函數為類提供了受控的大括號初始化入口，兼顧便利與安全。