C语言是否存在结构体紧凑且不牺牲对齐的编译选项？

问题背景 #

我使用GCC，但希望找到跨编译器通用的方案：是否存在编译选项，能让struct B的大小和struct AB完全相同（均为8字节），同时保留所有字段的对齐特性，放入数组时也满足对齐要求？

我试过__attribute__ ((__packed__, aligned(4)))，但效果和未加属性一致，结构体大小仍按对齐要求向上取整。我认为这种优化可以在不影响字段查找性能和易用性的前提下节省大量空间，只需要编译器为每个结构体存储（实际大小，对齐要求）两组信息即可。

测试代码如下：

#include <stdio.h>
#include <stdint.h>

struct A { // 理论大小：6字节（实际为8字节）
  uint32_t a0; // 4字节
  uint16_t a1; // 2字节
};

struct B { // 理论大小：8字节（实际为12字节）
  struct A b0; // 6字节
  uint16_t b1; // 2字节
};

struct AB { // 理论大小：8字节（实际为8字节）
  uint32_t a0; // 4字节
  uint16_t a1; // 2字节
  uint16_t b1; // 2字节
};

// 有一定效果，但牺牲了对齐特性
struct __attribute__ ((__packed__)) Ap {
  uint32_t a0; // 4字节
  uint8_t a1;  // 1字节
};
struct __attribute__ ((__packed__)) Bp {
  struct Ap b0;
  uint16_t  b1;
};

int main() {
  printf("sizeof(A)  = %u\n", sizeof(struct A));  // 8 （非预期的6）
  printf("sizeof(B)  = %u\n", sizeof(struct B));  // 12（非预期的8）
  printf("sizeof(AB) = %u\n", sizeof(struct AB)); // 8 （符合预期）
  printf("sizeof(Ap) = %u\n", sizeof(struct Ap)); // 5 （符合预期）
  printf("sizeof(Bp) = %u\n", sizeof(struct Bp)); // 8 （非预期的7）
  return 0;
}

为什么默认做不到？ #

C语言的结构体布局有硬性规则：结构体的总大小必须是其最大对齐要求的整数倍。这是为了保证数组中每个元素的起始地址都满足对齐要求——如果结构体大小不是对齐值的倍数，数组里后续元素的起始位置会偏离对齐边界，触发未定义行为。

• struct A的最大对齐要求是4字节（来自uint32_t），所以实际大小会被填充到8字节（6向上取整到4的倍数）。
• 当struct A作为struct B的成员时，struct B的最大对齐要求同样是4字节；struct A占8字节，加上uint16_t b1的2字节，总大小会被填充到12字节（10向上取整到4的倍数）。
• 而struct AB是扁平结构，所有字段的总字节数刚好是8，且是最大对齐值4的倍数，所以实际大小就是8字节。

__attribute__((packed))虽然能取消结构体内部的填充，但结构体本身的对齐要求依然会强制总大小向上取整——比如struct Bp中，uint16_t b1要求2字节对齐，所以struct Ap（大小5）后面会被填充1字节，再加上b1的2字节，总大小7，最终还要向上取整到2的倍数，也就是8字节，这就是为什么达不到预期效果。

通用方案的限制 #

目前没有跨编译器的通用编译选项能实现你想要的效果，因为这直接违反了C标准中结构体大小必须是其对齐要求整数倍的规则。编译器必须保证数组中每个元素的起始地址都满足对齐要求，所以每个元素的大小必须是对齐值的倍数，否则会破坏数组的布局。

可行的替代方案 #

你目前使用宏展开扁平结构体的方法是最可靠的通用解决方案，它既能保证字段对齐，又能消除额外填充：

#define STRUCT_A  \
  uint32_t a0; \
  uint16_t a1

struct AB {
  STRUCT_A;    // 6字节
  uint16_t b1; // 2字节
};

这种方案的优势：

• 完全符合C标准，跨所有主流编译器兼容
• 保留所有字段的原生对齐特性，字段访问性能不受影响
• 结构体大小等于所有字段的总字节数，没有多余填充

如果必须保留结构体嵌套的形式，部分编译器的扩展特性也无法满足需求：GCC/Clang的__attribute__系列属性只能控制结构体的对齐或内部填充，无法突破“总大小是对齐倍数”的规则。

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