深入理解内存对齐：原理、优化与跨平台实践

1. 内存对齐的本质与底层逻辑

现代计算机体系结构中，内存对齐（Memory Alignment）从来都不是可有可无的优化选项，而是处理器与内存子系统协同工作的基础契约。当我们在C/C++中声明一个结构体时，编译器在背后进行的对齐操作，实际上是硬件层面访存粒度（Access Granularity）在高级语言中的映射。

以x86-64架构为例，CPU通过内存控制器每次从DRAM读取64位宽的数据块。假设我们有一个int32_t变量存储在0x0003地址，处理器必须执行两次内存读取（0x0000和0x0008）然后拼接出目标值，这会导致明显的性能惩罚。更极端的情况出现在某些RISC架构（如ARM Cortex-M）上，未对齐访问会直接触发硬件异常。

结构体对齐的经典示例：

c复制struct BadLayout {
    char c;     // 1字节
    int i;      // 通常4字节对齐
    double d;   // 通常8字节对齐
};

在64位系统上，这个结构体实际占用24字节（1+3填充+4+4填充+8），而非表面上的13字节。编译器默认会按照成员中最严格的对齐要求（此处是double的8字节）来布局整个结构体。

关键认知：对齐不是编译器的任性行为，而是现代CPU的物理特性决定的。理解这一点是避免对齐陷阱的基础。

2. 自然对齐的硬件真相

自然对齐（Natural Alignment）指的是数据对象的地址是其自身大小的整数倍。这个概念看似简单，但在不同架构下的表现差异巨大：

• x86/x64：容忍非对齐访问但性能下降，SIMD指令（如SSE/AVX）严格要求对齐
• ARMv7：允许非对齐访问但可能产生对齐故障（Alignment Fault）
• ARMv8：默认允许非对齐访问但可能有性能代价
• MIPS/SPARC：非对齐访问直接引发总线错误

在嵌入式开发中，我们经常看到这样的代码：

c复制#pragma pack(push, 1)
typedef struct {
    uint8_t header;
    uint32_t sensor_data;
    uint16_t checksum;
} SensorPacket;
#pragma pack(pop)
``