c - 如何使用 char 数组将位字段打包为短整数？

Question

在以下2个结构中，

typedef struct _a {
    short a1:13 __attribute__((packed));
    char a2[4]  __attribute__((packed));
} a;

typedef struct _b {
    short b1:10 __attribute__((packed));
    short b2:10 __attribute__((packed));
    short b3:12 __attribute__((packed));
} b;

在struct b中，我发现b2的位用b1打包，b3的位用b2打包。它最终产生 4 字节的值。

我期待与 struct a 类似的行为，但我没有看到相同的行为。前 2 个字节被 a1 占用(未使用的 5 位)，然后是 a2 的 4 个字节。

这种行为是预期的吗？为什么我不能将 char[4] 与 short:13 一起打包？有办法实现吗？

Answer 1

a2 不是位域，因此永远不会与 a1 放在一起。标准说

Values stored in non-bit-field objects of any other object type consist of n × CHAR_BIT bits, where n is the size of an object of that type, in bytes. The value may be copied into an object of type unsigned char [n] (e.g., by memcpy); the resulting set of bytes is called the object representation of the value.

所以这样的子对象必须是一个可寻址单元，并且没有异常(exception)。