指定的初始化和基类？

在C++20(最新草案)中，给出了以下代码：

struct B { int mb; };
struct D : B { int md; };

这六个表达式中哪些是格式错误的，哪些不是？

/*1*/ D{42, 43}
/*2*/ D{{42}, 43}
/*3*/ D{42, .md = 43}
/*4*/ D{{42}, .md = 43}
/*5*/ D{.mb = 42, .md = 43}
/*6*/ D{{.mb = 42}, .md = 43}

---

解决方案

(2)是您的标准显式聚合初始化。很好。

(1)是在B子对象周围使用大括号省略的聚合初始化。这也很好。

(3)和(4)混合了指定的初始值设定项和非指定的初始值设定项，这是不允许的。designated-initializer-list的语法只允许指定的初始化子句，它是指示符(.标识符)，后跟大括号或相等初始化子句。没有其他形式。

(5)和(6)正在尝试指定-初始化基类子对象，这也是不允许的。所有指示符都必须命名直接非静态数据成员。[dcl.init.aggr]/3.1表示：

如果初始化器列表是指定初始化器列表，则聚合应为类类型，每个指示符中的标识符应命名类的一个直接非静态数据成员，[...]

---

proposal清楚地表明，这两个都是有意的。它评论说：

基类对象将使用{}进行初始化。我们没有具体的用例来深入控制如何初始化基类对象，而且提议的设计是向前兼容的，因此我们建议在另一个提议中解决这个问题。

和：

要么全部指定，要么都不指定。

未来问题：

我们是否允许指定列表作为后缀出现在列表初始化器中，例如?A { 1, 2, .c= 3, .d = 4 }?？