malloc与内存对齐：malloc如何满足类型对齐要求？

首先纠正一个认知偏差：并非所有标准类型的对齐要求都是“起始地址为2的幂”，准确的规则是每个标准数据类型的对齐边界等于其自身大小（或大小的某个2的幂约数，通常与大小一致）。比如32位系统中int是4字节，需对齐到4字节地址；64位系统中long long或double是8字节，需对齐到8字节地址；部分支持SIMD指令的平台，16字节的向量类型则要求对齐到16字节地址。

接下来解答malloc的对齐实现逻辑：

• 标准C明确要求，malloc()返回的指针必须满足当前系统所有基本数据类型的最大对齐要求。也就是说，无论你调用malloc(8)还是malloc(1)，返回的地址都会对齐到系统规定的“最大对齐边界”（通常是当前平台最大基本类型的大小，比如64位系统一般是8字节，部分平台为16字节）。
• 这样设计的原因正是你提到的：malloc无法预知你后续会将这块内存用于存储何种类型。所以直接按最严格的对齐要求返回，就能保证无论你把指针转换成int*、double*还是其他标准类型指针，都能满足对应类型的对齐需求。
• 具体实现上，malloc在从操作系统获取原始内存块后，会计算并调整起始地址，让它落在符合最大对齐要求的位置。同时，malloc会在返回指针的前方存储一些元数据（比如分配的内存大小），这些元数据的长度也会被设计为对齐边界的整数倍，确保返回的用户指针不受影响。

举个例子：假设64位系统的最大对齐边界是8字节，malloc拿到的原始内存起始地址是0x1001（不对齐），它会调整到下一个8字节对齐地址0x1008，返回这个地址给用户，而0x1001到0x1007的空间就用来存储元数据。

内容的提问来源于stack exchange，提问作者P.Jo