在指定编译器与端序平台下，该C++位域程序是否可判定为正确？

下述C++程序依赖对位域内存布局、类型双关及对象表示的假设，不具备可移植性，但有性能优势。若限定使用GCC或Clang编译器与小端序平台，能否判定该程序是正确的？

#include <cassert>
#include <cstdint>

union Data {
    uint8_t raw[2];
    struct __attribute__((packed)) {
        unsigned int field1: 3, field2: 3, field3: 1, field4: 2;
        unsigned int field5: 7;
    } interpreted;
};


int main() {
    static_assert(sizeof(Data) == 2, "Struct size incorrect");
    static_assert(__BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__, "Only little-endian platform support is currently implemented");
    static_assert(
        #if defined(__GNUC__) || defined(__clang__)
                    true,
        #else
                    false,
        #endif
            "Compiler is neither GCC nor Clang"
    );
    Data d{.raw{0x69, 0x01}};
    /**
     *
     * 0x69  = 0b0110 1001，0x01 = 0b0000 0001
     * 在小端序平台上，每个字节在内存中会以逆序排列，即
     * [1001 0110, 1000 0000]。
     * GCC和Clang编译器会按定义顺序布局结构体成员，且每个值会以小端序逆序解析，因此
     * field1: 100 = 0b001
     * field2: 101 = 0b101
     * field3: 1   = 0b1
     * field4: 01  = 0b10
     * field5: 0000000 = 0
     *
     * 因此，若前置断言均满足，以下断言将成立。
     */
    assert(d.interpreted.field1 == 1);
    assert(d.interpreted.field2 == 5);
    assert(d.interpreted.field3 == 1);
    assert(d.interpreted.field4 == 2);
    assert(d.interpreted.field5 == 0);
}

结论：在限定条件下程序是正确的，所有断言都会成立 #

关键依据： #

1. 联合体类型双关的合法性
   GCC和Clang均支持通过联合体访问非活跃成员的行为（这是C++标准未强制要求但编译器明确支持的扩展特性），因此通过raw数组初始化后访问interpreted结构体成员是合法的。

2. 位域的布局规则（GCC/Clang+小端序+packed属性）

   • __attribute__((packed)) 确保结构体无填充字节，静态断言sizeof(Data)==2已验证结构体大小与raw[2]完全匹配。
   • 在小端序平台上，GCC和Clang对无符号整型位域的布局规则是：从低地址字节的最低位开始，按声明顺序依次分配位域，跨字节时直接延续到下一个字节的最低位，不做字节对齐。
   • 具体内存解析：
     • raw[0] = 0x69（二进制01101001），raw[1] = 0x01（二进制00000001），联合体内存布局与raw数组完全一致。
     • field1（3位）：取raw[0]的最低3位 001 → 值为1；
     • field2（3位）：取raw[0]接下来的3位 101 → 值为5；
     • field3（1位）：取raw[0]的第7位 1 → 值为1；
     • field4（2位）：取raw[0]的第8位（0）和raw[1]的第1位（1），组成01 → 值为2；
     • field5（7位）：取raw[1]的第2到第8位 0000000 → 值为0。
       以上解析完全匹配代码中的断言。

3. 前置静态断言的保障
   代码中的静态断言已经确保：编译器是GCC/Clang、平台为小端序、结构体大小正确，直接排除了不符合运行条件的场景。

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