文章目录
前言
本篇文章介绍结构体内存对齐。
一、结构体内存对齐
1.1 例子演示
定义两个结构体:
struct S1
{
char c1;
int i;
char c2;
};
struct S2
{
char c1;
char c2;
int i;
};
//输出结构体大小
int main()
{
printf("%u\n", sizeof(struct S1));
printf("%u\n", sizeof(struct S2));
return 0;
}
输出结果:
分析结果:
按照正常思维,结构体的总大小应该为6个字节。
struct S1
{
char c1; //1个字节
int i; //4个字节
char c2; //1个字节
};
但是,由输出结果可知,即使是具有相同类型的成员变量的结构体,成员变量的顺序不相同,结构体的类型大小就会不相同,为什么会出现这样的现象?
答案是结构体内存对齐。
1.2 结构体内存对齐规则
结构体内存对齐规则:
- 第一个成员在与结构体变量偏移量为0的地址处
- 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处
对齐数 = 编译器默认的一个对齐数与该成员变量大小的较小值
- visual studio中默认的值为8
- gcc编译器没有默认对齐数
- 如果编译器没有默认对齐数,则对齐数为成员变量的大小
- 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍
- 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
1.3 例子分析
结构体S1内存对齐分析
struct S1
{
char c1;
int i;
char c2;
};
成员变量 | 成员变量大小(单位:字节) | 默认对齐数 | 对齐数 | 存储位置(偏移量) |
c1 | 1 | 8 | 1 | 0 |
i | 4 | 8 | 4 | 4~7 |
c2 | 1 | 8 | 1 | 8 |
存储c2后,此时大小为9个字节;
结构体的最大对齐数为4;
9不是4的倍数,则会再多分配3个字节,结构体S1大小为12个字节,为4的倍数。
利用库函数打印结构体S1的成员变量的偏移量:
库函数:offsetof()
头文件:<stddef.h>
结构体S1在内存的存储方式:
结构体S2内存分析:
struct S2
{
char c1;
char c2;
int i;
};
成员变量 | 成员变量大小(单位:字节) | 默认对齐数 | 对齐数 | 存储位置(偏移量) |
c1 | 1 | 8 | 1 | 0 |
c2 | 1 | 8 | 1 | 1 |
i | 4 | 8 | 4 | 4~7 |
存储i后,此时大小为8个字节;
结构体的最大对齐数为4;
此时8为4的倍数,则结构体S2的大小为8个字节
利用库函数打印结构体S1的成员变量的偏移量:
结构体S2在内存的存储方式:
二、存在内存对齐的原因
- 平台原因(移植原因)
不是所有的硬件平台都能访问任意地址上的任意数据;
某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。 - 性能原因
数据结构(尤其是栈)应该尽可能地在自然边界上对齐。
原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;
而对齐的内存访问仅需要一次访问。
总体来说,结构体内存对齐是拿空间换取时间。
在设计结构体时,即要满足内存对齐,又要节省空间时:
方法:让占用空间小的成员集中在一起。
例如:
//12个字节
struct S1
{
char c1;
int i;
char c2;
};
//8个字节
struct S2
{
char c1;
char c2;
int i;
};
三、结构体内存对齐练习题
3.1 题目一
struct S3
{
double d;
char c;
int i;
};
题目分析:
成员变量 | 成员变量大小(单位:字节) | 默认对齐数 | 对齐数 | 存储位置(偏移量) |
d | 8 | 8 | 8 | 0~7 |
c | 1 | 8 | 1 | 8 |
i | 4 | 8 | 4 | 12~15 |
输出结果:
3.2 题目二
struct S3
{
double d;
char c;
int i;
};
//结构体嵌套
struct S4
{
char c4;
struct S3 s;
double d4;
};
int main()
{
printf("%u\n", sizeof(struct S4));
return 0;
}
题目分析:
成员变量 | 成员变量大小(单位:字节) | 默认对齐数 | 对齐数 | 存储位置(偏移量) |
c4 | 1 | 8 | 1 | 0 |
s | 16 | 8 | 8 | 8~23 |
d4 | 8 | 8 | 8 | 24~31 |
输出结果:
四、修改visual studio默认对齐数
修改方法:使用#pragma pack(对齐数)
命令
#pragma pack(1) //修改默认对齐数为1
struct S1
{
char c1;
int i;
char c2;
};
#pragma pack() //还原vs默认的对齐数8
修改后的结果:
总结
本篇文章介绍了结构体内存对齐的原因,以及结构体内存对齐的规则,最后介绍修改visual studio中默认的对齐数的方法。