由placement new创建的普通类型的生存期从什么时候开始?

在深入研究动态记忆的过程中,我突然想到,琐碎的类型是如何开始其一生的,这似乎是矛盾的。考虑一下这个片段

void* p = ::operator new(sizeof(int));  // 1
// 2
new (p) int; // 3

什么时候 int 开始其生命周期?

1. 仅获取存储, ::operator new 指定具有以下效果(从 [new.delete.single] )

   由新表达式调用的分配函数,用于分配大小字节的存储。[...] 分配适当对齐的存储以表示该大小的任何对象,前提是该对象的类型没有新的扩展对齐。

   考虑到获取存储 is insufficient 在创建对象时 内景 不可能在这里开始它的生命。

2. 此时,为 内景 已被收购。

3. 这个 内景 通过放置新建创建。但不知何故,它的生命并不是从这里开始的,因为 [basic.life]

   [...] 如果一个对象属于类或聚合类型,并且它或它的一个子对象是由一个构造函数(而不是一个普通的默认构造函数)初始化的,则称其具有非真空初始化。类型的对象的生存期 T 开始时间:

   • 存放时应保持适当的对齐和尺寸 T 获得,以及

   • 如果对象具有非真空初始化,则其初始化已完成[…]

   内景 既不是类也不是聚合类型,因此它的初始化是空的。因此,只有第一个项目符号适用。然而,这显然不是在获得存储的时候,因此不能是在其生存期开始的时候。

一些上下文

配置器 are required 返回内存而不构造其元素。然而,这对于琐碎的类型没有意义。的影响 a.allocate(n) 具有 a 类型的分配器对象 T 是

内存分配给 n 类型的对象 T 但对象不是构造的。