这是在不使用初始化器构造变量时执行的初始化。

语法

解释

默认初始化在三种情形进行：

1) 当不带初始化器而声明具有自动、静态或线程局部存储期的变量时；

2) 当以不带初始化器的 new 表达式创建具有动态存储期的对象时，或当以带有由一个空括号对组成的初始化器的 new 表达式创建对象时 (C++03 前)；

3) 当构造函数的初始化器列表中未提及某个基类或非静态数据成员，且调用了该构造函数时。

默认初始化的效果是：

• 若 T 是非 POD (C++11 前)类类型，则考虑各构造函数并实施针对空实参列表的重载决议。调用所选的构造函数（默认构造函数之一），以提供新对象的初始值；
• 若 T 是数组类型，则每个数组元素都被默认初始化；
• 否则，不做任何事：具有自动存储期的对象（及其子对象）被初始化为不确定值。

int f(bool b)
{
    int x;               // OK：x 的值不确定
    int y = x;           // 未定义行为
    unsigned char c;     // OK：c 的值不确定
    unsigned char d = c; // OK：d 的值不确定
    int e = d;           // 未定义行为
    return b ? d : 0;    // 未定义行为，若 b 为 true
}

注解

具有自动和动态存储期的非类变量的默认初始化，产生具有不确定值的对象（静态和线程局部对象进行的是零初始化）。

若 T 是 const 限定类型，则它必须是具有用户提供的默认构造函数的类类型。

不能默认初始化引用。

示例

运行此代码

#include <string>
 
struct T1 { int mem; };
 
struct T2
{
    int mem;
    T2() { } // "mem" 不在初始化器列表中
};
 
int n; // 静态非类，进行两阶段初始化：
       // 1) 零初始化将 n 初始化为零
       // 2) 默认初始化不做任何事，令 n 保留为零
 
int main()
{
    int n;            // 非类，值不确定
    std::string s;    // 类，调用默认构造函数，值是 ""（空字符串）
    std::string a[2]; // 数组，默认初始化其各元素，值是 {"", ""}
//  int& r;           // 错误：引用
//  const int n;      // 错误：const 的非类
//  const T1 t1;      // 错误：const 的带隐式默认构造函数的类
    T1 t1;            // 类，调用隐式默认构造函数
    const T2 t2;      // const 类，调用用户提供的默认构造函数
                      // t2.mem 被默认初始化（为不确定值）
}

• 直接初始化
• 复制初始化
• 列表初始化