C++标准中vacuous initialization（空初始化）概念存在的必要性是什么

为什么C++标准要专门定义vacuous initialization（空初始化）概念？ #

这两个表述看似等价，但实际上空初始化的定义是为了消除标准文本的歧义，填补不同类型初始化规则之间的逻辑空白，绝非冗余设计。

vacuous initialization（空初始化）的概念在C++标准[basic.life/1]章节中引入，仅用于生命周期规则的描述，标准原文对该概念的定义及相关生命周期规则如下：

对象或引用的lifetime（生命周期）是对象或引用的运行时属性。如果变量是默认初始化（default-initialized）的，且当它属于类类型或其（可能多维的）数组类型时该类类型拥有平凡默认构造函数，则称该变量进行了vacuous initialization。类型为T的对象的生命周期始于：

• 已获取到类型T所需正确对齐和大小的存储空间，且
• 其初始化（如果有的话）已完成（包括vacuous initialization）

很多开发者会觉得这个定义多余：毕竟空初始化属于默认初始化的子集，对类/数组类型来说属于有初始化，对标量类型来说属于无初始化，完全可以被“初始化（如果有的话）”的表述覆盖，甚至下面的简化版规则看起来和原规则完全等价：

对象或引用的lifetime（生命周期）是对象或引用的运行时属性。类型为T的对象的生命周期始于：

• 已获取到类型T所需正确对齐和大小的存储空间，且
• 其初始化（如果有的话）已完成

但这种简化实际上会带来严重的表述歧义，核心问题出在平凡默认构造函数的特殊性质上：

• 拥有平凡默认构造函数的类，默认初始化时会触发构造函数调用，但这个构造函数不会执行任何实际操作，既没有成员赋值，也没有其他可观测的副作用。
• 要是没有空初始化的明确定义，标准文本中的“初始化（如果有的话）”就会出现解读分歧：部分人会认为“既然初始化没有执行任何实际操作，就等于没有初始化过程”，进而判定这类对象在分配存储空间后生命周期还未开始，这和C++标准的设计意图完全相悖。

空初始化的定义就是专门把这种「存在初始化流程、但无任何实际操作」的情况明确归类为已完成的初始化，直接堵上了歧义的口子，让生命周期规则的边界完全清晰：

• 标量类型默认初始化：属于无初始化，分配存储空间后生命周期直接开始
• 类/数组类型，拥有非平凡默认构造函数：初始化完成（构造函数执行完毕）后生命周期开始
• 类/数组类型，拥有平凡默认构造函数：空初始化完成（即构造函数调用完成，哪怕未执行任何操作）后生命周期开始

所有场景都被明确覆盖，没有任何模糊空间。

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