结构体共用体占用空间大小区别&&内存对齐计算

（题目来自牛客网）

在32位机器上
设有以下说明和定义：

typedef union {
    long i;
    int k[5];
    char c;
} DATE;
struct data {
    int cat;
    DATE cow;
    double dog;
} too;
DATE max;
则语句 printf("%d",sizeof(struct data)+sizeof(max));的执行结果是：

52

共享体
union 维护足够的空间来置放多个数据成员中的“一种”，而不是为每一个数据成员配置空间，在union 中所有的数据成员共用一个空间，同一时间只能储存其中一个数据成员，所有的数据成员具有相同的起始地址。例子如下： 
union StateMachine 
{ 
char character; 
int number; 
char *str; 
double exp; 
};

一个union 只配置一个足够大的空间以来容纳最大长度的数据成员，以上例而言，最大长度是double 型态，所以StateMachine 的空间大小就是double 数据类型的大小。

结构体【内存对齐】
（转自http://blog.csdn.net/szchtx/article/details/8801583）

结构体变量的所有成员占用不同的存储空间，结构体中的成员可以是不同的数据类型，成员按照定义时的顺序依次存储在连续的内存空间。和数组不一样的是，结构体的大小不是所有成员大小简单的相加，需要考虑到系统在存储结构体变量时的地址对齐问题。

看下面这样的一个结构体：

[cpp] view plain copy print?
struct stu1  
{  
     int i;  
     char c;  
     int j;  
}；  

用sizeof求该结构体的大小，发现值为12。int占4个字节，char占1个字节，结果应该是9个字节才对啊，为什么呢？

先介绍一个相关的概念——偏移量。偏移量指的是结构体变量中成员的地址和结构体变量地址的差。结构体大小等于最后一个成员的偏移量加上最后一个成员的大小。显然，结构体变量中第一个成员的地址就是结构体变量的首地址。因此，第一个成员i的偏移量为0。第二个成员c的偏移量是第一个成员的偏移量加上第一个成员的大小（0+4）,其值为4；第三个成员j的偏移量是第二个成员的偏移量加上第二个成员的大小（4+1）,其值为5。

然而，在实际中，存储变量时地址要求对齐，编译器在编译程序时会遵循两条原则：

  （1）结构体变量中成员的偏移量必须是成员大小的整数倍（0被认为是任何数的整数倍） 

  （2）结构体大小必须是所有成员大小的整数倍，也即所有成员大小的公倍数。

上面的例子中前两个成员的偏移量都满足要求，但第三个成员的偏移量为5，并不是自身(int)大小的整数倍。编译器在处理时会在第二个成员后面补上3个空字节，使得第三个成员的偏移量变成8。结构体大小等于最后一个成员的偏移量加上其大小，上面的例子中计算出来的大小为12，满足要求。

再来看另外一个例子：

[cpp] view plain copy print?
struct stu2  
{  
      int k;  
      short t;  
}；  

成员k的偏移量为0；成员t的偏移量为4，都不需要调整。但计算出来的大小为6，显然不是成员k大小的整数倍。因此，编译器会在成员t后面补上2个字节，使得结构体的大小变成8从而满足第二个要求。 
由此可见，结构体类型需要考虑到字节对齐的情况，不同的顺序会影响结构体的大小。

对比下面两种定义顺序：

[cpp] view plain copy print?
struct stu3  
{   
       char c1;   
       int i;  
       char c2;  
}  

struct stu4  
{  
       char c1;  
       char c2;  
       int i;  
 }  

虽然结构体stu3和stu4中成员都一样，但sizeof(struct stu3)的值为12而sizeof(struct stu4)的值为8。

对于嵌套的结构体，需要将其展开。对结构体求sizeof时，上述两种原则变为：

   （1）展开后的结构体的第一个成员的偏移量应当是被展开的结构体中最大的成员的整数倍。

   （2）结构体大小必须是所有成员大小的整数倍，这里所有成员计算的是展开后的成员，而不是将嵌套的结构体当做一个整体。

看下面的例子：

[cpp] view plain copy print?
struct stu5  
{  
      short i;  
      struct   
      {  
           char c;  
           int j;  
      } ss;   
      int k;  
}  

结构体stu5的成员ss.c的偏移量应该是4，而不是2。整个结构体大小应该是16。

下述代码测试原则2：

[cpp] view plain copy print?
struct stu5  
{  
      char i;  
      struct   
      {  
           char c;  
           int j;  
      } ss;   
      char a;  
      char b;  
      char d;  
      char e;  
      char f;  
}  

结构体ss单独计算占用空间为8，而stu5的sizeof则是20，不是8的整数倍，这说明在计算sizeof(stu5)时，将嵌套的结构体ss展开了，这样stu5中最大的成员为ss.j，占用4个字节，20为4的整数倍。如果将ss当做一个整体，结果应该是24了。

另一个特殊的例子是结构体中包含数组，其sizeof应当和处理嵌套结构体一样，将其展开，如下例子：

[cpp] view plain copy print?
struct ss  
{  
    float f;  
    char p;  
    int adf[3];  
};  
cout<<sizeof(ss)<<endl;  

其值为20。float占4个字节，到char p时偏移量为4，p占一个字节，到int adf[3]时偏移量为5，扩展为int的整数倍，而非int adf[3]的整数倍，这样偏移量变为8，而不是12。结果是8+12=20，是最大成员float或int的大小的整数倍。

如何给结构体变量分配空间由编译器决定，以上情况针对的是Linux下的GCC。在Windows下的VC平台也是这样，至于其他平台，可能会有不同的处理。

数组
数组是相同类型的元素的集合，只要会计算单个元素的大小，整个数组所占空间等于基础元素大小乘上元素的个数。
————————————————
版权声明：本文为CSDN博主「zmysang」的原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/u010223431/article/details/54376040