C++中空结构体与结构体填充字节是否允许为任意非零位模式？

问题对应的UB示例 #

存在如下触发未定义行为的C++代码：

union Flag {
    constexpr Flag() : empty{} {}

    struct {} empty;
    bool value;
};

static Flag flag;

int main() {
    return flag.value;
}

这段代码的UB来源非常清晰：访问联合体Flag时，读取的value成员并非联合体当前的激活成员——构造函数仅初始化了空结构体成员empty，后续却直接读取bool类型的value成员。

目前UBSan默认无法捕获这类错误，核心原因是UBSan没有内置追踪联合体最后写入（激活）成员的检查逻辑。针对这个特定场景，存在一种间接检测的思路：借助UBSan已有的bool类型非法值检查逻辑捕获UB——如果空结构体占用的字节被认定为「未初始化」或「可持有任意值」，编译器就可以合法将空结构体对应的字节设置为0/1以外的任意位模式，此时读取value时就会触发bool加载无效值的检查报错。

规范层面的明确结论 #

核心要确认的规则是：从C++语义规范层面，是否允许将空结构体的名义占用字节，以及更广义范畴内所有结构体的填充字节，初始化为任意非零位模式？

答案是完全允许，分两类场景具体说明：

• 空结构体的名义占用字节
  空类（含空结构体）的大小为大于0的实现定义值，这部分为了满足「不同对象必须拥有不同地址」规则而存在的1字节存储空间，不属于任何实际非静态数据成员的存储范围。值初始化空结构体时，标准仅要求空类对象的生命周期正常启动，完全没有对这部分仅作地址占位用途的字节的位模式做强制约束，编译器实现可以随意将其设置为任意位模式，自然包括0/1以外的非零值。
• 结构体/类的填充字节
  所有结构体、类中为满足内存对齐要求插入的填充字节，标准从未要求初始化阶段必须将其置零。无论是零初始化、值初始化还是默认初始化场景，填充字节的位模式都是完全未指定的，实现可以自由写入任意值，不需要保证值的合理性。

补充说明：上述规则刚好支撑了前面提到的UBSan间接检测方案：编译器可以主动给空类占位字节、结构体填充字节写入0/1以外的陷阱值，只要读取非激活联合体成员时恰好读到这些陷阱值，且读取的目标成员为bool类型，就会直接触发已有的非法bool值检查，不需要额外实现高开销的联合体激活成员全量追踪逻辑。

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