内存对齐是结构体最重点的部分,也是最难的部分,这篇文章将详细讲解对齐规则。
一.首先是对齐规则
1. 结构体的第⼀个成员对⻬到和结构体变量起始位置偏移量为0的地址处
2.其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
对齐数=编译器默认的⼀个对齐数与该成员变量大小的较小值。
vs默认对齐数是 8
部分编译器没有默认对齐数,对齐数就是成员自身的大小。
3.结构体总大小为最大对齐数(结构体中每个成员变量都有⼀个对齐数,所有对齐数中最大的)的 整数倍。
4.如果嵌套了结构体的情况,嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处,结构 体的整体大小就是所有最大对齐数(含嵌套结构体中成员的对齐数)的整数倍。
下面举两个例子来说明:
struct S
{
char c1;
int i;
char c2;
};
就比如上述结构体占用了12个字节。
c1 i c2
占1个字节 从4开始,占4个字节 从8开始,占1个字节
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
一共占9个字节,因为第三条规则,补够4的倍数,占12个字节。
struct S
{
char c1;
char c2;
int i;
};
上图结构体占8个字节。
c1占据红色部分,c2占据黄色部分:因为是整形,占4个字节,对齐数为4,开始存储的地址必须是是4的倍数,所以将2,3部分空出,i从4开始, i占据绿色部分,结尾刚好是8,是4的倍数,所以占8个字节。
struct S
{
double d;
char c;
int i;
};
struct S1
{
char c1;
struct S s;
double d;
};
上述结构体占内存为32个字节。
(第一次画,图画的不好)具体占字节情况为上图所示。
最大对齐数还是double类型的,不是结构体类型的。
嵌套其实和下图代码一个意思。
struct S2
{
char c1;
double d;
char c;
int i;
double d;
};
在结构体中数组就相当于几个连续的的同类型数据。
struct S3
{
int arr[5];
};
struct S4
{
int a1;
int a2;
int a3;
int a4;
int a5;
};
S3 与 S4在进行占字节运算时,其实是相等的。
二. 为什么存在内存对齐?
大部分的参考资料都是这样说的:
1. 平台原因(移植原因): 不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定 类型的数据,否则抛出硬件异常。
2. 性能原因: 数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要 作两次内存访问;而对齐的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节,则地 址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对齐成8的倍数,那么就可以 用一个内存操作来读或者写值了。否则,我们可能需要执行两次内存访问,因为对象可能被分放在两 个8字节内存块中。 总体来说:结构体的内存对齐是拿空间来换取时间的做法。
三.修改默认对齐数
#pragma 这个预处理指令,是可以用来改变编译器的默认对齐数的。
#pragma pack(1)//设置默认对⻬数为1
struct S
{
char a1;
int i;
char a2;
double a3;
};
#pragma pack()//取消设置的对⻬数,还原为默认
这个结构体所占内存便是,1+4+1+8=14个字节,因为默认对齐数是1。