比特菲尔德（Bitfield）是否将整个类型的整个INT视为常见的初始序列？

Question

我想知道以下内容是否有效C ++：

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

我想要这个，以便我可以单独访问 generation index ，这可以使整个数字访问。既然它们都是 std :: uint32_t ，那么这不应该是ub吗？

我计划这样使用它：

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

auto my_id_value = std::uint32_t{id.value};

如果是UB，是否有另一种方法可以使这项工作并根据C ++标准有效？

Answer 1

通过

该措辞仍然可以在在当前的草稿中，包括一个示例清楚地说明与非静态数据成员相同类型的比特场将不是常见初始序列的一部分。

因此， [class.mem.general] 25 << /a>允许在联合标准类中的常见初始序列中访问非活动成员，在您的情况下不适用于 id.value auto> auto my_id_value = std： ：uint32_t {id.value}; 具有未定义的行为。