以下短语在 C++ 中的含义是什么:
零初始化,
默认初始化,和
值初始化
C++ 开发人员应该对它们了解什么?
C++03 标准 8.5/5:
对T 类型的对象进行零初始化意味着:
— 如果 T 是标量类型 (3.9),则将对象设置为转换为 T 的值 0(零);
— 如果 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 的回答。
operator new
有关这些类型的初始化的不同行为以及它们何时启动(以及它们何时从 c++98 到 C++03 不同)的详细信息,请参阅有关行为的先前答案:
答案的要点是:
有时 new 运算符返回的内存将被初始化,有时它不会取决于您要更新的类型是 POD,还是包含 POD 成员的类并使用编译器生成的默认构造函数.
- 在 C++1998 中有两种类型的初始化:零和默认
- 在 C++2003 中,添加了第三种初始化类型,即值初始化。
至少可以说,这是相当复杂的,而且当不同的方法开始时是微妙的。
一定要注意的一件事是 MSVC 遵循 C++98 规则,即使在 VS 2008(VC 9 或 cl.exe 版本 15.x)中也是如此。
以下片段显示 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;
}