C语言：结构体的内存对齐

1.引用

大家先来看看一组结构体，大家试一试它的大小

#include<stdio.h>
struct A
{
	char c1;
	int c2;
	char c3;
	int i;
};

int main()
{
	printf("%d\n", sizeof(struct A));
	return 0;
}

 我们来看看他的编译结果

 

大家会很不理解，不应该是1(char)+4(int)+1(char)+4(int) =10吗

这就是结构体的内存对齐

 2.为什么要有内存对齐？这样做不是会浪费内存空间吗？

1. 平台原因 ( 移植原因 )：

不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。

 

2. 性能原因：

数据结构(尤其是栈)应该尽可能地在自然边界上对齐。

原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。

 

总体来说：结构体的内存对齐是拿 空间来换取 时间的做法。

 

3.那么结构体的内存对齐的规则又是什么呢？

1. 第一个成员在与结构体变量偏移量为0的地址处。

 

2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。

                 对齐数 = 编译器默认的一个对齐数 与 该成员大小的 较小值。

                VS中默认的值为8

                 gcc中没有默认的值，没有时，对齐数就是成员自身的大小

 

3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。如果不够则浪费空间对齐

 

4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

单纯这样我们无法理解，下面我们用用例子 

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

int main()
{
	printf("%d\n", sizeof(struct S2));
	return 0;
}

 

 

上面的右侧的格子是我们模拟的内存（一个格子相当于一个字节）

首先我们先满足规则的第一点 第一个成员在与结构体变量偏移量为0的地址处

那么c1从0开始放，c1是char类型的，放在0处

我们从第二个开始我们便要开始注意 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。

那么这个对齐数怎么算呢编译器默认的一个对齐数（VS是8）与 该成员大小（c2是char，大小为1）的较小值，这个对齐数的值是1，所以c2开始放的地址要是1的倍数，所以放在1

同理可得i的对齐数为 编译器默认的一个对齐数（VS是8）与 该成员大小（i是int，大小为4）的较小值，这个对齐数的值是4，所以i开始放的地址要是4的倍数，所以从4开始放，所以i放在4-7中，那么2-3就被浪费了

最后 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。如果不够则浪费空间对齐，这是什么意思呢？结构体总大小（0至7=8（包括被浪费）），最大对齐数（上面我们有二个对齐数是1和4，所以最大为4），8恰好是4的倍数，所以不用浪费

我们再来看一个例子 

 

 首先从0开始放，a（int）放在0-3中。编译器默认的一个对齐数（VS是8）与 该成员大小（c是char，大小为1）的较小值，这个对齐数的值是1，所以c2开始放的地址要是1的倍数，所以放在4

 最后 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。如果不够则浪费空间对齐，结构体总大小（0到4=5），最大对齐数（4），所以我们要浪费空间，使结构体总大小使4的倍数，我们便要浪费3个字节的空间，最后结构体总大小为8

3.那在设计结构体的时候，我们既要满足对齐，又要节省空间，如何做到 

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

下面s1占12，s2占8 

//例如：
struct S1
{
 char c1;
 int i;
 char c2;
};
struct S2
{
 char c1;
 char c2;
 int i;
};

4.怎么改变默认对齐数

我们可以使用#pragmatic pack(5)

这样就把默认对起诉改成五了