C++共用初始序列Union访问非活跃成员，为何在constexpr中触发UB？

核心原因可以从标准规则、编译器实现细节两个层面拆解：

1. constexpr上下文的联合访问有版本专属限制 #

C++标准里的共用初始序列例外，是针对运行时的联合访问规则，但constexpr表达式的规则一直更严格：

• C++17及更早版本：不管是否满足共用初始序列条件，constexpr里绝对禁止访问联合的非活跃成员，直接属于未定义行为。
• C++20才放开限制：允许在constexpr中通过非活跃成员访问共用初始序列内的成员，但前提是两个结构体均为标准布局类型，且共用初始序列的成员完全匹配。

如果你的代码是用C++17或更早版本编译，哪怕结构体符合共用初始序列要求，GCC报错完全符合标准规定。

2. GCC对C++20该特性的支持有版本门槛 #

即使你指定了-std=c++20编译选项，也不是所有GCC版本都能正确识别这个规则。GCC 11及以后才完整支持constexpr中联合共用初始序列的访问逻辑，更早的版本（比如GCC 10及之前）依然会按照旧规则判定该访问为UB。

3. 需确认模板结构体真的满足标准布局要求 #

共用初始序列的例外规则有个核心前提：两个结构体必须是标准布局类型。如果你的模板结构体A/B存在以下情况，就不满足该前提：

• 包含虚函数或虚基类
• 混合了public/private/protected权限的非静态成员
• 继承了非标准布局的基类
• 存在会破坏标准布局的特殊成员（比如匿名联合体）

只要不满足标准布局，共用初始序列的例外就不生效，访问非活跃成员自然会被判定为UB。

举个典型场景的代码示例：

template <typename T>
struct A {
    int e0;
    T val;
};

template <typename T>
struct B {
    int e0;
    T val;
};

union AB {
    A<int> a;
    B<int> b;
};

constexpr int test() {
    AB ab;
    ab.a.e0 = 1;
    return ab.b.e0; // GCC在C++17下报错，C++20+ GCC11+可正常通过
}

这种场景下，换用GCC 11及以上版本并指定-std=c++20编译，就能正常通过，不会再判定为UB。

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