记录学习c++中遇见的一些常见的易错的知识点等
最近在牛客网刷题的时候经常会遇到关于内存对齐的问题
有以下的代码, 结果会输出什么呢,我们知道int是4个字节,short是2个字节,char是1个字节,那么二者是不是都是一样的,都是7呢?
其实都不是,我的编译器默认是4字节对齐,所以第一个是12,第二个是8
#include <stdio.h>
struct A{
char a;
int b;
short c;
};
struct B{
short c;
char a;
int b;
};
int main(){
printf("sizeof A ==> %d\nsizeof B ==> %d\n", sizeof(A), sizeof(B));
return 0;
}
这里可以先看下内存对齐的规则:
1. 对于结构体的各个成员,假设第一个变量起始地址是0, 那么后面的变量偏移的地址必须是Min(#pragma pack, 该变量的字节大小)的最小整数倍。
2. 在所有的成员对齐之后,结构体本身也是要对齐的, 对齐规则是Min(#pragma pack, 该结构体的最达字节成员)的最小整数倍。
其中#pragma pack(x) 是指定编译器按照x字节进行对齐
上面的规则也可以通俗简单的这样理解, 就是内存不是我们想象的一个一个的随意的放,而是组织为4(假设对齐是4个字节)个字节,4个字节,这样的“小结构”,所以对于A结构体, char a;首先占据一个字节,4个字节的“小结构”就剩下了3个, 可是后面来了个int b; b是4个字节的, 剩余的3个字节放不下,就得往后挪动3个字节,到达一个新的“小结构”的开始处,同理,short c;占据了4个字节的2个,然后再由内存对齐规则2,最终占据4+4+4 = 12字节。B结构体,short c;先占据4个 “小结构”的中的2个,然后就是char a;占据short c;剩余的2个字节中的一个, 再接着就是int b;往后挪动一个字节,再独自占据着4个字节,一个就是4+4 = 8 个字节了。
接下来 我们改变 对齐的字节数, 看看结果是不是和我们想的一样
#include <stdio.h>
//对齐是1字节
#pragma pack(1)
struct A{
char a;
int b;
short c;
};
struct B{
short c;
char a;
int b;
};
int main(){
printf("sizeof A ==> %d\nsizeof B ==> %d\n",
sizeof(A), sizeof(B));
return 0;
}
然后再是2
#include <stdio.h>
#pragma pack(2)
struct A{
char a;
int b;
short c;
};
struct B{
short c;
char a;
int b;
};
int main(){
printf("sizeof A ==> %d\nsizeof B ==> %d\n", sizeof(A), sizeof(B));
return 0;
}
验证了对齐的规则确实如此
再看看对齐的规则2
#include <stdio.h>
struct A{
char a;
int b;
short c;
};
struct B{
short c;
char a;
int b;
};
struct C{
short b;
char c;
};
int main(){
printf("sizeof A ==> %d\nsizeof B ==> %d\nsizeof C ==> %d\n",
sizeof(A), sizeof(B), sizeof(C));
return 0;
}
C结构体 ,按照规则1计算的结果就是3, 但是别忘记规则2, 整体也是得对齐的所以就是4
最后,为什么需要内存对齐,大概的原因就是
1. 移植
2. cpu的操作效率高