聚合初始化是否生效取决于类型是否为聚合类，需满足：无用户声明构造函数、无可访问私有/保护非静态成员、无虚函数、无虚基类、无默认成员初始化器（C++20起明确禁止）；std::array和std::pair是特例，支持聚合初始化但需注意括号层级。
聚合初始化在 C++ 中不是“语法糖”，而是有明确语言规则的初始化机制，用 {} 初始化结构体时，它是否生效取决于类型是否为聚合类（aggregate）。
什么样的结构体能用聚合初始化？
必须同时满足：无用户声明的构造函数、无可访问的私有/保护非静态成员、无虚函数、无虚基类、无默认成员初始化器（C++11 起）。注意：C++14 开始允许有 =default 构造函数，C++20 允许有默认成员初始化器但会使其失去聚合性质。
常见误判点：
-
struct S { int x; S() = default; };→ 仍是聚合（C++14+） -
struct S { int x = 42; };→ 不是聚合（C++20 前就不是，C++20 明确禁止） -
struct S { private: int x; };→ 不是聚合（即使x有 public 继承也无效）
std::array 和 std::pair 能用聚合初始化吗？
可以，但要注意类型匹配和括号嵌套层级。它们是标准库中特意设计为聚合类型的特例。
例如：
std::array<int> a{1, 2, 3}; // ✅ 合法，展开为三个元素
std::pair<int std::string> p{42, "hi"}; // ✅ 合法
std::pair<int std::string> q{{42}, {"hi"}}; // ❌ 错误：多了一层花括号，触发了 pair 的构造函数而非聚合</int></int></int>
关键区别：{42, "hi"} 是对 pair 成员的直接初始化；{{42}, {"hi"}} 会被解释为先构造两个临时对象再传给 pair 构造函数，容易因隐式转换失败而报错。
聚合初始化 vs 构造函数初始化：编译器怎么选？
当类型是聚合时，{} 触发聚合初始化（逐成员按序赋值），不调用任何构造函数；否则才考虑构造函数重载解析。
典型陷阱：
- 加了
= default还是聚合 → 仍走聚合初始化，不是调用默认构造函数 - 加了
explicit构造函数 → 类不再是聚合，{}可能因 explicit 被禁用而编译失败 - 成员含 const 或引用 → 聚合初始化要求必须提供对应初始值，否则编译错误：
struct S { const int x; }; S s{};❌
聚合初始化的“窄化”检查（narrowing conversion）
C++11 起，聚合初始化对窄化转换（如 int → char、浮点 → 整型且值超出范围）执行严格诊断，编译器必须报错（不是警告）。
例如：
struct S { char c; };
S s1{128}; // ❌ 错误：128 无法表示为 signed char（假设平台 char 为 signed）
S s2{255}; // ❌ 同样错误（255 > 127）
S s3{10}; // ✅ 正确
这点比普通构造函数更严格——构造函数里可能只警告，而聚合初始化下这是硬性编译错误。
聚合初始化看似简单，但实际行为高度依赖类定义细节和 C++ 标准版本。最易出问题的是默认成员初始化器和 = default 构造函数的组合，以及误以为所有 {} 都等价于构造函数调用。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
