依据C++标准，存储分配是否可与对象初始化过程分离？

结论 #

你的判断完全正确：初始化操作发生在第一条语句int i;，第二条语句i = 3;是赋值操作，不属于初始化流程。

标准依据 #

引自 [dcl.init.general/1]:
若对象未指定初始化器，则该对象被默认初始化。

引自 [basic.life/1]:
对象或引用的lifetime（生命周期）是其运行时属性。若变量被默认初始化，且当它为类类型或其（可能多维的）数组时该类类型拥有平凡默认构造函数，则称该变量完成了vacuous initialization（空初始化）。类型为T的对象的生命周期始于：

• 获取到符合类型T对齐和大小要求的存储，且
• 其初始化（如有）完成（包括空初始化）
  例外情况：若对象是联合体成员或其子对象，则其生命周期仅在该联合体成员是联合体中被初始化的成员时，或对应标准条款所述的场景下才开始。

引自 [basic.indet/1]:
当获取到自动或动态存储期对象的存储时，该对象拥有indeterminate value（不确定值）；若未对该对象执行初始化，则该对象会保留不确定值，直到该值被替换。
[注1：静态或线程存储期的对象会被零初始化。——注结束]

流程解释 #

对应示例代码：

int main() {
    int i;
    i = 3;
    return 0;
}

执行int i;时，首先为自动存储期的变量i分配符合int类型对齐、大小要求的栈存储，随后完成默认初始化（对于int这种标量类型，默认初始化无实际赋值操作），此时i的生命周期正式开启，持有不确定值，完全符合上述标准条款的规定。
执行i = 3;时，仅为普通的赋值操作，作用是将i持有的不确定值替换为3，不属于初始化流程。

关于存储分配与初始化的分离 #

你的推论成立，标准层面确实允许存储分配和对象初始化两个步骤分离：

• 最典型的实现是定位new（placement new）语法：你可以先通过malloc、aligned_alloc等接口拿到符合要求的裸存储，再调用定位new在已分配的存储上构造对象，两个步骤完全独立。
• C++标准库的allocator设施也是按这个逻辑设计：allocate()成员仅负责分配足够大小、符合对齐要求的存储，construct()成员负责在已分配的存储上初始化对应类型的对象，两者解耦。

内容的提问来源于stack exchange，提问作者Géry Ogam