C++中结构体定义构造函数后传参规则及花括号使用疑问

C++里支持「按成员顺序逐个传参、自动拆解嵌套参数」的初始化方式，本质是聚合类型的专属特性，非聚合类型永远无法触发这套规则。

两类结构体的本质差异 #

• 结构体B没有任何用户自定义的构造函数，完全符合聚合类型的判定要求：无用户提供的构造函数、无非静态私有/保护成员、无基类、无虚函数，属于标准的聚合类型。
• 结构体A手写了空实现的无参构造函数A(){};，直接触发聚合类型的排除规则，彻底失去了聚合类型资格。

为什么B不需要套单独花括号、A必须套 #

聚合初始化配套有「花括号省略规则」：如果待初始化的聚合类型的某个嵌套子成员本身也是聚合类型，编译器会自动按照子成员的内部成员顺序，把后续相邻的实参拆解给这个子成员的内部成员，不需要你手动给这个子成员套单独的初始化花括号。
回到你示例中对C（本身也是聚合类型）的初始化过程，C的直接成员顺序是A a; B b;，总共2个直接成员，本应匹配2个初始化实参：

1. 对第一个子成员A a的初始化：因为A不是聚合类型，花括号省略规则对它完全失效。编译器不会自动把后续的两个float实参（c、d）拆解给A的内部成员，必须你手动把c、d包成{c,d}的独立初始化列表，明确指定这是给A的初始化值。
2. 对第二个子成员B b的初始化：因为B是聚合类型，触发了花括号省略规则。编译器发现后续相邻的两个int实参（a、b）的数量、类型和B的内部成员完全匹配，就自动把这两个值拿过去当B的初始化列表使用，不需要你额外写{a,b}套花括号。

常见误区澄清 #

1. 是不是因为A没有默认构造函数导致传参失效？
   完全不是。哪怕你现在手写的这个无参构造已经给A提供了默认构造能力，只要这个构造是用户自己写了函数体、不是编译器自动生成的，A就永远不是聚合类型，自动拆参数的规则就不会对它生效。
2. 要怎么才能让A也享受B的自动拆参数待遇？
   如果你确实需要支持「平铺所有子成员参数、不需要给A单独套花括号」的写法，唯一的合规方法是让A重新成为聚合类型：把你手写的空构造A(){};替换成A() = default;。这种写法是告诉编译器按照默认规则生成默认构造函数，不属于用户自定义提供的构造函数，不会破坏A的聚合资格。这时候你甚至可以直接写func(C{c,d,a,b})，编译器会自动把c、d拆解给A、a、b拆解给B，全程不需要额外的嵌套花括号。
3. 如果确实需要给A写带自定义逻辑的构造函数怎么办？
   一旦你给A写了带自定义逻辑的构造函数，不管是无参的还是带参数的，A都会失去聚合资格。这时候哪怕你额外加一个接收两个float的构造函数，编译器也不会自动把平铺的相邻参数拆解给A，你永远需要给A套独立的花括号传参——这是C++类型规则的硬限制，没有办法绕过。

补充说明：你示例中给A传{c,d}的写法能正常编译，是因为当前编译器对全公有成员的非聚合类，在嵌套聚合初始化位置放宽了列表初始化检查，允许直接按成员顺序初始化公有成员。但这种行为并不属于C++标准强制要求的通用规则，跨编译器可能出现兼容问题。

内容的提问来源于stack exchange，提问作者Den Du。