结构体对齐问题

许多实际的计算机系统对基本类型数据在内存中存放的位置有限制，它们会要求这些数据的起始地址的值是某个数k的倍数，这就是所谓的内存对齐，而这个k则被称为该数据类型的对齐模数(alignment modulus)。这种强制的要求一来简化了处理器与内存之间传输系统的设计，二来可以提升读取数据的速度。

比如这么一种处理器，它每次读写内存的时候都从某个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 ;
};
  
  

这时Test1的大小就变成了16，而不是24了，节省了8个字节！可见结构体中成员的书写顺序对结构体大小的影响还是很大的，一个好的建议是，按照数据类型由小到大并且同类型的顺序进行书写。

下面的代码练习下吧

#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;
}