聚合类型必须满足：无用户声明构造函数、无可访问性非公有的非静态数据成员、无基类且无虚函数。例如含std::string成员或声明u()的struct均不满足。
聚合类型必须满足哪些条件才能用 {} 初始化
不是所有 C++ 类型都能用花括号初始化。只有满足「聚合类型」定义的，才允许聚合初始化。核心就三条：没有用户声明的构造函数、没有私有或受保护的非静态数据成员、没有基类，也没有虚函数。
常见误判点：哪怕只写了一个空的 MyClass() = default;，也算用户声明了构造函数，立刻失去聚合资格；std::string 成员也不行——它有用户定义的构造函数，所以含 std::string 的 struct 默认不是聚合体（C++20 前）。
-
struct S { int a; double b; };✅ 聚合，可S s{1, 2.0}; -
struct T { private: int x; };❌ 非公有成员 → 不是聚合 -
struct U { U(); int x; };❌ 用户声明了构造函数 → 不是聚合 -
struct V { std::string s; };❌ C++17 及以前，std::string破坏聚合性（C++20 起部分放宽，但仍有约束）
{} 初始化时字段顺序和省略规则
聚合初始化严格按声明顺序匹配花括号内的值，不看名字，也不能跳过中间项（除非该成员有默认成员初始化器）。
比如 struct X { int a = 42; std::string s; int b; };，写 X x{1, "hi"}; 是错的——它试图把 "hi" 给 s，但 b 没给值，而 b 没默认值，编译失败。必须写全三个，或给 b 加默认值。
立即学习“C++免费学习笔记（深入）”；
- 字段顺序固定，不能靠
.member = value指定（那是 C99 designated initializer，C++20 才有限支持，且仅限 POD 聚合） - 可以省略尾部项：若
struct Y { int a; int b = 10; int c = 20; };，则Y y{5};合法，b和c取默认值 - 不能省略中间项：
Y y{ , 15};是非法语法，C++ 不支持空位占位
聚合初始化 vs 构造函数调用：为什么有时候 {} 不走你写的构造函数
当你对一个类使用 {}，编译器优先尝试聚合初始化（如果类型是聚合），而不是调用构造函数——哪怕你写了构造函数，只要它没被触发，就不会执行。
这容易导致“构造函数没被调用”的困惑。例如你加了日志到构造函数里，却发现用 {} 初始化时日志没打出来，八成是因为这个类型意外成了聚合体（比如忘了加构造函数声明，或删掉了私有成员）。
- 聚合初始化绕过所有构造函数逻辑，包括成员初始化列表和函数体
- 想强制走构造函数？加一个用户声明的构造函数（哪怕只是
MyType() = default;），它就不再是聚合体 - 注意
explicit对聚合初始化无影响——它本来就不涉及转换构造函数
C++20 的变化：聚合性放宽与 designated initializer 的有限引入
C++20 允许带默认成员初始化器的类成为聚合体（C++17 不允许），也首次支持类似 C99 的指定初始化语法，但限制很紧：只能用于聚合类型，且所有字段名必须存在、不可重复、不可遗漏（除非有默认值）。
例如：struct P { int x; int y = 0; }; P p{.x = 1}; 合法；但 P p{.y = 2}; 不合法——x 没提供且无默认值。
- 指定初始化器不改变聚合初始化的本质，仍是按声明顺序填充，只是语法上允许按名写
- 不支持嵌套指定（如
.a.b = 1），也不支持混合位置+名称写法（{1, .y = 2}是错的） - 主流编译器（GCC 10+、Clang 10+）已支持，但 MSVC 对 designated initializer 支持仍不完整
聚合初始化看着简单，但实际踩坑多在「你以为它是聚合，其实不是」或者「你以为它走构造函数，其实绕过去了」——检查类型是否真满足聚合定义，比背规则更重要。
