默认的默认构造函数 ?在n3290草案中

Question

n3290 草案 §12.1（构造函数）中的一点 ¶5：

隐式声明的默认构造函数是以下对象的内联公共成员： 它的阶级。类 X 的默认默认构造函数被定义为已删除 如果：

• X 是一个类似联合的类，它有一个带有非平凡成员的变体成员 默认构造函数，
• 任何没有大括号或等号初始化器的非静态数据成员都是 引用类型，
• const 限定类型（或数组）的任何非变体非静态数据成员 其中）没有大括号或等于初始化器没有用户提供的 默认构造函数，
• X 是一个联合体，其所有变体成员都是 const 限定类型 （或其数组），
• X 是一个非联合类，任何匿名联合成员的所有成员都是 const 限定类型（或其数组），
• 任何直接或虚拟基类，或不带任何内容的非静态数据成员 大括号或等于初始化器，具有类类型 M （或其数组）并且 M 没有应用默认构造函数或重载解析 (13.3) M 的默认构造函数会导致歧义或导致函数 从默认的默认构造函数中删除或无法访问，或者
• 任何直接或虚拟基类或非静态数据成员都具有带有
  的类型 已从默认的默认构造函数中删除或无法访问的析构函数

请用一些示例程序解释默认的默认构造函数。

Answer 1

我认为此摘自维基百科解释this：

显式默认和删除的特殊成员函数

在 C++03 中，编译器为不提供自身的类提供默认构造函数、复制构造函数、复制赋值运算符 (operator=) 和析构函数。程序员可以通过定义自定义版本来覆盖这些默认值。 C++ 还定义了几个适用于所有类的全局运算符（例如operator= 和operator new），程序员可以重写它们。

但是，对这些默认值的创建几乎没有控制。例如，使类本质上不可复制，需要声明私有复制构造函数和复制赋值运算符，而不是定义它们。尝试使用这些函数违反了单一定义规则。虽然不需要诊断消息，[5] 这通常会导致链接器错误。[需要引用]

对于默认构造函数，如果类定义了任何构造函数，编译器将不会生成默认构造函数。这在许多情况下都很有用，但能够同时拥有专门的构造函数和编译器生成的默认值也很有用。

C++11 将允许显式默认和删除这些特殊成员函数。例如，以下类型显式声明它正在使用默认构造函数：

代码示例：

struct SomeType 
{
    SomeType() = default; //The default constructor is explicitly stated.
    SomeType(OtherType value);
};

---

由于您似乎是 Standerdese 粉丝（几乎所有问题都寻求标准引用的解释）本文介绍了标准提交如何定义默认值和删除的函数应该值得您阅读：

默认和删除的函数

Answer 2

如果使用 = default; 语法声明特殊成员函数之一，则该函数是“默认的”。您引用的第一行之前的行指出：

如果类 X 没有用户声明的构造函数，则没有参数的构造函数将隐式声明为默认构造函数 (8.4)。

因此，“默认”默认构造函数是使用 = default 声明的默认构造函数（可以不带参数调用的构造函数）。这可以使用 = default 语法显式定义，也可以根据上面的行隐式定义。