默认初始化
来自cppreference.com
这是在不使用初始化器构造变量时执行的初始化。
语法
T 对象 ;
|
(1) | ||||||||
new T
|
(2) | ||||||||
解释
默认初始化在三种情形进行：
1) 当不带初始化器而声明具有自动、静态或线程局部存储期的变量时；
3) 当构造函数的初始化器列表中未提及某个基类或非静态数据成员，且调用了该构造函数时。
默认初始化的效果是：
- 若
T是非 POD (C++11 前)类类型，则考虑各构造函数并实施针对空实参列表的重载决议。调用所选的构造函数（默认构造函数之一），以提供新对象的初始值； - 若
T是数组类型，则每个数组元素都被默认初始化； - 否则，不做任何事：具有自动存储期的对象（及其子对象）被初始化为不确定值。
|
只有具有自动存储期的（可能 cv 限定的）非 POD 类类型（或其数组）曾被认为在不使用初始化器时默认初始化。具有动态存储期的标量和 POD 类型曾被认为不被初始化（从 C++11 起，此情形被重新分类为默认初始化的一种形式）。 |
(C++11 前) |
|
在（引入值初始化的）C++03 前，表达式 new T()，以及带一个空括号对形式的指名基类或成员的成员初始化器，曾被分类为默认初始化，但对非类类型则指定为零初始化。 |
(C++03 前) |
|
若 |
(C++11 前) |
|
使用由默认初始化任何非类类型的变量所取得的不确定的值是未定义行为（特别是，它可能是一种陷阱表示），除了下列情况：
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 <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 被默认初始化（为不确定值） }