为何C++中继承基类构造函数会破坏聚合初始化？

这个现象本质是C++标准对聚合类型的硬性判定规则导致的，核心逻辑非常明确：

• 想用花括号列表完成聚合初始化的大前提，是当前类型必须是聚合类型。C++标准明确规定，聚合类型不能有用户声明的构造函数、不能有虚函数/虚基类、不能有私有/保护的非静态成员，也不能存在通过using声明从基类继承的构造函数。
• 你写的第一个空结构体MyArray，没有任何自定义构造，也没有继承构造，虽然公开继承了std::array，但完全符合聚合类型的要求。这时候写MyArray a{1, 2};走的是标准聚合初始化流程：花括号里的初始化项会按顺序传递给类的基类子对象、自身非静态成员做初始化。这里MyArray只有一个基类std::array<int, 2>，而std::array本身也是聚合类型，所以{1,2}会直接用来初始化基类子对象，编译自然正常通过。
• 第二个版本的MyArray里加了using std::array<int, 2ul>::array;，这是标准的构造函数继承声明，会直接让MyArray丧失聚合类型资格。这时候编译器遇到花括号初始化，不会再走聚合初始化逻辑，只会尝试匹配类当前可用的构造函数，包括从基类继承来的构造函数。
• 这里编译报错的直接原因很简单：std::array本身就是聚合类型，根本没有实现接收两个int参数的构造函数，它支持多元素初始化的能力完全来自聚合初始化规则，这种能力是不会通过构造函数继承传递给派生类的。编译器在MyArray的构造函数列表里找不到匹配(int, int)参数的版本，自然会抛出编译错误。

可以用一个简单的例子验证这个逻辑：如果基类本身实现了对应参数的自定义构造函数，哪怕派生类继承构造后不再是聚合，也可以通过花括号调用继承来的构造完成初始化：

struct Base {
    int x;
    int y;
    // 基类自定义两参构造，本身不是聚合
    Base(int a, int b):x(a), y(b) {}
};
struct Derived : Base {
    using Base::Base; // 继承构造后Derived不再是聚合
};
Derived d{1, 2}; // 可以正常编译，这里调用的是继承来的Derived(int,int)构造函数，不是聚合初始化

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