浅谈结构体内存对齐

要谈论结构体内存对齐，我们就得先来看看结构体大小相关的知识。
首先来看以下几个结构体大小。

一、结构体常规认知

struct S1
{
char c1;  //1
char c2;//1
int i;    //4

};
printf("%d\n", sizeof(struct S1));

在我们的认知里，这个结构体的大小应该为6.
但是我们来看看输出结果：

从输出结果来看，与我们的预期是大相径庭。我们再来将结构体里面的成员变量的顺序进行变化来看看输出结果：

输出结果又变成12了。

再来看下一个结构体：

struct S3
{
double d;//8
char c;//1
int i;//4
};
printf("%d\n", sizeof(struct S3));

输出结果为：

可以看到结果为16.

再对成员变量的顺序进行调整，查看输出结果：

这次结果为24。

至此我们发现在结构体中存在着内存对齐。

那为什么会存在着内存对齐呢？

二、理解内存对齐是什么以及为什么

首先我们得有一个基础认知，就是计算机访问内存的基本单位是字节。
计算机可以读取内存中的任何一个字节，但是因为计算机硬件设置的原因，
计算机读取数据的时候，必须从特定要求的起始位置开始读取。

我们可以这样去理解：

而这样做的本质是：

假设：计算机读取内存中的数据时，必须从4的整数倍开始读取，
像这种牺牲内存空间来满足CPU访存硬件限制，提升效率的方式，
我们叫做硬件对齐。
内存对齐的本质是：用空间来换取时间。

至此我们就可以说明关于内存对齐的两件事
即 ：是什么？为什么？

而这种空间换取时间的策略，叫做内存对齐。
因为硬件约束，可能会导致CPU访存字数增加，效率降低。

三、结构体对齐规则

1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。
   对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值
     VS中默认的值为8
     Linux中的默认值为4
3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，       结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

这个怎么去理解呢？还是用一个举例来说明：

struct A {
          short a;  //2
          int b;    //4
          double c; //8
          char d;   //1        
                     };

我们输出这个结构体的大小：

根据上面的规则：

short占据2个字节，镂空2个字节，  总共4字节。
int 占据4个字节，                总共4字节。
double占据8个字节，              总共8字节。
char占据1个字节。
共4+4+8+1=17个字节
但是由于结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍， 
因此结构体总大小必须为最大对齐数即8的整数倍，因此为4+4+8+1+7=24字节。

四、对齐举例

struct A {
	short a;
	int b;
	double c;
	char d;
};
int main()
{
	struct A obj;
	printf("%p\n", &obj);
	printf("%p\n", &obj.a);
	printf("%p\n", &obj.b);
	printf("%p\n", &obj.c);
	printf("%p\n", &obj.d);
	return 0；
}

输出地址：

从这个图里我们是可以看到以下几点的：

1、结构体首地址是和首个成员变量地址一样的，类似于数组。
2、\\short  2
   \\int    4
   \\double 8
   \\char   1
3、short 类型的变量a首地址为  00CFF868     占2字节
   因此中间存在着两个字节的镂空，因此这里本该+2，其实+4
4、int 类型的变量b首地址为    00CFF86C     占4字节
   中间不用镂空字节，直接+4 
   double 类型的变量c首地址为 00CFF870     占8字节
   中间不用镂空字节，直接+8
   char 类型的变量首地址为    00CFF870     占1字节
5、由上一变量的首地址和需要加的字节数，可以看到，我们说到的内存对齐就是如此。

五、结构体嵌套

struct S3
{
	double d;
	char c;
	int i;
};

//练习4-结构体嵌套问题
struct S4
{
	char c1;
	struct S3 s3;
	double d;
};
int main()
{
	printf("%d\n", sizeof(struct S3));
	printf("%d\n", sizeof(struct S4));
	return 0；
}

根据上面提到的规则：

结构体S3的大小为8+1+3+4=16，最大对齐数为8.
结构体S4嵌套着S3，最大对齐数为S3中的8，因此S4的大小为：
                     1+7+16+8=32

六、如何满足对齐又节省空间

一定要遵循一个规则：

                 让占用空间小的成员尽量集中在一起。

举例说明：

struct S1
{
     char c1;
     int i;
     char c2;
};

struct S2
{
     char c1;
     char c2;
     int i;
};

可以看到两个结构体的成员变量的内容是一样的，只是顺序不一样而已。
但是S1大小为：1+3+4+4=12；
    S2大小为：1+1=2+4=8;
像这样把小成员变量放一起的方式，既可以内存对齐，又节省了一定的空间。

这篇就讲到这里，比较难理解，欢迎大家探讨！

加油吧 阿超没有蛀牙！