以前在學校學習C語言的時候一直搞不懂那個共用體union有什麼用的。工作之後才發現它的一些妙用，現舉例如下：

1. 為了方便看懂程式碼。

比如說想寫一個3 * 3的矩陣，可以這樣寫：
[ 注：下面用紅色部分標記的地方是後來新增上去的，謝謝yrqing718的提醒！]

1. struct  Matrix
2. {
3.     union
4.     {
5.         struct
6.         {
7.             float  _f11, _f12, _f13, _f21, _f22, _f23, _f31, _f32, _f33;
8.         };
9.         float  f[3][3];
10.     }_matrix;
11. };
12. struct  Matrix m;

1. #define TRUE 1
2. #define FALSE 0
3. #define BOOL int
4. BOOL  isBigEndian()
5. {
6.     int  i = 1;   /* i = 0x00000001*/
7.     char  c = *(char  *)&i; /* 注意不能寫成 char c = (char)i; */
8.     return  (int )c != i;
9. }

1. BOOL  isBigEndian()
2. {
3.     union
4.     {
5.         int  i;
6.         char  c;
7.     }test;
8.     test.c = 2;
9.     return  test.i != 2;
10. }

這裡用的是union來控制這個共享佈局，有個知識點就是union裡面的成員c和i都是從低地址開始對齊的。同樣可以得到如此結果，而且不用轉換，清晰一些。

什麼，不覺得清晰？？那再看下面的例子：

（2）. 將little endian下的long long型別的值換成 big endian型別的值。已經知道系統提供了下面的api：long htonl(long lg);作用是把所有的位元組序換成大端位元組序。因此得出下面做法：

1. long  long  htonLL(long  long  lg)
2. {
3.     union  
4.     {
5.         struct  
6.         { 
7.             long  low;
8.             long  high;
9.         }val_1;
10.         long  long  val_2;
11.     }val_arg, val_ret;
12.     if ( isBigEndian() )
13.         return  lg;
14.     val_arg.val_2 = lg;
15.     val_ret.val_1.low = htonl( val_arg.val_1.high );
16.     val_ret.val_1.high = htonl( val_arg.val_1.low );    
17.     return  val_ret.val_2;
18. }

只要把記憶體結構的草圖畫出來就比較容易明白了。

(3).為了理解c++類的佈局，再看下面一個例子。有如下類：

1. class  Test
2. {
3. public :
4.     float  getFVal(){ return  f;}
5. private :
6.     int  i;
7.     char  c;
8.     float  f;
9. };
10. Test t;

不能在類Test中增加程式碼，給物件中的f賦值7.0f.

1. class  Test_Cpy
2. {
3.  public :
4.     float  getVal(){ return  f;}
5.     float  setVal(float  f){ this ->f = f;}
6. private :
7.     int  i;
8.     char  c;
9.     float  f;
10. };
11. ....
12. int  main()
13. {
14.     Test t;
15.     union
16.     {
17.          Test t1, 
18.          Test_Cpy t2;
19.     }test;
20.     test.t2.setVal(7.0f);
21.     t = test.t1;
22.     assert( t.getVal() == 7.0f );   
23.     return  0;
24. }

說明：因為在增加類的成員函式時候，那個類的物件的佈局基本不變。因此可以寫一個與Test類一樣結構的類Test_Cpy，而多了一個成員函式setVal，再用uinon結構對齊，就可以給私有變數賦值了。（這種方法在有虛機類和虛擬函式機制時可能失靈，故不可移植）至於詳細的討論，網上有，這個例子在實際中沒有用途，只是用來考察這個記憶體佈局的使用而已.

union在作業系統底層的程式碼中用的比較多，因為它在記憶體共賞佈局上方便且直觀。所以網路程式設計，協議分析，核心程式碼上有一些用到union都比較好懂，簡化了設計。