零初始化
来自cppreference.com
将一个对象的初始值设为零。
语法
注意零初始化在语言中没有专用语法,因此下列语法不是零初始化语法。这些是可能会进行零初始化的其他初始化的例子。
static T 对象 ;
|
(1) | ||||||||
T () ;
T t |
(2) | (C++11 起) | |||||||
CharT 数组 [ n ] = "";
|
(3) | ||||||||
解释
在下列情形进行零初始化:
零初始化的效果是:
- 如果
T
是标量类型,那么对象初值是显式转换到T
的整型常量零。
- 如果
T
是非联合体类类型,那么零初始化它的所有基类和非静态数据成员,并初始化所有填充位为零位。忽略可能存在的构造函数。
- 如果
T
是联合体类型,那么零初始化首个非静态的具名数据成员,并零初始化所有填充位为零位。
- 如果
T
是数组类型,那么零初始化每个元素。
- 如果
T
是引用类型,那么不做任何事。
注解
如非局部初始化中所述,在进行任何其他初始化前,零初始化所有未被常量初始化的静态和线程局部 (C++11 起)变量。如果非类类型非局部变量的定义没有初始化器,那么默认初始化不做任何事,不修改先前零初始化的结果。
零初始化的指针是其类型的空指针值,即使空指针的值并非整型的零。
示例
运行此代码
#include <string> #include <iostream> struct A { int a,b,c; }; double f[3]; // 零初始化为三个 0.0 int* p; // 零初始化为空指针值(即使该值可能不是整型 0) std::string s; // 零初始化为不确定值 // 再通过 std::string 的默认构造函数默认初始化为 "" int main(int argc, char* argv[]) { delete p; // 可以安全删除空指针 static int n = argc; // 零初始化为 0 // 然后复制初始化为 argc std::cout << "n = " << n << '\n'; A a = A(); // 效果等同于 A a{}; 或 A a = {}; std::cout << "a = {" << a.a << ' ' << a.b << ' ' << a.c << "}\n"; }
输出:
n = 1 a = {0 0 0}
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
CWG 2026 | C++98 | 曾指定始终首先进行零初始化,甚至先于常量初始化 | 如果适用常量初始化则不进行零初始化 |