默认构造函数

默认构造函数是可以无实参调用的构造函数（以空参数列表定义，或为每个形参提供默认实参而定义）。拥有公开默认构造函数的类型是可默认构造 (DefaultConstructible) 的。

语法

其中 类名 必须指名当前类（或类模板的当前实例化），或在命名空间作用域或友元声明中声明时，必须是有限定的类名。

解释

默认构造函数在默认初始化和值初始化中得到调用。

隐式声明的默认构造函数

若不对类类型（struct、class 或 union）提供任何用户声明的构造函数，则编译器将始终声明一个作为其类的 inline public 成员的默认构造函数。

隐式声明（或在其首个声明被预置）的默认构造函数，具有动态异常说明 (C++17 前)异常说明 (C++17 起)中所描述的异常说明。

隐式定义的默认构造函数

若隐式声明的默认构造函数未被定义为弃置的，则当其被ODR 式使用时，它为编译器所定义（即生成函数体并编译之），且它与拥有空函数体和空初始化器列表的用户定义的构造函数有严格相同的效果。即它调用这个类的各基类和各非静态成员的默认构造函数。若它满足对于 constexpr 构造函数的要求，则生成的构造函数为 constexpr。 (C++11 起)

弃置的隐式声明的默认构造函数

若下列任一项为真，则为类 T 所隐式声明的或预置的默认构造函数不被定义 (C++11 前)被定义为弃置的 (C++11 起)：

• T 拥有无默认初始化器的 (C++11 起)引用类型的成员。
• T 拥有无用户定义默认构造函数或默认成员初始化器 (C++11 起)的 const 成员。
• T 拥有（无默认成员初始化器） (C++11 起)的成员，其默认构造函数被弃置，或对于此构造函数有歧义或不可访问。
• T 拥有直接基类或虚基类，其默认构造函数被弃置，或对于此构造函数有歧义或不可访问。
• T 拥有直接基类或虚基类，其析构函数被弃置，或对于此构造函数不可访问。

• T 为 union，且其所有变体成员均为 const。

平凡默认构造函数

当下列各项全部为真时，类 T 的默认构造函数为平凡的（即不进行任何动作）：

• 构造函数并非用户提供（即为隐式定义或于其首个声明中预置的）
• T 没有虚成员函数
• T 没有虚基类

• 每个 T 的直接基类都拥有平凡默认构造函数
• 每个类类型的非静态成员都拥有平凡默认构造函数

平凡默认构造函数是不进行任何动作的构造函数。所有与 C 语言兼容的数据类型（POD 类型）都是可平凡默认构造的。然而与 C 中不同，不能通过简单地对适当对齐的存储（如以 std::malloc 分配的内存）进行重解释来创建拥有平凡默认构造函数的对象：需要用布置 new 来正式引入新对象，并避免潜在的未定义行为。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

示例

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; // 编译错误
}