一:结构体的内存对齐问题
1.几道练习题让你理解内存对齐的存在
求下列结构体所占字节的大小
例题(1).
ps:例题中的注释为计算过程中加到这一行的总大小(其中包括了提升的空间内大小)
#include<stdio.h>
struct A
{
char a; //1+3
int i; //1+3+4
char c; //1+3+4+1
};
int main()
{
printf("%d\n",sizeof(struct A)); //sizeof(struct A)=9+3;
return 0;
}
例题(2).
#include<stdio.h>
struct B
{
char a; //1
char b; //1+1+2
int c; //1+1+2+4
};
int main()
{
printf("%d\n",sizeof(struct B)); //sizeof(struct B)=8
return 0;
}
例题(3).
#include<stdio.h>
struct C
{
int a; //4
char b;//1
char c; //5+1
};
int main()
{
printf("%d\n",sizeof(struct C)); //sizeof(struct C)=6+2
return 0;
}
例题(4).
#include<stdio.h>
struct D
{
double a; // 8
char b; //8+1+3
int c; // 12+4
};
struct E
{
char d; // 1+7
struct D e; //1+7+16(总体大小为16,而其对齐数为内部最大对齐数8).
double f; //1+7+16+8
int g; //1+7+16+8+4
char h[3]; //1+7+16+8+4+3+1
char *i; //1+7+16+8+4+3+1+4
void (*j)(int); //1+7+8+8+4+3+1+4+4
};
int main()
{
printf("%d\n",sizeof(struct E)); //sizeof(struct E)=48
return 0;
}
仔细研究过这几道题目后,你应该有自己的答案了吧。那么你的答案到底对不对呢?
答案如下
例题(1). | 12 |
---|---|
例题 (2). | 8 |
例题(3). | 8 |
例题(4). | 48 |
核对正确答案后你对了几道?
如果是全对,那恭喜你。如果不是全对,那你一定会产生这样的疑问——>拿例(1)来说一个整形和两个字符类型大小怎么会占八个字节 ?那是因为你还没改清楚结构体的内存对齐是怎么一回事。
2.那么今天我就带大家了解一下结构体的内存对齐
(1).为什么会有内存对齐?
1.平台原因(移植原因):不是所有的硬件平台都能访问到任意地址上的任意数据;某些硬件平台只能在某些地址处取某些特定的数据,否则抛出硬件异常。
2.性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要做两次内存访问;而对齐的内存访问仅需要一次访问。
总体来说:结构体的内存对齐是拿空间来换取时间;
如下图:
3.结构体的对齐规则
- 第一个成员在与结构体变量偏移量为0的地址处。
- 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。 VS中默认的值为8 Linux中的默认值为4
- 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
- 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
- 结构体的对齐数为其内部的最大对齐数。
二:联合(共用体) 的内存对齐问题
1.例题
例题(1).
#include<stdio.h>
union A
{
char a[5];
int i;
};
int main()
{
printf("%d\n",sizeof(union A));
return 0;
}
例题(2).
#include<stdio.h>
union B
{
short c[7];
int i;
};
int main()
{
printf("%d\n",sizeof(union B));
return 0;
}
你的答案分别是都少呢?
2.答案如下
例题(1). | 8 |
---|---|
例题(2) | 16 |
3.联合体大小的规则
- 联合的大小至少是最大成员的大小。
- 当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。
4.例题讲解(以例题1为例)
#include<stdio.h>
union A
{
char a[5]; //每个元素占1字节,一共占5字节。
int i; //一个整形占4字节
};
int main()
{
printf("%d\n",sizeof(union A));
return 0;
}
解释:此例题中char a[5]整体占5个字节而其单个元素的对齐数为1。int i占4个字节其单个元年素的对齐数为4。则暂取联合体大小为较大成员的大小5。而最大成员的大小不是最大对齐数4的整数倍,所以将较大成员的大小5提升成4的最小整数倍8,因而该联合体的大小为8.
三:总结
1.相同点
最终总大小 | 最终确定的总大小必须能整除其内部的元素的最大对齐数 |
---|
2.不同点
结构体: | 内部成员的大小都要计算到结构体暂定总大小中(在未整除最大对齐数前的大小) |
---|---|
联合体 | 以内部最大成员的大小为暂定总大小(在未整除最大对齐数前的大小) |