這里將再次對UNION進行一些小小的探究，思路來源于MFC中消息函數執行過程中的一些疑問。
union初探初步闡述了union與struct的一些區別，以及相應的使用方法，這里將以此為基礎，以類的方式進一步對union的運用方法進行一點說明。首先在項目中聲明一個超類（父類）CClassBase和一個子類CClassA，代碼如下：
1 class CClassBase {
2 public:
3 CClassBase(void);
4 ~CClassBase(void);
5 };
6
7 class CClassA : public CClassBase {
8 public:
9 CClassA(void);
10 ~CClassA(void);
11
12 void Func01(void);
13 int Func02(int);
14 int Func03(int, int);
15 void Func04(int, int*);
16 };
類CClassBase和類CClassA的實現代碼如下：
1 CClassBase::CClassBase(void) {
2 }
3
4 CClassBase::~CClassBase(void) {
5 }
6
7 CClassA::CClassA(void) {
8 }
9
10 CClassA::~CClassA(void) {
11 }
12
13 void CClassA::Func01(void) {
14 printf("call Func01\n");
15 }
16
17 int CClassA::Func02(int param) {
18 printf("call Func02, parameter:%d\n", param);
19 return param;
20 }
21
22 int CClassA::Func03(int param1, int param2) {
23 printf("call Func03, parameter:%d, %d\n", param1, param2);
24 return param1 + param2;
25 }
26
27 void CClassA::Func04(int inParam, int* outParam) {
28 printf("call Func04, parameter:%d\n", inParam);
29 *outParam = inParam * inParam;
30 }
如何將類中的方法或函數能通過一個全局函數進行調用呢？這里可以選用union來實現，首先需要定義一個能表示某個函數的函數類型，這里使用了一個enum來實現，代碼如下：
1 enum FUNC_TYPE {
2 TYPE_VOID_VOID = 0,
3 TYPE_INT_INT,
4 TYPE_INT_INT_INT,
5 TYPE_VOID_INT_PINT
6 };
其中TYPE_VOID_VOID代表返回值為void，參數為void；TYPE_INT_INT代表返回值為int，參數為int； TYPE_INT_INT_INT代表返回值為int，參數兩個，類型都是int；TYPE_VOID_INT_INT代表返回值為void，參數兩個，一個是int，另一個是int*。
定義完函數類型后，還需要定義一個通用的函數指針，用于指向任意一個成員函數，定義如下：
typedef void (CClassBase::*PFUNC)(void);
定義完函數類型和通用的函數指針后，就可以定義需要使用到的union了，代碼如下：
1 union UNION_FUNC {
2 PFUNC pFunc;
3
4 void (CClassBase::*pFunc_v_v)(void);
5 int (CClassBase::*pFunc_i_i)(int);
6 int (CClassBase::*pFunc_i_i_i)(int, int);
7 void (CClassBase::*pFunc_i_pi)(int, int*);
8 };
有了定義好的union，就可以定義一個全局函數調用指定類的實例的成員函數了，定義如下：
1 int CallFunc(CClassBase* pTarget, enum FUNC_TYPE func_type, PFUNC pFunc);
全局函數的實現代碼如下：
1 int CallFunc(CClassBase* pTarget, enum FUNC_TYPE func_type, PFUNC pFunc) {
2 if(pTarget == NULL) return 0;
3 if(pFunc == NULL) return 0;
4
5 union UNION_FUNC _FUNC_;
6 _FUNC_.pFunc = pFunc;
7 int result;
8
9 switch(func_type) {
10 case TYPE_VOID_VOID:
11 (pTarget->*_FUNC_.pFunc_v_v)();
12 result = 1;
13 break;
14 case TYPE_INT_INT:
15 result = (pTarget->*_FUNC_.pFunc_i_i)(10);
16 break;
17 case TYPE_INT_INT_INT:
18 result = (pTarget->*_FUNC_.pFunc_i_i_i)(10,20);
19 break;
20 case TYPE_VOID_INT_PINT:
21 (pTarget->*_FUNC_.pFunc_i_pi)(10, &result);
22 break;
23 default:
24 return 0;
25 }
26
27 return result;
28 }
這里需要說明一下的是，PFUNC需要在作用域CClassBase::下方可調用CClassBase及其子類的成員方法，如果沒有 CClassBase::的修飾，系統將認為是一個非法的函數調用，編譯時將發生錯誤。這也就是為什么要在真正的函數調用時加上CClassBase:: 或this->的修飾了，而函數前的*是解引用。通過以上的聲明和實現，就可以進行測試運行了，代碼如下：
1 int main(int argc, char* argv[])
2 {
3 system("cls");
4
5 CClassA classA;
6 int result = CallFunc(&classA, TYPE_INT_INT_INT, (PFUNC)(static_cast< int (CClassBase::*)(int, int) >(CClassA::Func03)));
7 return 0;
8 }