比如这么一种处理器,它每次读写内存的时候都从某个8倍数的地址开始,一次读出或写入8个字节的数据,假如软件能保证double类型的数据都从8倍数地址开始,那么读或写一个double类型数据就只需要一次内存操作。否则,我们就可能需要两次内存操作才能完成这个动作,因为数据或许恰好横跨在两个符合对齐要求的8字节内存块上。
一般来说,结构体的对齐规则是先按数据类型自身进行对齐,然后再按整个结构体进行对齐,对齐值必须是2的幂,比如1,2, 4, 8, 16。如果一个类型按n字节对齐,那么该类型的变量起始地址必须是n的倍数。比如int按四字节对齐,那么int类型的变量起始地址一定是4的倍数,比如0x0012ff60,0x0012ff48等。
数据自身的对齐值通常就是数据类型所占的空间大小,比如int类型占四个字节,那么它的对齐值就是4
整个结构体的对齐值一般是结构体中最大数据类型所占的空间,比如下面这个结构体的对齐值就是8,因为double类型占8个字节。
struct Test { char c ; int i ; };
struct Test1 { int i ; double d ; char c ; };
有了上面的基础,再回过头去看看一开始的两个例子
先看结构体Test
1 c是char类型,按1个字节对齐
2 i是int类型,按四个字节对齐,所以在c和i之间实际上空了三个字节。
整个结构体一共是1 + 3(补齐)+ 4 = 8字节。
再看Test1
i是int类型,按4字节对齐
d是double类型,按8字节对齐,所以i和d之间空了4字节
c是char类型,按1字节对齐。
所以整个结构体是 4(i) + 4(补齐)+ 8(d) + 1(c) = 17字节,注意!还没完,整个结构体还没有对齐,因为结构体中空间最大的类型是double,所以整个结构体按8字节对齐,那么最终结果就是17 + 7(补齐) = 24字节。
我们对Test1做一点改动
struct Test1 { char c ; int i ; double d ; };
下面的代码练习下吧
#include<iostream>
using namespace std;
/*
int:4
char:1
double:8
*/
struct One
{
int a;
char ch1;//同类型放一起
char ch2;
};
struct Two
{
char ch1;
int a;
char ch2;
};
struct temp
{
double a;
char b;
int c;
};
int main()
{
cout << sizeof(One) << endl;//---->8
cout << sizeof(Two) << endl;//---->12
cout << sizeof(temp) << endl;//---->16
return 0;
}