第23章内存对齐的数学原理

课程目录第23章内存对齐的数学原理

23、内存对齐的数学原理：地址对齐的二进制表示、对齐与取模运算的关系

说到内存对齐，很多同学第一反应就是「加个 #pragma pack 就完事了」。但说实话，如果你不理解对齐背后的数学原理，遇到奇葩的硬件平台或者自己手写内存分配器时，很容易翻车。我早年做嵌入式开发时就吃过这个亏——一个结构体因为对齐问题，在 ARM 和 x86 上跑出了完全不同的结果。

今天咱们就把这块硬骨头啃下来。说白了，对齐的数学原理并不复杂，核心就两样东西：二进制表示和取模运算。

先问一个问题：什么叫「地址对齐到 4 字节」？

用大白话说就是：地址值能被 4 整除。比如地址 0x1000、0x1004、0x1008 都是 4 字节对齐的，而 0x1001、0x1002、0x1003 都不是。

但如果你从二进制的角度看，会发现一个更漂亮的规律。咱们拿 4 字节对齐举例：

看出来了吗？4 字节对齐的地址，低 2 位永远是 0。同理：

核心结论：对齐到 2^k 字节，等价于地址的低 k 位全部为 0。

这个规律非常有用。我后来写内存池时，判断一个地址是否对齐，根本不用取模运算，直接看低几位就行——效率高得多。

刚才说了，对齐的本质是「地址能被对齐值整除」。用数学语言表达就是：

地址 % 对齐值 == 0

但这里有个坑——这个公式只在对齐值是 2 的幂时才成立。你想想看，如果要求 3 字节对齐呢？地址 % 3 == 0？嗯，从数学上讲没错，但硬件根本不会这么干。因为 CPU 设计时只支持 2 的幂次对齐，这是由地址总线的位宽决定的。

我见过有人写代码时用了 #pragma pack(3)，结果编译器直接忽略或者报 warning。为什么？因为 3 不是 2 的幂，硬件没法高效处理。

所以实际工程中，我们只关心 2 的幂次对齐。这时候取模运算可以简化成位运算：

// 判断地址 addr 是否对齐到 2^k
// 方法一：取模
if (addr % (1 << k) == 0) { ... }

// 方法二：位运算（推荐）
if ((addr & ((1 << k) - 1)) == 0) { ... }

举个例子，判断地址是否 8 字节对齐（k=3）：

// 8 = 2^3，掩码为 7（二进制 111）
if ((addr & 7) == 0) {
    // 对齐了
}

位运算比取模快一个数量级。我在优化网络协议栈时，把所有对齐检查都改成了位运算，性能提升很明显。

实际编码中，我们经常需要把一个地址「向上对齐」到某个边界。比如分配内存时，如果起始地址是 0x1001，要把它对齐到 4 字节，就得变成 0x1004。

这个操作的数学公式是：

aligned_addr = (addr + (align - 1)) & ~(align - 1)

别被吓到，拆开看其实很简单。以 4 字节对齐为例：

举个例子：addr = 0x1001

0x1001 + 3 = 0x1004
0x1004 & ~3 = 0x1004  // 低2位清零，结果不变

再比如 addr = 0x1000（已经对齐）：

0x1000 + 3 = 0x1003
0x1003 & ~3 = 0x1000  // 低2位被清零，回到原地址

这个公式我几乎每周都会用到。写内存分配器、序列化协议、DMA 缓冲区时，都离不开它。

小技巧：如果你用的是 GCC 或 Clang，可以直接用 __attribute__((aligned(N))) 让编译器帮你对齐。但理解底层原理仍然重要——有些平台（比如某些 DSP）的编译器不支持这些扩展。

对齐不是免费的。每个结构体成员之间可能插入 padding 字节，导致结构体变大。我见过一个极端案例：

struct Bad {
    char a;    // 1 字节
    int b;     // 4 字节，需要对齐到 4
    char c;    // 1 字节
};

你以为这个结构体只有 6 字节？错了。在默认对齐下，它实际占 12 字节：

我曾经接手过一个老项目，里面全是这种「随手写的结构体」，光 padding 就浪费了 30% 的内存。后来我按成员大小从大到小重新排列，内存占用直接降下来了。

注意：不要为了省内存而随意使用 #pragma pack(1)。取消对齐后，CPU 访问未对齐地址时可能触发异常（比如 ARM 平台），或者性能骤降（x86 平台虽然能处理，但速度慢很多）。

下面这张图把地址对齐的二进制原理、取模判断、向上对齐的公式串在了一起。建议你仔细看看，尤其是掩码那部分——理解了它，对齐就没什么秘密了。

嗯，到这里你应该明白了：内存对齐不是什么玄学，就是二进制位操作。我个人建议你在写底层代码时，养成用位运算代替取模的习惯——既快又安全。下次遇到对齐相关的问题，先想想「低几位是不是 0」，答案往往就出来了。

公众号:蓝海资料掘金营，微信deep3321