C++ union中位域能否与同类型uint32_t构成公共初始序列

你写的这个union实现存在未定义行为（UB），不符合C++标准规范，你认为“成员都是std::uint32_t就没有UB”的判断是错误的。

你写的原代码如下：

union id {
    struct {
        std::uint32_t generation : 8;
        std::uint32_t index : 24;
    };
    std::uint32_t value;
};

为什么存在UB #

• 第一，C++标准对union的活跃成员有严格约束：同一时间union内只能有一个成员处于活跃状态（也就是最后一次写入的成员）。你用指定初始化器给匿名结构体内的generation和index赋值后，这个匿名结构体是当前的活跃成员，直接读取value属于访问非活跃成员，标准不保证该行为的结果。
• 第二，哪怕你用编译器扩展绕开了union活跃成员的限制，C++位域的内存布局本身就是实现定义的，没有统一标准约束：
  • 位域在存储单元内的分配顺序（高地址位在前还是低地址位在前）由编译器决定
  • 同类型相邻位域是否会被打包到同一个32位存储单元，标准仅做建议不做强制
  • 位域之间的对齐填充规则同样由实现决定，无法保证这个匿名结构体的内存排布和单个std::uint32_t完全重合

你给出的预期使用代码里，除了UB问题，还有一处笔误：读取value时应该用实例名my_id而不是类型名id：

auto my_id = id{
    .generation = 1,
    .index = 4,
};

auto my_id_value = std::uint32_t{my_id.value}; // 原代码写id.value属于语法错误

补充说明：在x86平台、GCC/Clang/MSVC的默认配置下，这段代码大概率能跑出你预期的结果，但这属于编译器实现的扩展行为，不属于标准保证的范畴，开特殊优化选项、换其他编译器、换不同端序的硬件平台都可能出现不符合预期的结果。

最稳妥、零UB、全平台兼容的方案是放弃位域+union的写法，用显式位运算实现拆分和合并，性能和直接访问位域完全一致（开O2优化后编译器会把位运算优化成直接的内存访问，没有额外开销）：

#include <cstdint>

struct id {
    std::uint32_t value;

    constexpr std::uint32_t generation() const noexcept {
        return (value >> 24) & 0xFFu;
    }
    constexpr void set_generation(std::uint32_t gen) noexcept {
        value = (value & 0x00FFFFFFu) | ((gen & 0xFFu) << 24);
    }
    constexpr std::uint32_t index() const noexcept {
        return value & 0x00FFFFFFu;
    }
    constexpr void set_index(std::uint32_t idx) noexcept {
        value = (value & 0xFF000000u) | (idx & 0x00FFFFFFu);
    }
};

// 使用示例
constexpr id my_id{ .value = (1u << 24) | 4u }; // 对应generation=1、index=4
// 也可以用set方法赋值
// id my_id{};
// my_id.set_generation(1);
// my_id.set_index(4);
constexpr auto my_id_value = my_id.value;
static_assert(my_id.generation() == 1);
static_assert(my_id.index() == 4);

如果你一定要保留obj.generation、obj.index的直接成员访问语法，只能在明确知晓目标编译器位域布局规则的前提下，用std::memcpy避开union访问非活跃成员的UB，但这个方案仍然存在位域布局依赖实现的问题，不具备跨平台兼容性：

#include <cstdint>
#include <cstring>

union id {
    struct {
        std::uint32_t generation : 8;
        std::uint32_t index : 24;
    };
    std::uint32_t value;
};

constexpr std::uint32_t get_value(const id& obj) noexcept {
    std::uint32_t res;
    std::memcpy(&res, &obj, sizeof(res));
    return res;
}

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