C++20中如何用列表初始化含基类成员的派生结构体？

针对你提出的「不自定义构造函数，用一行代码完成包含基类成员的派生结构体初始化」的需求，C++20是支持的，但需要遵循聚合初始化的规则，先分析你给出的代码问题：

现有代码的编译情况解析 #

• d3、d4编译成功：这是利用了聚合初始化的顺序匹配规则——聚合类型的初始化顺序是先基类子对象，再派生类自身成员。d3里的1对应基类Base的n，"Hi"对应Derived的s；d4是C++20新增的「聚合类型圆括号初始化」语法，本质和d3逻辑一致。
• d1编译失败：你混合了派生类成员指定初始化（.s = "Hi"）和未命名的基类初始化器（{ .n = 1 }），C++标准不允许这种混用方式——要么全用顺序初始化，要么全用指定成员初始化（包括显式指定基类），不能两种方式混写。
• d2编译失败：{ "Hi" }是嵌套花括号，会被编译器解析为试图初始化std::string的内部成员，但std::string没有匹配的构造函数接受这种嵌套初始化列表，因此编译报错。

符合要求的一行初始化写法 #

写法1：显式指定成员（可读性强，不依赖顺序） #

C++20允许显式指定基类子对象的初始化，搭配派生类成员的指定初始化，代码清晰且合法：

static const Derived d5{ .Base = { .n = 1 }, .s = "Hi" };

这里.Base明确指定对基类子对象进行初始化，.s指定派生类成员，完全符合标准，能正常编译。

写法2：顺序化的简洁写法（依赖初始化顺序） #

如果追求简洁，也可以用嵌套花括号明确区分基类和派生类成员的初始化，避免歧义：

static const Derived d6{ { 1 }, "Hi" };

外层花括号对应Derived的初始化，内层{1}对应基类Base的n，后续的"Hi"对应s，这也是合法的C++20聚合初始化语法。

关键注意点 #

C++20中，只要派生类没有用户声明的构造函数、没有私有/保护的基类、没有虚基类等，就属于聚合类型，支持聚合初始化。使用时：

• 若用指定成员初始化，必须显式通过基类类型名（如.Base）来指定基类的初始化，不能和派生类的指定成员混用未命名的基类初始化器。
• 若用顺序初始化，必须严格遵循「先基类、后派生类成员」的顺序。

内容的提问来源于stack exchange，提问作者SpeakX