c语言---结构体内存对齐计算

文章链接:https://codemouse.online/archives/2020-03-12223953

结构体内存对齐

• 元素是按照定义顺序一个一个放到内存中去的，但并不是紧密排列的。从结构体存储的首地址开始，每个元素放置到内存中时，它都会认为内存是按照自己的大小来划分的，因此元素放置的位置一定会在自己宽度的整数倍上开始。

内存对齐的原因

1. 平台问题（移植问题）：不是所有的硬件平台都能访问任意地址上的任意数据的，某些硬件平台只能在某些地质处取某些特定类型的数据，否则跑出硬件异常。

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

总结:拿空间换时间

获取结构体中某一元素的位置

使用offsetof宏来判断结构体中成员的偏移地址,在stddef.h中定义

 #define offsetof(type,menber) (size_t)&(((type*)0)->member)
 // 由于从0处算,那么获取到的结构体元素地址也就是他所在结构体的偏移值

设置默认对齐数

#pragma pack(value)   //value只能是1,2,4,8,16
#pragma pack（）    //设置为默认对齐数

结构体内存对齐规则

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

举例

环境:32位机
默认char一字节,short二字节,int,float四字节,double八字节

struct A{
	char a;
	int b;
	float c;
	double d;
	int e;
};

解析:
对齐数为4:
a为首个成员,从0出开始,
b大于等于对齐数,要在新的内存单位开始,也就是4处,
cde同理.大小为24刚好为默认对齐数的整数倍,所以最后大小为24.

对齐数为8:
a为首个成员,从0出开始,
b小于默认对齐数,自身大小作为对齐数,则存放在4处,
c同理,则存放在8处,
d大小等于对齐数,存放在8的整数倍上,所以移动到了16处存放,
e小于对齐数,自身大小作为对齐数,则存放在16+8=24处,那么总大小为28,
但由于结构体大小必须为默认对齐数的整数倍,所以总大小为32.

添加上结构体嵌套,这次默认对齐数为8

 struct A{
	char a;
	int b;
	float c;
	double d;
	int e;
};
struct B{
	char a;
	short b;
	struct A c;
	struct A d[2];
	struct A* e;
};

• 解析:
  a为首个成员,从0出开始,
  b小于默认对齐数,自身大小作为对齐数,则存放在2处,
  c大小大于对齐数,存放在对齐数的整数倍上,所以移动到了8处存放,
  d与c同理,则存放在8+32=40处,
  e存放在40+2*32=104处,
  总大小为108,
  但由于结构体大小必须为默认对齐数的整数倍,所以总大小为112.

验证程序

#pragma pack(8)
#include <stdio.h>
#include <stddef.h>
struct A{
	char a;
	int b;
	float c;
	double d;
	int e;
};
struct B{
	char a;
	short b;
	struct A c;
	struct A d[2];
	struct A* e;
};
void main()
{
	struct B a = { 0 };
	printf("%d \n", offsetof(struct B, a));
	printf("%d \n", offsetof(struct B, b));
	printf("%d \n", offsetof(struct B, c));
	printf("%d \n", offsetof(struct B, d));
	printf("%d \n", offsetof(struct B, e));
	printf("sum=%d \n",sizeof(a));
}