结构体内存对齐规则
- 第一个成员在与结构体变量偏移量为0的地址处。
- 其他成员要对齐到某个数字(对齐数)的整数倍的地址处。
- 编译器默认的一个对齐数与该成员大小的较小值。(vs中默认8,Linux中默认4)
- 如果设置了内存对齐为 i 字节,类中最大成员对齐字节数为j,那么整体对齐字节n = min(i, j) 。
- 结构体总体大小为最大对齐数(每个成员变量都有一个对齐数)的总数倍。
- 如果嵌套了结构体,嵌套的结构体要对齐到自己的最大对齐数的整数倍,结构体的整体大小就是所有最大对齐数(含嵌套结构体对齐数)的整数倍。
- 当设置的对齐字节数大于类中最大成员对齐字节数时,这个设置实际上不产生任何效果(实例2);当设置对齐字节数为1时,类的大小就是简单的把所有成员大小相加
为什么要内存对齐
- 平台原因(移植原因):不是所有硬件平台都能访问任意地址上的任意数据;某些硬件平台只能在特定的地址取些特定的数据,否则会抛出硬件异常.
- 性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需作两次内存访问;而对其的内存数只需要对齐一次。
内存对齐是一种拿空间换时间的做法
如果我们既要满足内存对齐,又要节省空间,就应该让占用空间小的内存尽量集中在一起
//没有指定对齐字节,则n = 最大成员(int i)的大小4
struct s1{
char c; //放在位置0,位置区间[0]
int i; //4 = n, 那么放置起始位置应该是4的倍数,即4,位置区间为[4~7
short s; //2 < n,那么放置起始位置应该是2的倍数,即8,位置区间为[8~9]
};//整体向4对齐后12
//指定对齐字节为8,则n = min(8,4) = 4
struct s2{
int i; //放在位置0,位置区间[0~3]
char c; //1 < n, 那么放置起始位置应该是1的倍数,即4,位置区间为[4]
short s; //2 < n,那么放置起始位置应该是2的倍数,即6,位置区间为[6~7]
};//整体向4对齐后8
//指定对齐字节是1,则n = min(1,4) = 1)
struct s3
{
char c; //放在位置0,位置区间[0]
int i; //4 > n, 那么放置起始位置应该是1的倍数,即1,位置区间为[1~4]
short s; //2 > n,那么放置起始位置应该是1的倍数,即6,位置区间为[5~6]
};//整体向1对齐后7
复合数据类型,如union,struct,class的对齐方式为成员中对齐方式最大的成员的对齐方式。
预处理命令pragma=可以改变默认对齐数。