编译器能否通过将结构体置于非对齐地址避免结构体填充？

先给出结论：理论上存在这种可能性，但实际中没有编译器会这么做，也完全不具备可行性。

理论层面的可能性 #

针对你给出的结构体：

struct {
    char c;
    uint32_t i;
} my_struct_t;

uint32_t在多数架构下要求4字节对齐（即变量地址必须是4的整数倍）。如果能保证结构体的起始地址满足 addr % 4 == 3，那么成员i的地址就是addr + 1，刚好是4的整数倍，完全符合对齐要求——这时候结构体内部确实不需要填充，总大小可以是5字节（1+4），而非原来的8字节。

实际不可行的核心原因 #

• 架构与编译器的规则限制：几乎所有主流硬件架构和C语言编译器只支持2的幂次倍数的对齐要求（比如1、2、4、8字节对齐），这种“模4余3”的特殊偏移需求不在标准对齐规则范围内，编译器没有实现相关的地址分配逻辑。
• 内存分配机制不兼容：不管是堆内存分配（malloc等函数）、栈帧的自动布局，还是全局/静态变量的链接器分配，都是基于2的幂次对齐设计的，无法稳定分配满足addr %4 ==3的内存块。
• 结构体数组的致命问题：如果定义my_struct_t arr[2]，第一个结构体起始地址是x（x%4=3），第二个结构体的起始地址就是x+5，x+5 %4 = 0，此时第二个结构体中i的地址是x+5+1 = x+6，x+6%4=2，完全不满足uint32_t的对齐要求。这时候要么在数组元素之间额外填充3字节，要么破坏对齐引发硬件异常，本质上又回到了需要填充的情况，根本没达到节省空间的目的。
• 可移植性为零：就算有某个编译器通过私有扩展实现了这种特殊对齐，代码也无法在其他编译器或架构上运行，完全违背了C语言的可移植性设计原则。

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