以下短语在 C++ 中是什么意思：零初始化、默认值初始化和值初始化？

C++03 标准 8.5/5：

对 T 类型的对象进行零初始化意味着：
— 如果 T 是标量类型 （3.9），则将对象设置为值 0（零）转换为 T;
— 如果 T 是非联合类类型，则每个非静态数据成员和每个基类子对象都是零初始化的;
— 如果 T 是联合类型，则对象的第一个命名数据成员初始化为零;
— 如果 T 是数组类型，则每个元素初始化为零;
— 如果 T 是引用类型，则不执行初始化。

默认初始化 T 类型的对象意味着：
— 如果 T 是非 POD 类类型（子句 9），则调用 T 的默认构造函数（如果 T 没有可访问的默认构造函数，则初始化格式不正确）;
— 如果 T 是数组类型，则每个元素都是默认初始化的;
— 否则，对象初始化为零。

对 T 类型的对象进行值初始化意味着：
— 如果 T 是具有用户声明的构造函数 （12.1） 的类类型（子句 9），则调用 T 的默认构造函数（如果 T 没有可访问的默认构造函数，则初始化格式不正确）;
— 如果 T 是没有用户声明的构造函数的非联合类类型，则 T 的每个非静态数据成员和基类组件都是值初始化的;
— 如果 T 是数组类型，则每个元素都经过值初始化;
— 否则，对象初始化为零

调用引用类型实体的默认初始化或值初始化的程序格式不正确。如果 T 是 cv 限定类型，则 T 的 cv 非限定版本用于零初始化、默认初始化和值初始化的这些定义。

需要意识到的一件事是，“值初始化”是 C++ 2003 标准的新内容——它在最初的 1998 标准中不存在（我认为这可能是唯一的区别，而不仅仅是澄清）。参见 Kirill V. Lyadvinsky 的答案，了解直接来自标准的定义。

有关这些类型的初始化的不同行为以及它们何时启动（以及它们从 c++98 到 C++03 的不同时间）的详细信息，请参阅之前关于行为的答案：operator new

• 类型名称后面的括号是否与 new 有区别？

答案的要点是：

有时，new 运算符返回的内存将被初始化，有时则不会初始化，具体取决于您要更新的类型是 POD，还是包含 POD 成员的类并使用编译器生成的默认构造函数。

• 在 C++1998 中，有两种类型的初始化：零初始化和默认初始化
• 在 C++2003 中，添加了第三种初始化类型，即值初始化。

至少可以说，它相当复杂，当不同的方法发挥作用时，它是微妙的。

需要注意的一件事是，即使在 VS 2008（VC 9 或 cl.exe 版本 15.x）中，MSVC 也遵循 C++98 规则。

以下代码片段显示 MSVC 和 Digital Mars 遵循 C++98 规则，而 GCC 3.4.5 和 Comeau 遵循 C++03 规则：

#include <cstdio>
#include <cstring>
#include <new>

struct A { int m; }; // POD
struct B { ~B(); int m; }; // non-POD, compiler generated default ctor
struct C { C() : m() {}; ~C(); int m; }; // non-POD, default-initialising m

int main()
{
    char buf[sizeof(B)];
    std::memset( buf, 0x5a, sizeof( buf));

    // use placement new on the memset'ed buffer to make sure 
    //  if we see a zero result it's due to an explicit 
    //  value initialization
    B* pB = new(buf) B();   //C++98 rules - pB->m is uninitialized
                            //C++03 rules - pB->m is set to 0
    std::printf( "m  is %d\n", pB->m);
    return 0;
}