如何在 C++ 中使用派生聚合的指定初始化？

Question

我有一个B从另一个聚合派生的聚合结构A。我想初始化它，有两个选项：普通聚合初始化和C++20指定初始化器：

struct A {};
struct B : A { int x; };

int main() {
    [[maybe_unused]] B x{{},1}; //ok everywhere
    [[maybe_unused]] B y{.x=1}; //warning in GCC
}

普通的初始化{{},1}工作正常，但在这种情况下看起来太笨拙，因为{}父聚合需要额外的费用。

指定的初始化器{.x=1}在这里对我来说看起来更好，但它们在 GCC 中产生一个奇怪的警告：

warning: missing initializer for member 'B::<anonymous>' [-Wmissing-field-initializers]
    6 |     [[maybe_unused]] B y{.x=1}; //warning in GCC
      |                              ^

演示： https: //gcc.godbolt.org/z/8jEYY16c6

有没有办法在这里使用指定的初始化器并同时让GCC平静下来消除警告？

Answer 1

有没有办法在这里使用指定的初始化器并同时让GCC平静下来消除警告？

不。GCC 的警告是正确的：您缺少基类 的初始值设定项A。现在，在这种情况下，您碰巧想要从= {}任何地方进行初始化（这是当您不提供初始化程序时会发生的情况），并且这是您可以对其进行初始化的唯一方法，因此也许在这种特定情况下警告有点愚蠢（但在一般情况下，基类实际上有成员，这是完全合理的）。此外，警告可能更有用，实际上会告诉您缺少哪个成员的初始化程序......

不幸的是，无法在指定初始值设定项列表中实际命名基类，这意味着无法使用指定初始值设定项实际初始化。B

有一项解决此问题的提案（P2287），其目的是允许B{.A={}, .x=1}，但这仍然是一项正在进行的工作。