通过继承使用初始化列表

Question

有没有办法使用初始化列表来初始化Bar？

struct Foo {
    int i[2];
};

struct Bar : Foo {};

Foo f{0, 1}; // OK
Bar b{0, 1}; // error: no matching function for call to 
             //   ‘Bar::Bar(< brace-enclosed initializer list>)’

Answer 1

Foo是一个聚合，可以使用执行聚合初始化的括号列表来初始化聚合。 这就是为什么即使没有构造函数也可以使用{0, 1}初始化Foo 。

但是， Bar是否也是聚合取决于您正在使用的C ++版本。 在C ++ 14及更早版本中，聚合不能具有基类，因此Bar不是聚合。 因此，无法使用聚合初始化对其进行初始化，并且需要适当的构造函数。 [实例]

在C ++ 17中，“聚合”的定义被扩展为包括具有非虚拟公共基类的类，因此在C ++ 17中， Bar 是一个聚合，实际上， 可以使用聚合初始化来初始化： [实例] ]

Answer 2

由于Foo是一种聚合类型，它是通过aggregate initialization ，它不支持从c ++ 14开始的基类初始化。 但好消息是它将在c ++ 17中得到支持:)

从cppreference中获取的示例：

// aggregate
struct base1 { int b1, b2 = 42; };
// non-aggregate
struct base2 {
  base2() : b3(42) {}
  int b3;
};
// aggregate in C++17
struct derived : base1, base2 { int d; };
derived d1{ {1, 2}, { }, 4}; // d1.b1 = 1, d1.b2 = 2,  d1.b3 = 42, d1.d = 4
derived d2{ {    }, { }, 4}; // d2.b1 = 0, d2.b2 = 42, d2.b3 = 42, d2.d = 4

Answer 3

它编译，但使用C ++ 17聚合可以有基类。 这允许基本数据成员的列表初始化。 看到这里更多：

http://en.cppreference.com/w/cpp/language/aggregate_initialization

聚合初始化的效果是：

每个直接公共库（自C ++ 17）数组元素或非静态类成员，按照类定义中的数组下标/外观的顺序，从初始化列表的相应子句进行复制初始化。