C/C++联合(Union)浅谈

联合提供了一种方式，能够规避C的类型系统，允许以多种类型来引用一个对象。联合声明的语法和结构体的语法一样，只不过语义相差很大。它们不是用不同的域来引用不同的存储器块，而是引用同一块存储块。

下面我们来举几个例子：

struct STest

{

       char   c;

       int    i[ 2 ];

       double var;

};

 

union UTest

{

       char   c;

       int    i[ 2 ];

       double var;

};

 

我们可以查看内存里面的分布：

类型         c     i    var    大小        

STest     0     4    12     20

UTest     0     0    0      8

上面的数据表示距离首地址的存储器块偏移。假如我们定义了UTest* pU; 我们分别察看p->c;  p->i[ 0 ];  p->var; 它们所引用的都是数据结构的起始位置。当然求sizeof的话。UTest的大小将是它的最大类型的数据成员的大小。

 

联合的用处很多，这里举一个怎么用它来节省空间：

假设我们有一个二叉树的数据结构，每个叶子节点都有一个double的数据值，而每个内部节点都有指向孩子节点的指针，但是没有数据（因为是叶子节点）。如果我们像这样声明：

struct NODE

{

       struct NODE* pLeft;

       struct NODE* pRight;

       double       data;

};

我们可以知道这样一个结构体需要16个字节，每个叶子节点都会浪费一半的字节。相反，如果我们用联合来声明一个节点：

union NODE

{

       struct

       {

              union NODE* pLeft;

              union NODE* pRight;

       }inter;

       double data;

};

这样一来，每个节点就只需要8个字节。如果pNode是一个指向union NODE类型的指针，我们用pNode->data来引用叶子节点的数据。而pNode->inter.pLeft和pNode->inter.pRight来引用内部节点的孩子。

这样可能出现一种情况，就是无法确定是哪种节点（内部节点或叶子节点）。我们可以引用一个标志域。

struct NODE

{

       BOOL  isLeaf;

       union

       {

              struct

              {

                     union NODE* pLeft;

                     union NODE* pRight;

              }inter;

              double data;

       }info;

}

 

不过对于这样小的节省而导致代码的可读性变得差了一些。在这里联合带来的好处可以忽略。对于较多域的数据结构，这样的节省会更加吸引人一些。

 

还有一个用法就是用来访问不同数据类型的位。如：

UINT floatToBits( float fVar )

{

       union

       {

               float  fV;

               UINT uI;

       }temp;

       temp.fV = fVar;

       return temp.uI;

}

我们看看汇编代码：

mov         eax,dword ptr [ fVar ]

mov         dword ptr [ temp ],eax

 

它跟下面的函数产生回汇编代码是一样的：

UINT floatToBits( UINT var )

{

       return var;

}

这就证明汇编代码里面缺乏信息，无论是什么类型都相对于EBP偏移固定的值。过程只是简单的拷贝，并没有修改任何位。

 

再举个例子吧：

double bitToDouble( UINT uParam1, UINT uParam2 )

{

       union

       {

               double d;

               UINT u[ 2 ];  

       }temp;

       temp.u[ 0 ] = uParam1;

       temp.u[ 1 ] = uParam2;

       return temp.d;

}