基于union的C++模板函数是否符合标准？是否违反别名规则？

我写了一个作为序列生成器组成部分的模板函数，用union方案替代手动移位让操作更清晰，这段代码在测试过的编译器中运行正常。但我担心它违反了别名规则，可能在未来版本或GCC、Clang以外的编译器中失效。

严格从C++标准角度出发，下述代码是否格式良好？是否存在未定义行为？

template <int BITS>
uint64_t flog2(uint64_t num) {
    constexpr uint64_t MAXNUM = (uint64_t(1) << BITS);    
    if (num < MAXNUM) return num; 
    union FP {
        double dbl;
        struct {
            uint64_t man: 52;
            uint32_t exp: 11;
            uint32_t sign: 1;
        };
        struct {
            uint64_t xman: 52-BITS;
            uint32_t xexp: 11+BITS;
            uint32_t xsgn: 1;
        };
    };
    FP fp;
    fp.dbl = num;
    fp.exp -= 1023-1+BITS;
    return fp.xexp;
}

回答 #

这段代码存在两处不符合C++标准的问题，属于格式不良且包含未定义行为：

1. 匿名结构体是编译器扩展，非标准C++特性
   C标准从未允许匿名结构体的使用，当前代码中的匿名struct是GCC、Clang等编译器提供的非标准扩展。在严格遵循标准的编译器（如启用严格模式的MSVC）下，这段代码会直接编译失败，因此不属于格式良好的C代码。

2. 访问union的非活跃成员属于未定义行为
   根据C++标准，union中同一时间只有一个成员处于活跃状态——即最近被写入的成员。你先给fp.dbl赋值，随后直接读取exp和xexp成员，这属于访问union的非活跃成员，完全违反标准规定，属于未定义行为。
   虽然GCC、Clang等编译器出于实用目的支持这种类型双关操作，但这并非标准要求，未来编译器版本或其他厂商的编译器可能会对此进行优化，导致代码逻辑失效或输出错误结果。

合规实现建议 #

如果要合法实现相同逻辑，标准C++推荐使用std::memcpy进行类型双关：将double的字节内容复制到uint64_t变量中，再手动解析对应的位域。这种方式完全符合标准，能保证跨编译器的兼容性。

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