LV520-C语言内存对齐
一、 内存对齐的概念
计算机内存是以字节（Byte）为单位划分的，理论上 CPU 可以访问任意编号的字节，但实际情况并非如此。
CPU 通过地址总线来访问内存，一次能处理几个字节的数据，就命令地址总线读取几个字节的数据。32 位的 CPU 一次可以处理 4 个字节的数据，那么每次就从内存读取 4 个字节的数据；少了浪费主频，多了没有用。64 位的处理器也是这个道理，每次读取 8 个字节。
以 32 位的 CPU 为例，实际寻址的步长为 4 个字节，也就是只对编号为 4 的倍数的内存寻址，例如 0、4、8、12、1000 等，而不会对编号为 1、3、11、1001 的内存寻址。如下图所示：
这样做可以以最快的速度寻址：不遗漏一个字节，也不重复对一个字节寻址。
对于程序来说，一个变量最好位于一个寻址步长的范围内，这样一次就可以读取到变量的值；如果跨步长存储，就需要读取两次，然后再拼接数据，效率显然降低了。
例如一个 int 类型的数据，如果地址为 8，那么很好办，对编号为 8 的内存寻址一次就可以。如果编号为 10，就比较麻烦，CPU 需要先对编号为 8 的内存寻址，读取 4 个字节，得到该数据的前半部分，然后再对编号为 12 的内存寻址，读取 4 个字节，得到该数据的后半部分，再将这两部分拼接起来，才能取得数据的值。
将一个数据尽量放在一个步长之内，避免跨步长存储，这称为内存对齐。 在 32 位编译模式下，默认以 4 字节对齐；在 64 位编译模式下，默认以 8 字节对齐。
二、 结构体的内存对齐
为了提高存取效率，编译器会自动进行内存对齐，请看下面的代码：
#include <stdio.h>
#include <stdlib.h>
struct{
int a;
char b;
int c;
}t={ 10, 'C', 20 };
int main(){
printf("length: %d\n", sizeof(t));
printf("&a: %X\n&b: %X\n&c: %X\n", &t.a, &t.b, &t.c);
system("pause");
return 0;
}在 32 位编译模式下的运行结果：
length: 12
&a: B69030
&b: B69034
&c: B69038如果不考虑内存对齐，结构体变量 t 所占内存应该为 4+1+4 = 9 个字节。考虑到内存对齐，虽然成员 b 只占用 1 个字节，但它所在的寻址步长内还剩下 3 个字节的空间，放不下一个 int 型的变量了，所以要把成员 c 放到下一个寻址步长。剩下的这 3 个字节，作为内存填充浪费掉了。请看下图：
编译器之所以要内存对齐，是为了更加高效的存取成员 c，而代价就是浪费了 3 个字节的空间。
三、 变量的内存对齐
除了结构体，变量也会进行内存对齐，请看下面的代码：
#include <stdio.h>
#include <stdlib.h>
int m;
char c;
int n;
int main(){
printf("&m: %X\n&c: %X\n&n: %X\n", &m, &c, &n);
system("pause");
return 0;
}在 VS 下运行：
&m: DE3384
&c: DE338C
&n: DE3388可见它们的地址都是 4 的整数倍，并相互挨着。
经过笔者测试，对于全局变量，GCC 在 Debug 和 Release 模式下都会进行内存对齐，而 VS 只有在 Release 模式下才会进行对齐。而对于局部变量，GCC 和 VS 都不会进行对齐，不管是 Debug 模式还是 Release 模式。