在C中，联合在任何给定时间只能有零个或一个活动成员，并且C标准提供了一些使成员活动的方法。一种方法是在像u.x = 3;这样的语句中直接赋值。在constexpr或consteval上下文中使用联合时，需要遵守这些规则，因为在这些情况下，编译器将拒绝违反对象生存期的代码。
但是，如果我们想通过指向成员的语法激活一个联合成员，使用像u.*member = 3;这样的语句怎么办？我创建了这个示例C++20程序来测试MSVC 19，Clang 16和GCC 13：

union U
{
    int x;
    int y;
};

template<auto member = &U::x>
constexpr void activate(U& u) noexcept
{
    u.*member = 3;
}
constexpr int get(U& u) noexcept
{
    return u.x;
}
constexpr int test() noexcept
{
    U u;
    activate(u);
    return get(u);
}
static constexpr int const result{test()};
int main()
{
    return result;
}

在compiler explorer上，MSVC 19和GCC 13似乎都接受程序并为其生成正确的汇编。然而，Clang 16用这个令人困惑的错误拒绝了它：

<source>:22:28: error: constexpr variable 'result' must be initialized by a constant expression
static constexpr int const result{test()};
                           ^     ~~~~~~~~
<source>:10:12: note: assignment to member 'x' of union with no active member is not allowed in a constant expression
        u.*member = 3;
                  ^
<source>:19:2: note: in call to 'activate(u)'
        activate(u);
        ^
<source>:22:35: note: in call to 'test()'
static constexpr int const result{test()};
                                  ^
1 error generated.

同样值得注意的是，如果我们在模板参数中将&U::x更改为&U::y，MSVC 19将错误诊断为由于激活了错误的联合成员，但GCC 13仍然接受程序并生成相同的汇编输出。如果我将y的类型从int更改为char，则GCC 13会像MSVC 19一样诊断问题。无论如何，Clang 16似乎总是对指向成员的指针语法不满意。当不在constexpr或consteval上下文中时，所有三个编译器都接受代码的所有变体，似乎constexpr计算是编译器开始不同的地方。
据我所知，只有MSVC或GCC的行为是正确的，而Clang没有正确处理指向成员的指针语法。但这准确吗？或者C++标准没有任何规定，可以用指向成员的语法来激活联合成员？
简单地说，如果有编译器的话，那么哪个编译器是正确的？