内存对齐是什么?
typedef struct {
char a;
int b;
double c;
}A;
typedef struct {
int b;
double c;
char a;
}B;
获取A、B两个结构体的大小:
sizeof(A)=16,sizeof(B)=24;虽然两个结构体内成员个数和类型虽然相同,但分配给它们内存空间大小却不同,从表面可以看出,A和B结构体内成员的顺序不一致,由此我们推断出结构体的大小不仅与结构体内成员个数和类型有关,还与结构体内成员的顺序有关。这样的情况,我们称之为内存对齐。总的来说,编译器将每个结构体成员按排在某个合适的位置上就是内存对齐。结构体成员的顺序为什么会影响结构体空间大小呢?这其实就与结构体内存对齐规则有关,后面再谈。
为什么要内存对齐呢?
平台原因:不是所有的硬件平台都能访问任意地址上的任意数据;
性能原因:处理器在读取内存时一般是按照双字节、四字节、八字节等读取(我们将这些存取单位称为内存的存取粒度),如果不进行内存对齐,处理器对内存的读写次数就会增加,为了提高数据的读写效率,从而进行内存对齐,内存对齐本质上是用空间来换取时间的一种方法。
如果不进行内存对齐,性能方面有什么影响?
按严重程度递增:
- 程序运行速度变慢
- 应用程序产生死锁
- 操作系统崩溃
- 程序毫无征兆的出错,产生错误的结果
所以为了程序的高效和无误,请对齐你的数据。
结构体内存对齐规则是什么?
结构体内存对齐规则是对结构体具体如何分配空间的一种规则,有以下几条:
1. 第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。 对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。
Vs中默认的值为8 Linux中的默认值为4
3. 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
4. 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
注:被嵌套的结构体最大对齐数等于它内部成员的最大对齐数