内存对齐通过使数据起始地址匹配硬件读取边界来加速数组访问；CPU按固定宽度（如8字节）批量读取，未对齐会导致多次读取、拼接甚至崩溃，结构体成员重排、显式对齐声明和分配时对齐是三大优化要点。

内存对齐能加速数组访问，核心在于让数据起始地址匹配硬件一次读取的边界。CPU不按字节、而按固定宽度（如8字节）从内存总线抓取数据；若数组元素未对齐，单次访问无法完整获取一个值，必须跨边界读两次再拼接——这直接拖慢速度，甚至在ARM等架构上引发崩溃。

硬件读取机制决定对齐必要性

CPU访问内存不是“逐字节扫描”，而是以“传输粒度”为单位批量搬运。64位系统典型粒度是8字节，缓存行常见为64字节。这意味着：

• 对齐的数组元素（如int从0x1000开始）可被单次总线操作完整载入寄存器
• 未对齐元素（如int从0x1001开始）横跨两个8字节块，触发两次独立读取+位移拼接
• 跨缓存行的结构体（如一个16字节结构体起始于0x103F）会导致一次访问触发两个缓存行加载，浪费带宽并增加延迟

数组元素对齐直接影响访存效率

普通数组（如int arr[1000]）默认按int自身大小（4字节）对齐，通常足够；但自定义结构体数组才是性能瓶颈高发区。例如：

• struct { char flag; int value; } data[1000]; 中每个元素因flag打头，value被迫落在偏移4处——看似对齐，但整个结构体大小为8字节（含3字节填充），数组连续存放时，value始终在每项的+4位置，仍满足4字节对齐
• 真正危险的是struct { char a; double b; }：若b需8字节对齐，而a占1字节，则编译器在a后插入7字节填充，使结构体大小达16字节；此时数组首地址若非16的倍数，b就必然错位

优化数组访问的三个实操要点

无需重写全部逻辑，聚焦关键结构体即可见效：

• 成员重排：把大类型成员（double、指针）放前面，小类型（char、bool）集中放后面，减少填充。例如struct { double b; int i; char c; }比struct { char c; double b; int i; }更紧凑
• 显式对齐声明：对高频访问的数组类型，用__attribute__((aligned(64)))强制按缓存行对齐，避免伪共享。适用于多线程频繁读写的数组头
• 分配时对齐：用aligned_alloc(64, size)替代malloc，确保整个数组内存块起始地址对齐，尤其对SIMD向量化计算至关重要