零初始化

来自cppreference.com
< cpp‎ | language
 
C++
 
C++ 语言
 
初始化
 

将一个对象的初始值设为零。

语法

注意零初始化在语言中没有专用语法，因此下列语法不是零初始化语法。这些是可能会进行零初始化的其他初始化的例子。

static T 对象 ; (1)
T () ;

T t = {} ;
T {} ;

(2)

(C++11 起)
CharT 数组 [ n ] = ""; (3)

解释

在下列情形进行零初始化：

1) 在所有其他初始化前，对每个具有静态或线程局部 (C++11 起)存储期的，不进行常量初始化的具名变量。
2) 作为非类类型变量，和被值初始化的无构造函数的类类型的成员的值初始化序列的一部分，包括未提供初始化器的聚合体元素的值初始化。
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 曾指定始终首先进行零初始化，甚至先于常量初始化 如果适用常量初始化则不进行零初始化

参阅

来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/language/zero_initialization&oldid=71646”