1

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

隐式声明的默认构造函数是inline public其类的成员。类的默认默认构造函数X在以下情况下定义为已删除：

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

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

4

2 回答 2

2

我认为维基百科的这段摘录解释了这一点：

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

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

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

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

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

代码示例：

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

由于您似乎是 Standerdese 的粉丝（几乎您的所有问题都在 Standard Quotes 上寻求解释），这篇关于标准提交如何定义默认和删除函数的论文应该适合您阅读：

默认和删除函数

于 2011-09-19T10:38:07.797 回答
0

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

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

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

于 2011-09-19T10:38:33.293 回答