【C语言】结构体大小如何计算

如果急于学到干货，了解计算方法可直接跳转到举例部分

• 关于结构体大小如何计算，首先我们介绍一个C语言中的宏定义- offsetof()

C 库宏 - offsetof()

• 在掌握结构体对其原则前我们首先需要了解一个概念：偏移量
• 通俗地讲，偏移（Offset）就是指从当前位置为起点，然后再此基础上移动的具体的距离。
• C 库宏 offsetof(): 用来计算结构体成员相较于起始位置的偏移量

offsetof
offsetof (type,member)
头文件：#include<stddef.h>
返回类型为 size_t 的值，表示 type 中成员的偏移量。

更多详细介绍: https://legacy.cplusplus.com/reference/cstddef/offsetof/?kw=offsetof

#include <stddef.h>
#include <stdio.h>
//练习1
struct S1
{
	char c1;
	int i;
	char c2;
};
//练习2
struct S2
{
	char c1;
	char c2;
	int i;
};

int main()
{
	//S1
	printf("%d\n", offsetof(struct S1, c1));
	printf("%d\n", offsetof(struct S1, i));
	printf("%d\n", offsetof(struct S1, c2));
	//
	printf("\n");
	//S2
	printf("%d\n", offsetof(struct S2, c1));
	printf("%d\n", offsetof(struct S2, c2));
	printf("%d\n", offsetof(struct S2, i));
	
}

造成如上偏移量总的原因还是因为结构体的对齐规则，下面我们详细介绍结构体的对齐规则

规则

• 结构体的对齐规则：

1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 从第二个成员开始要对齐到对齐数的整数倍的地址处。
   对齐数 ：结构体成员自身大小和默认对齐数两者之间的较小值
   VS中默认的值为8
   LINUX环境默认没有对齐数，对齐数就是结构体成员的自身大小
3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整 体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

举例

无嵌套

#include <stdio.h>
//练习1
struct S1
{
	char c1;
	int i;
	char c2;
};
//练习2
struct S2
{
	char c1;
	char c2;
	int i;
};
int main()
{
	printf("S1:%d\n", sizeof(struct S1));
	printf("S2:%d\n", sizeof(struct S2));
}

首先通过运行我们可得结果：

而这样的结果又是从何而来呢？
有第一段我们可知S1 S2中各个变量的偏移量如下图

• 根据结构体的对齐规则分析S1：

1. 第一个成员在与结构体变量偏移量为0的地址处。
   即 c1在偏移量为0的地址处 此时占据内存为1个字节
2. 从第二个成员开始要对齐到对齐数的整数倍的地址处。
   对齐数 ：结构体成员自身大小和默认对齐数两者之间的较小值 （VS中默认的值为8）
   即：i，c2对齐到对齐数的整数倍的地址处
   i的自身大小为 4， VS中默认对齐数为8，所以i的对齐数为4 ，所以i需要对其到4的整数倍处 即偏移量为4处（此时中间的内存无奈只能浪费）
   c2的自身大小为 1， VS中默认对齐数为8，所以c2的对齐数为1 ，所以i需要对其到1的整数倍处，此处对齐到偏移量为8处
3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
   此时结构体的大小为9，而根据对齐规则，总大小为最大对齐数的整倍数，此时最大对齐数为4，即4的倍数，即为12（必须满足倍数要求，无奈只能浪费内存）

• 综上，S1占据内存为12个字节，如图
  
• 同理，分析S2

1. **c1在偏移量为0的地址处 **
2. i，c2对齐到对齐数的整数倍的地址处
   c2的自身大小为 1， VS中默认对齐数为8，所以c2的对齐数为1 ，所以i需要对其到1的整数倍处，此处对齐到偏移量为1处
   i的自身大小为 4， VS中默认对齐数为8，所以i的对齐数为4 ，所以i需要对其到4的整数倍处 即偏移量为4处
3. 此时结构体的大小为8，刚好为最大对齐数4的整数倍

• 综上，S1占据内存为8个字节，如图
  

自己练习一道8

//练习3
#include <stdio.h>
struct S3
{
 double d;
 char c;
 int i;
};
int main()
{
	printf("S3:%d\n", sizeof(struct S3));
}
return 0;

给出答案：

结构体嵌套

#include <stdio.h>
struct S3
{
 double d;
 char c;
 int i;
};
struct S4
{
 char c1;
 struct S3 s3;
 double d;
};
int main()
{
	printf("S4:%d\n", sizeof(struct S4));
}
return 0;

根据刚刚我们所学，有的同学会计算出48这样的答案，而正确答案是32，这是因为我们忽略了结构体对齐规则的第四点，嵌套结构体时的情况，下面我们一步一步进行分析。

• 根据结构体的对齐规则：

1. 第一个成员在与结构体变量偏移量为0的地址处。
   即：c1在偏移量为0的地址处。
2. 在S4中我们嵌套了一个结构体S3，根据结构体对齐原则第四点：如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整 体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。
   所以s3对齐到自己的最大对齐数的整数倍处，而嵌套的结构体S3最大对齐数为8，所以s3对齐到偏移量为8处，且s3大小为16个字节
   d的自身大小为 8， VS中默认对齐数为8，所以d的对齐数为8 ，所以需要对其到8的整数倍处 即偏移量为24处，且d大小为8个字节
3. 最后结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。
   即最大对齐数8的整数倍，最终大小为32

• 综上，S4占据内存为32个字节，如图
  

总结

结构体的对齐规则：

1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 从第二个成员开始要对齐到对齐数的整数倍的地址处。
   对齐数 ：结构体成员自身大小和默认对齐数两者之间的较小值
   VS中默认的值为8
   LINUX环境默认没有对齐数，对齐数就是结构体成员的自身大小
3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整 体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

关于为什么存在内存对齐?
大部分的参考资料都是如是说的：

1. 平台原因(移植原因)：
   不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特
   定类型的数据，否则抛出硬件异常。
2. 性能原因：
   数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
   原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访
   问。

• 总体来说：
  结构体的内存对齐是拿空间来换取时间的做法。
  在S1和S2中，类型的成员一模一样，但是S1和S2所占空间的大小有了一些区别。
  所以，在我们设计结构体的时候，我们既想要满足对齐，又要节省空间，就需要做到让占用空间小的成员尽量集中在一起。