删除构造函数的 C++14 值初始化

Question

我有一些误解:

让我们将结构 A 的默认构造函数标记为已删除:

struct A
{
  A() = delete;
};

下一条指令格式正确，效果如何？:

A a{};

来自 cppreference value initilization :

1) If T is a class type with no default constructor or with a user-provided default constructor or with a deleted default constructor, the object is default-initialized.

但是那么默认初始化的效果是:

If T is a class type, the default constructor is called to provide the initial value for the new object.

还是聚合初始化？谢谢!

Answer 1

你的 struct A 是:

• 一个类类型，它具有:
  • 没有用户提供的构造函数¹,
  • 没有私有(private)或 protected 非静态数据成员，
  • 没有基类，
  • 没有虚拟成员函数。

因此，根据 § 8.5.1/1 提供的定义，它可以作为一个聚合类型。

然后是聚合初始化优先于值初始化。该标准规定聚合初始化优先于值初始化(草案 N3936，第 8.5.4/3 节，第 201 页)(强调我的)

List-initialization of an object or reference of type T is defined as follows:

• If T is an aggregate, aggregate initialization is performed (8.5.1).
• Otherwise, if the initializer list has no elements and T is a class type with a default constructor, the object is value-initialized.
• [... more rules...]

⁽¹⁾ 根据评论中关于为什么删除的构造函数不计为用户定义的要求，以下是标准说(草案 N3936，第 8.4.2/5 节，第 198 页):

A function is user-provided if it is user-declared and not explicitly defaulted or deleted on its first declaration.