结构体
为什么存在内存对齐?
1、平台原因(移植原因):不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
2、性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
总的来说,结构体的内存对齐是拿空间来换取时间的做法。
对齐规则
1、第一个成员变量在与结构体变量偏移量为0的地址处。通俗来说,就是结构体中的第一个成员变量不用考虑对齐。
2、其他成员变量要对齐到某个数字(对齐数)的整数倍地址处。
3、结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。如果不是整数倍,说明没有对齐,需要将总大小扩展至能整除最大对齐数的位置。
4、如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。(选择结构体和嵌套的结构体中的最大对齐数里最大的那个值)。
补充说明:
第一个元素不用对齐,并不代表没有对齐数,而是不需要。
对齐数=指定的一个对齐数与该成员大小的较小值。
默认情况下,对齐数为自身的大小。
对齐:其他成员在放入结构体时,其起始偏移量能整除自身对齐数称为对齐。
指定一个对齐数:
#pragma pack(1) 只能设1 2 4 8 16 32……2^n。
每个变量对齐数和指定对齐数比较,选择较小的对齐数,作为该变量的对齐数。
结构体大小测试:
#include <stdio.h>
#include<windows.h>
struct s1
{
char c1;
int i;
char c2;
};
struct s2
{
char c1;
char c2;
int i;
};
struct s3
{
double d;
char c;
int i;
};
struct s4
{
char c1;
struct s3 s3;
double d;
};
int main()
{
printf("结构体s1的大小:%d\n",sizeof(struct s1));
printf("结构体s1的大小:%d\n", sizeof(struct s2));
printf("结构体s1的大小:%d\n", sizeof(struct s3));
printf("结构体s1的大小:%d\n", sizeof(struct s4));
system("pause");
return 0;
}
运行结果:
练习:
struct B
{
char a;
double *b;
short c;
};
struct A
{
char a;
int b;
char[3];
double *x;
struct B obj;
char d;
char *e[3];
};
解答:
对于结构体B的大小,起始偏移量为0,a的大小为1,故自身对齐数为1可以整除。
b的起始偏移量为1,b的对齐数为4,1不能整除4,故需要3个字节的空间使其对齐。
c的起始偏移量为(1+3+4)8,对齐数为2,8能整除2,故直接加2。最后由规则3,结构体总大小为最大对齐数的整数倍,结构体中B的最大对齐数为4,故最后对齐时再加2,即8+2+2=12,所以结构体B的大小为12。
对于结构体A的大小,结构体A中嵌套结构体B,由规则4:如果嵌套了结构体(B)的情况,嵌套的结构体(B)对齐到自己的最大对齐数的整数倍处,结构体(A)的整体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。结构体A的大小:1+3+4+3+1+4+12+1+12+3=44。
联合
union 共用体名{
成员列表
};
结构体和共用体的区别在于:结构体的各个成员会占用不同的内存,互相之间没有影响;而共用体的所有成员占用同一段内存,修改一个成员会影响其余所有成员。
结构体占用的内存大于等于所有成员占用的内存的总和(成员之间可能会存在缝隙),所以联合占用的内存大小也要考虑自身内存对齐。共用体使用了内存覆盖技术,同一时刻只能保存一个成员的值,如果对新的成员赋值,就会把原来成员的值覆盖掉。
联合的占用内存的大小计算:只需要整除最大对齐数即可,最后类似根据结构体规则3:结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。如果不是整数倍,说明没有对齐,需要将总大小扩展至能整除最大对齐数的位置。即可算出联合的大小。
测试代码如下:
#include <stdio.h>
#include<windows.h>
union Un1
{
char c[5];
int i;
};
union Un2
{
short c[7];
int i;
};
int main()
{
printf("联合体s1的大小:%d\n", sizeof(union Un1));
printf("联合体s1的大小:%d\n", sizeof(union Un2));
system("pause");
return 0;
}
测试结果: