显式默认构造函数

Question

这段代码在 GCC 5.X、MSVC 上编译得很好，但是 GCC 6.X 给出了错误：

"从初始化列表转换为 'a' 将使用显式 constructor 'a::a()'", clang " 选择的构造函数在 复制初始化”。

删除explicit 或更改为a c{} 可以解决问题，但我很好奇为什么会这样。

class a
{
public:
    explicit a () {}
};
struct b
{
    a c;
};

int main() {
    b d{};
}

Answer 1

b 是一个aggregate。当您使用初始化器列表对其进行初始化时，列表中的元素将初始化聚合的前 n 个成员，其中 n 是列表中的元素数。聚合的剩余元素是copy-list-initialized。

因此，在您的示例中，c 将被 copy-list-initialized，但如果选择的构造函数是 explicit，则格式错误，因此会出现错误。

相关标准报价为

[dcl.init.aggr]/3

当聚合被 [dcl.init.list] 中指定的初始化列表初始化时，初始化列表的元素被视为聚合元素的初始化。 聚合的显式初始化元素确定如下：
...
— 如果初始化列表是 initializer-list，则显式初始化的聚合元素是聚合的前 n 个元素，其中 n是初始值设定项列表中的元素数。
— 否则，初始化列表必须是{}，并且没有显式初始化的元素。

[dcl.init.aggr]/5

对于非联合聚合，每个不是显式初始化元素的元素都按如下方式初始化：
...
— 否则，如果元素不是引用，则从空的初始化列表 ([dcl.init.list]) 复制初始化该元素。

从一个空的初始化列表复制初始化c的效果在

中描述

[dcl.init.list]/3

T 类型的对象或引用的列表初始化定义如下：
...
— 否则，如果初始值设定项列表没有元素并且T 是具有默认构造函数的类类型，则该对象是值初始化的。

[dcl.init]/8

值初始化T 类型的对象意味着：
...
— 如果T 是一个（可能是 cv 限定的）类类型，没有默认构造函数 ([class.ctor]) 或用户提供或删除的默认构造函数，则该对象是默认初始化的；

[dcl.init]/7

默认初始化T 类型的对象意味着：
— 如果 T 是（可能是 cv 限定的）类类型，则考虑构造函数。枚举适用的构造函数（[over.match.ctor]），并通过重载决议选择初始化器（）的最佳构造函数。如此选择的构造函数被调用，并带有一个空参数列表，以初始化对象。

[over.match.ctor]

...对于复制初始化，候选函数都是该类的转换构造函数。

[class.conv.ctor]/1

声明的构造函数没有函数说明符 explicit 指定从其参数类型（如果有）到其类的类型的转换。这样的构造函数称为转换构造函数。

在上面的示例中，a 没有转换构造函数，因此重载解析失败。 [class.conv.ctor]/2 中的（非规范）示例甚至包含一个非常相似的案例

  struct Z {
    explicit Z();
    explicit Z(int);
    explicit Z(int, int);
  };

  Z c = {};                       // error: copy-list-initialization

---

您可以通过为c 提供默认成员初始化程序来避免该错误

struct b
{
    a c{};  // direct-list-initialization, explicit ctor is OK
};