处理器如何读取内存？32位架构下short类型内存对齐疑问

先从处理器的内存访问方式说起：在32位架构中，处理器的内存总线宽度是32位，一次只能完整读取4字节（也就是一个“字”）的数据——这是硬件层面的硬限制，不是软件能随便改的。处理器会尽可能按这个4字节的粒度去访问内存，因为这是最高效的方式。

接下来解释你困惑的内存对齐：它的规则非常直白，数据的起始地址必须是自身大小的整数倍，和它是否刚好落在一个处理器的读取字里无关：

• 对于1字节的char：任意地址都是对齐的（毕竟任何数都是1的倍数）
• 对于2字节的short：起始地址必须是偶数（比如x0、x2、x4...）
• 对于4字节的int：起始地址必须是4的倍数（比如x0、x4、x8...）

那回到你的疑问：为什么起始地址是x01的short就算未对齐？明明它的两个字节都在x00-x03这个4字节字里，处理器读这个字的时候不会截断数据啊？

这里要分两个层面看：

1. 硬件兼容性问题：很多老的32位处理器（比如早期ARM、部分嵌入式x86芯片）完全不支持非对齐访问——如果你强行让它读x01开始的short，会直接触发总线错误，程序崩溃。这不是软件能处理的，是硬件层面的禁止。
2. 性能损耗问题：就算现代处理器支持非对齐访问，它也得多做额外工作。比如读x01开始的short，处理器需要先读取x00-x03这个完整的4字节字，然后再从中提取出x01-x02的两个字节；但如果是对齐的short（比如从x02开始），处理器直接读对应的4字节字，就能直接拿到完整的short数据，不需要额外的移位、提取操作，速度差了不少。

再看你举的例子：char在x0，short在x01-x02，char在x03。这个short的起始地址x01不是2的倍数，所以严格来说就是未对齐的。对齐规则的核心是数据自身的大小要求，不是看它是否被包含在一个处理器的读取粒度里。

顺便提一句：编译器会自动帮我们做内存对齐——比如你的这个例子，编译器会在第一个char后面填充1个空字节，让short从x02开始，这样就符合对齐要求了。虽然浪费了1字节内存，但换来了更好的兼容性和性能。

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