共用体和结构体内存分配

1. 共用体内存分配

共用体表示几个变量共用一个内存位置，在不同的时间保存不同的数据类型和不同长度的变量。在union中，所有的共用体成员共用一个空间，并且同一时间只能储存其中一个 成员变量 的值。

　　下例表示声明一个共用体foo:
　　union foo  {

　　int i;
　　char c;
　　double k;
　　};
　　再用已声明的共用体可定义共用体变量。
　　例如用上面说明的共用体定义一个名为bar的共用体变量, 可写成:
　　union foo bar;
　　在共用体变量bar中,  整型变量 i和 字符变量 c共用同一内存位置。

　　当一个共用体被声明时,  编译程序 自动地产生一个变量, 其长度为联合中最大的变量长度的整数倍。以上例而言，最大长度是double数据类型，所以foo的内存空间就是double型的长度。
　　union foo 　　{
　　char s[10];
　　int i;
　　};
　　在这个union中，foo的内存空间的长度为12，是int型的3倍，而并不是 数组 的长度10，因为char[10]占了10个字节，那么以int型的4字节对齐就应该是int的3倍12字节。若把int改为double，则foo的内存空间为16，是double型的两倍。

示例1：
   Union data1
 {
  double  d;
 int    i;
 char   c1;
 char   c2[9];
 };

  sizeof(uniondata1)的值为16.在编译器默认设置的情况下，该共用体最大基本类型为double,它占8字节，所以此共用体以8来对齐。字符数组c2占9个字节，那么整个共用体应该占9个字节，但按照对齐原则，实际分配给它的内存为16字节。

2. 结构体内存分配

“结构”是一种构造类型，它是由若干“成员”组成的。 每一个成员可以是一个基本数据类型或者又是一个构造类型。 结构既是一种“构造”而成的数据类型， 那么在说明和使用之前必须先定义它，也就是构造它。如同在说明和调用函数之前要先定义函数一样。

结构定义之后，即可进行变量说明。 凡说明为结构stu的变量都由上述4个成员组成。由此可见， 结构是一种复杂的 数据类型 ，是数目固定，类型不同的若干有序变量的集合。

　　请看下面的结构：

　　struct MyStruct  {

　　double dda1;

　　char dda;

　　int type;

　　};

 对结构MyStruct采用sizeof会出现什么结果呢？sizeof(MyStruct)为多少呢？也许你会这样求： 　　                  sizeof(MyStruct)=sizeof(double)+sizeof(char)+sizeof(int)=13

　　但是当在VC中测试上面结构的大小时，你会发现sizeof(MyStruct)为16。你知道为什么在VC中会得出这样一个结果吗？

　　其实，这是VC对 变量 存储的一个特殊处理。为了提高CPU的存储速度，VC对一些变量的起始地址做了“ 对齐 ”处理。在默认情况下，VC规定各 成员变量 存放的起始地址相对于结构的起始地址的 偏移量 必须为该变量的类型所占用的字节数的倍数。下面列出常用类型的对齐方式(vc6.0,32位系统)。

　　类型 　　对齐方式（变量存放的起始地址相对于结构的起始地址的偏移量）

　　Char 　　偏移量必须为sizeof(char)即1的倍数

　　int 　　偏移量必须为sizeof(int)即4的倍数

　　float 　　偏移量必须为sizeof(float)即4的倍数

　　double 　　偏移量必须为sizeof(double)即8的倍数

　　Short 　　偏移量必须为sizeof(short)即2的倍数

示例2：

  struct data1

  {

      double  d;

      int        i;

     char     c1;

     char     c2[9];

   };

 sizeof(structdata1)的值为24，首先按照存储大小，该结构体所占存储空间为：8+4+1+9=22字节，这个结构体也是以8对齐，因此实际分配的是24字节

2.1、默认的对齐方式

　　各 成员变量 在存放的时候根据在结构中出现的顺序依次申请空间，同时按照上面的对齐方式调整位置，空缺的 字节 VC会自动填充。同时VC为了确保结构的大小为结构的 字节边界数 （即该结构中占用最大空间的类型所占用的字节数）的倍数，所以在为最后一个成员变量申请空间后，还会根据需要自动填充空缺的字节。

　　下面用前面的例子来说明VC到底怎么样来存放结构的。

　　struct MyStruct 　{

　　double dda1;

　　char dda;

　　int type；

　　}；

　　为上面的结构分配空间的时候，VC根据成员变量出现的顺序和对齐方式，先为第一个成员dda1分配空间，其起始地址跟结构的起始地址相同（刚好 偏移量 0刚好为sizeof(double)的倍数），该成员变量占用sizeof(double)=8个字节；接下来为第二个成员dda分配空间，这时下一个可以分配的地址对于结构的起始地址的偏移量为8，是sizeof(char)的倍数，所以把dda存放在偏移量为8的地方满足对齐方式，该成员变量占用sizeof(char)=1个字节；接下来为第三个成员type分配空间，这时下一个可以分配的地址对于结构的起始地址的偏移量为9，不是sizeof(int)=4的倍数，为了满足对齐方式对偏移量的约束问题，VC自动填充3个字节（这三个字节没有放什么东西），这时下一个可以分配的地址对于结构的起始地址的偏移量为12，刚好是sizeof(int)=4的倍数，所以把type存放在偏移量为12的地方，该成员变量占用sizeof(int)=4个字节；这时整个结构的成员变量已经都分配了空间，总的占用的空间大小为：8+1+3+4=16，刚好为结构的字节边界数（即结构中占用最大空间的类型所占用的字节数sizeof(double)=8）的倍数，所以没有空缺的字节需要填充。所以整个结构的大小为：sizeof(MyStruct)=8+1+3+4=16，其中有3个字节是VC自动填充的，没有放任何有意义的东西。

　　下面再举个例子，交换一下上面的MyStruct的成员变量的位置，使它变成下面的情况：

　　struct MyStruct 　　{

　　char dda；

　　double dda1；

　　int type；

　　}；

　　这个结构占用的空间为多大呢？在VC6.0环境下，可以得到sizeof(MyStruc)为24。结合上面提到的分配空间的一些原则，分析下VC怎么样为上面的结构分配空间的。（简单说明）

　　struct MyStruct 　　{

　　char dda;//偏移量为0，满足对齐方式，dda占用1个字节；

　　double dda1;//下一个可用的地址的偏移量为1，不是sizeof(double)=8

　　//的倍数，需要补足7个字节才能使偏移量变为8（满足对齐

　　//方式），因此VC自动填充7个字节，dda1存放在偏移量为8

　　//的地址上，它占用8个字节。

　　int type；//下一个可用的地址的偏移量为16，是sizeof(int)=4的倍

　　//数，满足int的对齐方式，所以不需要VC自动填充，type存

　　//放在偏移量为16的地址上，它占用4个字节。

　　}；//所有成员变量都分配了空间，空间总的大小为1+7+8+4=20，不是结构

　　//的节边界数（即结构中占用最大空间的类型所占用的字节数sizeof

　　//(double)=8）的倍数，所以需要填充4个字节，以满足结构的大小为

　　//sizeof(double)=8的倍数。

　　所以该结构总的大小为：sizeof(MyStruc)为1+7+8+4+4=24。其中总的有7+4=11个字节是VC自动填充的，没有放任何有意义的东西。

结构体中嵌入结构体：

 struct inner

  {

   char      c1;

   double   d;

   char     c2;

 };

这个结构体显然是8字节对齐的，在给c1分配存储空间时，考虑到对齐，分配给c1的字节数就是8，然后给d分配8字节，最后给c2分配时，因为也要以8对齐，所以也分配了8个字节的存储空间。所以sizeof(structinner)值为24.

如果是：

  struct inner

  {

   char      c1;

   char     c2;

  double   d;

  };

当然这个结构体也是以8字节对齐的，编译器编译程序时，给c1、c2分配存储空间没有必要各自给它们分配8字节，只要8字节就可以了。给d分配8字节，所以sizeof(structinner)值为16.

  struct inner

  {

   char      c1;

   double   d;

  char     c2;

  };

 

  union data4

   {

     struct   inner t1;

      int           i;

      char        c;

    };

  由于data4共用体中有一个inner结构体，所以最大的基本数据类型为double,因此以8字节对齐。共用体的存储长度取决于t1，而t1长度为24，因此sizeof(uniondata4)的值为24.

 struct inner

  {

   char      c1;

    double   d;

   char     c2;

  };

 

  struct data4

   {

      struct   inner t1;

       int           i;//inner占用了24个字节，是int 4字节的整数倍，故直接24+4

      char        c;//28是char 1字节的整数倍，故28+1=29，但是29不是8的整数倍，补充3字节变为32字节

    };

 data4结构体中有一个inner结构体，所以以8对齐，变量i和c共分配8字节就可以了，因此sizeof(structdata4)的值为32.

2.2、n字节的对齐方式

　　VC对结构的存储的特殊处理确实提高CPU存储 变量 的速度，但是有时候也带来了一些麻烦，我们也屏蔽掉变量默认的对齐方式，自己可以设定变量的对齐方式。

　　VC中提供了 #pragma  pack(n)来设定变量以n 字节对齐 方式。n字节对齐就是说变量存放的起始地址的 偏移量 有两种情况：第一、如果n大于等于该变量所占用的字节数，那么偏移量必须满足默认的对齐方式，第二、如果n小于该变量的类型所占用的字节数，那么偏移量为n的倍数，不用满足默认的对齐方式。结构的总大小也有个约束条件，分下面两种情况：如果n大于所有 成员变量 类型所占用的字节数，那么结构的总大小必须为占用空间最大的变量占用的空间数的倍数；

　　否则必须为n的倍数。下面举例说明其用法。

　　#pragma pack(push) //保存对齐状态

　　#pragma pack(4)//设定为4字节对齐

　　struct test 　　{

　　char m1;

　　double m4;

　　int m3;

　　};

　　#pragma pack(pop)//恢复对齐状态

　　以上结构的大小为16，下面分析其存储情况，首先为m1分配空间，其偏移量为0，满足我们自己设定的对齐方式（4字节对齐），m1占用1个字节。接着开始为m4分配空间，这时其偏移量为1，需要补足3个字节，这样使偏移量满足为n=4的倍数（因为sizeof(double)大于n）,m4占用8个字节。接着为m3分配空间，这时其偏移量为12，满足为4的倍数，m3占用4个字节。这时已经为所有成员变量分配了空间，共分配了16个字节，满足为n的倍数。如果把上面的#pragma pack(4)改为#pragma pack(16)，那么我们可以得到结构的大小为48。

3. 共用体和结构体的区别

　　 共用体 和结构体有下列区别:

　　1. 共用体和 结构体 都是由多个不同的 数据类型 成员组成, 但在任何同一时刻, 共用体只存放了一个被选中的成员, 而结构体的所有成员都存在。

　　2. 对于共用体的不同成员赋值, 将会对其它成员重写, 原来成员的值就不存在了, 而对于结构体的不同成员赋值是互不影响的。

示例参考：http://hi.baidu.com/510324130/item/4f12efd24e5ed643fa57685e