子类的列表初始化[重复]

Question

我想通过列表初始化（https://en.cppreference.com/w/cpp/language/list_initialization）初始化一个作为 A 子类的 B 类

但是，它不是这样工作的：

struct A {
   int x;
};

struct B : public A {
};

int main()
{
   A a{ 1 }; // compiles
   B b{ 2 }; // doesn't compile
}

有没有办法通过列表初始化来初始化 B 的实例？

本质上，我想在不声明任何构造函数的情况下初始化 B 的实例。

Answer 1

问题是您使用的是 C++ 编译器，该编译器基于 C++ 17 标准之前的 C++ 标准编译程序。

在 C++ 17 标准之前，聚合可能不包含基类。

因此，请使用至少设置 C++ 17 标准规范的编译器选项。

根据 C++ 14 标准（8.5.1 聚合）

1 聚合是没有用户提供的数组或类（第 9 条） 构造函数（12.1），没有私有或受保护的非静态数据成员 （第 11 条），没有基类（第 10 条），并且没有虚函数 (10.3)。

从 C++ 17 开始，标准聚合允许有基类（11.6.1 聚合）

1 聚合是一个数组或一个类（第 12 条）

(1.1) — 没有用户提供的、显式的或继承的构造函数 (15.1)，

(1.2) — 没有私有或受保护的非静态数据成员（第 14 条），

(1.3) — 没有虚函数 (13.3)，并且

(1.4) — 没有虚拟、私有或受保护的基类 (13.1)。

另请注意，根据 C++17 和 C++20 标准中的聚合存在差异。例如，在 C++ 17 中，您可以使用说明符 default 为聚合声明构造函数。

就是这个程序

struct A {
   int x;
};

struct B : public A {
    B() = default;
};

int main()
{
   A a{ 1 }; 
   B b{ 2 }; 
}

根据 C++ 17 标准有效，根据 C++20 标准无效。

但是，如果您将使用说明符 explicit 声明构造函数

struct B : public A {
   explicit  B() = default;
};

那么即使根据 C++ 17 标准，该程序也将无效。