POD 类初始化放置新的默认初始化？

Question

如果我使用placement new 初始化一个POD 类，我可以假设内存将被默认初始化（为零）吗？ This resource 明确指出，如果您显式调用零参数默认构造函数，则字段将被默认初始化，但尚不清楚使用placement new 的默认实现（传递地址）是否会成立。在这种情况下，将内存归零是标准行为吗？

Answer 1

从头开始：

5.3.4/15：

• 如果 new-initializer 的格式为 ()，则该项目为值初始化 (8.5)；

8.5/5：

值初始化一个 T 类型的对象意味着：

• 如果 T 是具有用户声明的构造函数 (12.1) 的类类型（第 9 条），则调用 T 的默认构造函数（如果 T 没有可访问的默认构造函数，则初始化是非良构的）；

• 如果 T 是没有用户声明的构造函数的非联合类类型，则 T 的每个非静态数据成员和基类组件都是值初始化的；

• 如果T是一个数组类型，那么每个元素都是值初始化的；

• 否则，对象被零初始化

第一个项目符号在这里不适用，因为你有一个 POD 类型，因此你不能有一个用户声明的构造函数。您的类型的成员只能是 POD 类型，例如 int、float 等，或者也是 POD 或 POD 类型数组的嵌套结构。所以最终他们每个人都以最后一个项目符号结束：“否则，对象被零初始化”。

发生这种初始化是因为 POD 类在您提供的内存中进行了初始化。内存是由操作系统分配的还是您提供了地址都没有关系。

所以，恕我直言，答案是肯定的 - 成员将被零初始化。