C++隐式对象创建是否必然发生在存储返回位置？标准解读问询

[intro.object]章节似乎表明，至少对于返回指针的操作，隐式对象创建会发生在返回的位置：

此外，在指定存储区域内隐式创建对象后，某些操作会生成指向合适创建对象的指针。这些操作会选择地址为存储区域起始地址的隐式创建对象之一，并生成指向该对象的指针值。
...

除常量求值期间外，任何对名为operator new或operator new[]函数的隐式或显式调用，都会在返回的存储区域内隐式创建对象，并返回指向合适创建对象的指针。

示例代码如下：

#include <cstddef>
#include <memory>
struct S {
    int i;
};
int main() {
    std::byte* storage = new std::byte[100];
    S* ptr = std::launder(reinterpret_cast<S*>(storage + sizeof(S)));
    ptr->i = 42;
    int ret = ptr->i;
    delete[] storage;
    return ret;
}

我理解标准的精神是，只要程序行为良好，隐式对象可以在存储中的任意位置创建，但标准措辞似乎并非如此。想请教关于隐式对象创建位置的标准正确含义是什么？是否需要参考其他章节？

解答 #

1. 隐式对象创建的核心规则

   • [intro.object]#14和#16的措辞仅针对返回指针的操作（如operator new），明确这类操作会在其返回的存储起始地址创建对象，但这只是隐式对象创建（IOC）的一种触发场景，而非全部限制。
   • 标准中IOC的通用规则来自[intro.object]#8：当程序的操作需要某个对象存在于某存储区域，且该区域的对齐、大小均符合对象类型要求时，编译器会隐式在该位置创建对象。

2. 示例代码的合法性分析
   示例里storage + sizeof(S)的地址满足S的对齐要求（std::byte数组的对齐度至少覆盖基本类型，S的对齐由int决定，必然符合），且空间足够容纳S。当执行ptr->i = 42时，程序的行为要求该地址存在一个S对象，此时标准会触发隐式对象创建，后续的访问操作完全合法。

3. 需参考的补充章节

   • [intro.object]#8：IOC的核心通用触发条件定义。
   • [basic.life]#10：补充说明对象生命周期开始的条件，包含隐式创建的场景。

简言之，你对标准“精神”的理解是正确的——只要存储满足对齐和大小要求，且程序行为需要，隐式对象可以在存储的任意合适位置创建；[intro.object]#14和#16只是针对特定操作的具体说明，并非限制IOC的位置只能是存储起始地址。

内容的提问来源于stack exchange，提问作者Oersted