C结构体内存对齐

引言：

结构体内存对齐问题一直以来都受到很大的关注。平常使用时，我们用sizeof()操作符可以求出结构体类型的大小，也有offsetof()宏来求取结构体对应成员变量的偏移。

但仅仅会使用这两者还是不够的，我们还需要掌握其成员变量在内存中的对齐方式，以在有必要的情况下，合理排布成员变量的顺序，减少结构体类型所占字节。

所以，今天再次探索结构体内存对齐的规则！

sizeof()

sizeof()要注意的是，它是个操作符而不是函数类。

一个特殊的例子：

有一个空的结构体，对它用sizeof()求大小，结果是多少呢？0吗？不妨试一试：

#include<iostream>
struct Test
{};
int main()
{
	int size = sizeof(struct Test);
	std::cout << size << std::endl;
	return 0;
}

运行之后，发现结果竟然出人意料，结果不是“0”，而是“1”。（应该说大部分人的结果是“1”，这与测试平台相关）。为什么呢？

分析：假设我用这个结构体类型创建了两个结构体变量，struct Test t1,t2;如果这个结构体类型大小为0，那么t1,t2将会拥有同一个地址，显然编译器此时无法区分这两个逻辑上不同的变量。所以主流编译器大都为其分配一个字节的大小，用以占位，表明这个地址是被占了的，若在分配的多一点，显得有些浪费了，没必要。当然也有少数编译器，它们为其分配的字节数可能会多一点，这是编译器决定的。

offsetof

这是一个宏，在stddef.h头文件中。用来求取结构体中成员变量的偏移。

结构体内存对齐规则

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

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

对齐数：编译器的默认对齐数与该成员大小中的较小值（对齐数不是默认对齐数）。

VS中默认对齐数为8

Linux中默认对齐数是4

3、结构体总大小为最大对齐数的整数倍。

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

下面是一个例子：

struct D
{
	double  b;
	char c;
	int i;
};

b的偏移为0，因为是第一个变量。b的默认对齐数为8，b的大小为8，对齐数（前两者中较小值）为8；

c的默认对齐数为8，c的大小为1，对齐数为1，偏移为8；

i的默认对齐数为8，i的大小为4，对齐数为4，偏移为12（对齐到对齐数的整数倍处）。

计算大小为16字节，然后整体大小要为最大对齐数（8,1,4中的最大值）的整数倍，已经满足，无需补齐。如下图所示：

修改默认对齐数

默认对齐数也是可以修改的：

#pragma pack(4)         //修改默认对齐数为4

      //code

//#pragma pack()         //默认对齐数为4