< cpp‎ | language

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

语法

T object ;	(1)
new T new T ( ) (C++03 前)	(2)

解释

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

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

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

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

默认初始化的效果是：

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

只有拥有自动存储期的（可能 cv 限定的）非 POD 类类型（或其数组）曾被认为为在不使用初始化器时默认初始化。拥有动态存储期的标量和 POD 类型曾被认为不被初始化（从 C++11 起，此情形被重分类为默认初始化的一种形式）。	(C++11 前)
在（引入值初始化的） C++03 前，表达式 new T() 还有带一个空括号对形式的指名基类或成员的初始化器曾被分类为默认初始化，但对非类类型指定为零初始化。	(C++03 前)

若 T 是 cv 限定类型，则其非 cv 限定版本被用于默认初始化的目的。

(C++11 前)

使用由默认初始化任何类型的非类变量取得的值是未定义行为（特别是它可能是陷阱表示），除了下列情况： 若将 unsigned char 或 std::byte (C++17 起)的不确定值赋值给另一拥有（可有 cv 限定的） unsigned char 或 std::byte (C++17 起)类型的变量（变量的值变为不确定，但行为不是未定义）； 若用 unsigned char 或 std::byte (C++17 起)的不确定值初始化另一拥有（可有 cv 限定的） unsigned char 或 std::byte (C++17 起)类型的变量； 若从以下场合产生 unsigned char 或 std::byte (C++17 起)的不确定值 条件表达式的第二或第三运算数， 逗号运算符的右运算数， 转型或转换到 unsigned char 或 std::byte (C++17 起)的运算数， 弃值表达式。 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 }

(C++14 起)

注意

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

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

不能默认初始化引用。

示例

#include 
 
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 被默认初始化（为不确定值）
}

参阅

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