默认构造函数
默认构造函数是不需要实参就能调用的构造函数(以空的或为每个形参提供默认实参的参数列表定义)。拥有公开默认构造函数的类型是可默认构造 (DefaultConstructible) 的。
语法
类名 ( ) ;
|
(1) | ||||||||
类名 :: 类名 ( ) 函数体
|
(2) | ||||||||
类名() = delete ;
|
(3) | (C++11 起) | |||||||
类名() = default ;
|
(4) | (C++11 起) | |||||||
类名 :: 类名 ( ) = default ;
|
(5) | (C++11 起) | |||||||
其中 类名 必须指名当前类(或类模板的当前实例化),或在命名空间作用域或友元声明中声明时,必须是有限定的类名。
解释
如果没有对类类型(struct、class 或 union)提供任何用户声明的构造函数,那么编译器将始终声明一个作为其类的 inline public
成员的默认构造函数。
当存在用户声明的构造函数时,用户仍可以通过关键词 |
(C++11 起) |
隐式声明(或在其首个声明被预置)的默认构造函数具有动态异常说明 (C++17 前)异常说明 (C++17 起)中所描述的异常说明。
隐式定义的默认构造函数
如果隐式声明的默认构造函数未被定义为弃置的,那么当它被 ODR 式使用或者被常量求值所需要 (C++11 起)时,编译器会定义它(即生成函数体并编译),且它与拥有空函数体和空初始化器列表的用户定义的构造函数有严格相同的效果。即它调用这个类的各基类和各非静态成员的默认构造函数。如果它满足对于 constexpr 构造函数的要求,那么生成的构造函数是 constexpr
的。 (C++11 起)
当存在用户定义的构造函数时,用户仍可以通过关键词 |
(C++11 起) |
弃置的隐式声明的默认构造函数
如果满足下列任一条件,那么类 T
中隐式声明的或预置的 (C++11 起)默认构造函数不被定义 (C++11 前)被定义为弃置的 (C++11 起):
-
T
拥有无默认初始化器的 (C++11 起)引用类型的成员。 -
T
拥有无默认成员初始化器的 (C++11 起)非 const 可默认构造的 const 成员。 -
T
拥有默认构造函数被弃置,或对于此构造函数有歧义或不可访问的成员,且该成员无默认成员初始化器 (C++11 起)。 -
T
拥有默认构造函数被弃置,或对于此构造函数有歧义或不可访问的直接或虚基类。 -
T
拥有析构函数被弃置,或对于此构造函数不可访问的直接或虚基类。
(C++11 起) |
-
T
是所有变体成员都是 const 的联合体。
当不存在用户定义的构造函数,且隐式声明的默认构造函数非平凡时,用户仍可以通过关键词 |
(C++11 起) |
平凡默认构造函数
如果满足下列所有条件,那么类 T
的默认构造函数是平凡的(即没有任何动作):
- 构造函数并非用户提供的(即为隐式定义或在它的首个声明中预置的)
-
T
没有虚成员函数 -
T
没有虚基类
|
(C++11 起) |
- 每个
T
的直接基类都拥有平凡默认构造函数 - 每个类类型(或其数组类型)的非静态成员都拥有平凡默认构造函数
平凡默认构造函数是没有任何动作的构造函数。所有与 C 语言兼容的数据类型(POD 类型)都是可以平凡默认构造的。
合格的默认构造函数
被用户声明或者同时被隐式声明且可定义的默认构造函数是合格的。 |
(C++11 前) |
没有被弃置的默认构造函数是合格的。 |
(C++11 起) (C++20 前) |
满足下列所有条件的默认构造函数是合格的: |
(C++20 起) |
合格的默认构造函数的平凡性确定该类是否为隐式生存期类型,以及该类是否为平凡类型。
示例
struct A { int x; A(int x = 1): x(x) {} // 用户定义默认构造函数 }; struct B: A { // 隐式定义 B::B(),调用 A::A() }; struct C { A a; // 隐式定义 C::C(),调用 A::A() }; struct D: A { D(int y): A(y) {} // 不会声明 D::D(),因为已经有其他构造函数 }; struct E: A { E(int y): A(y) {} E() = default; // 显式预置,调用 A::A() }; struct F { int& ref; // 引用成员 const int c; // const 成员 // F::F() 被隐式定义为弃置的 }; int main() { A a; B b; C c; // D d; // 编译错误 E e; // F f; // 编译错误 }
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
CWG 2084 | C++11 | 默认成员初始化器对预置的联合体默认构造函数是否被弃置没有影响 | 它们阻止预置默认构造函数被定义为弃置的 |