C语言内存对齐

内存对齐指的是对占用内存较少的类型变量进行内存补齐（增加无用字节去补齐内存 ），对齐占用内存较多的类型变量。

内存对齐出现的原因：

平台原因(移植原因)：不是所有的硬件平台都能访问任意地址的任意数据的；某些平台只能在某些地址处取某些特定类型的数据。

性能原因：数据结构尤其是栈应该尽可能在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要做两次访问内存;而对齐的内存访问仅需要一次访问。

缺点：存在效率问题，这是一种以空间换时间的做法，但这种做法是值得的。

 内存对齐的规则：

•  第一个成员在结构体变量偏移量为0的地址处

•  其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处

           对齐数 =编译器默认刚齐数与该成员交量中取较小值

           默认对齐数：Linux中4字节，VS中8字节；

• 结构体总的大小=最大对齐数的整数倍 

• 如果嵌套结构体，嵌套的结构体对齐到自己的最大对齐数的整数
  结构体的整体大小就是所有最大对齐数（包括嵌套结构体的对齐数）

 相关代码：

根据内存对齐规则对结果进行分析：

MM：变量a是char类型，且为首成员变量，对齐到结构体内存地址的首地址处。

变量b是int类型，根据第二个规则，可得 对齐数 = (4 < 8) = 4，所以对齐到结构体内存地址为4的地址处。

变量c是double类型，同上，可得 对齐数 = (8 = 8) = 8，所以对齐到结构体内存地址为8的地址处。

 

​
#include <stdio.h>

struct MM
{
	char a;
	int  b;
	double c;
};
struct MM1
{
	double a;
	int  b;
	char c;
};
struct MM2
{
	double a;
	char b;
	int c;
};
void test()
{
	struct MM mm = { 'a',6,3.3 };
	printf("struct:%d\n", sizeof(mm));
	struct MM1 mm1 = {3.3 ,6, 'a'};
	printf("struct:%d\n", sizeof(mm1));
	struct MM2 mm2 = { 3.3,'a',6 };
	printf("struct:%d\n", sizeof(mm2));
}
int main()
{
	test();
	return 0;
}

​

如图：故现在结构体已经占用了16个字节，那么总结构体的大小为最大对齐数的整数倍，最大对齐数为8(c是double类型，对齐数为8)，16刚好是8的整数倍，即结构体大小为16 

同理：

MM1:结构体成员占用的内存空间为13个字节，但根据内存对齐规则：结构体总的大小为最大对齐数的整数倍。但当前最大对齐数为8，13不是8的整数倍，所以输出结果为16。（就近原则）

MM2:现在结构体已经占用了16个字节，那么总结构体的大小为最大对齐数的整数倍，最大对齐数为8(c是double类型，对齐数为8)，16刚好是8的整数倍，即结构体大小为16 。

 

例子：