C++指標直接調用類成員函數探討（zz）

在編程工作中常會遇到在一個“類”中通過函數指標調用成員函數的要求，如，當在一個類中使用了C++標準庫中的排序函數qsort時，因qsort參數需要一個“比較函數”指標，如果這個“類”使用某個成員函數作“比較函數”，就需要將這個成員函數的指標傳給qsort供其調用。本文所討論的用指標調用 “類”的成員函數包括以下三種情況：

　　（1）．將 “類”的成員函數指標賦予同類型非成員函數指標，如：

　　例子1

#include <stdlib.h>

typedef void (*Function1)( ); //定義一個函數指標類型。
Function1 f1;

class Test1
{
　public:
　　//…被調用的成員函數。
　　void Memberfun1( ){ printf("%s \n","Calling Test3::Memberfun2 OK");}; //
　　void Memberfun2()
　　{
　　　f1=reinterpret_cast<Function1>(Memberfun1);//將成員函數指標賦予f1。編譯出錯。
　　　f1();
　　}
　　//…
};

int main()
{
　Test1 t1;
　t1.Memberfun2();
　return 0;
}

　　（2） 在一個“類”內，有標準庫函數，如qsort， 或其他全域函數，用函數指標調用類的成員函數。如：

　　例子2：

#include <stdlib.h>

class Test2
{
private:
int data[2];
//…
public:
//…
int __cdecl Compare(const void* elem1, const void* elem2) //成員函數。
{
printf("%s \n","Calling Test2::Memberfun OK");
return *((int*)elem1)- *((int*)elem2) ;
}

void Memberfun()
{
data[0]=2; data[1]=5;
qsort( data, 2, sizeof(int), Compare); //標準庫函數調用成
//員函數。編譯出錯。
}

//…
};

int main( )
{
Test2 t2;
t2.Memberfun(); //調用成員函數。
return 0;

}

（3）同一個“類”內，一個成員函數調用另一個成員函數， 如：

　　例子3：

#include "stdlib.h"
class Test3
{
public:
//…
void Memberfun1( void (* f2)( ) ) { f2( ) ;} //成員函數1調用成員函數//2。
void Memberfun2( ) { printf("%s \n","Calling Test3::Memberfun2 OK");} //成員函數2。
void Memberfun3( ) { Memberfun1( Memberfun2);} // 編譯出錯
//…
};

int main( )
{

Test3 t3;
t3.Memberfun3(); //調用成員函數。
return 0;

}

　　以上三種情況的代碼文法上沒有顯著的錯誤，在一些較早的編譯環境中，如，VC++ 4.0， 通常可以編譯通過，或至多給出問題提醒（Warning）。後來的編譯工具，如，VC++6.0和其他一些常用的C++編譯軟體，不能通過以上代碼的編譯， 並指出錯誤如下(以第三種情況用VC++ 6.0編譯為例)：

error C2664: 'Memberfun1' : cannot convert parameter 1 from 'void (void)' to 'void (__cdecl *)(void)'
None of the functions with this name in scope match the target type

　　即：Memberfun1參數中所調用的函數類型不對。

　　按照以上提示，僅通過改變函數的類型無法消除錯誤，但是，如果單將這幾個函數從類的定義中拿出來，不作任何改變就可以消除錯誤通過編譯， 仍以第三種情況為例，以下代碼可通過編譯:

#include <stdlib.h>

void Memberfun1( void (* f2)( ) ) { f2( ) ;} //原成員函數1調用成員函數//2。
void Memberfun2( ) { printf("%s \n","Calling Test3::Memberfun2 OK");} //原成員函數2。
void Memberfun3( ) { Memberfun1( Memberfun2);}

int main( )
{
Memberfun3 ();
return 0;
}

　　第1、 2種情況和第3種情況完全相同。

　　由此可以的得出結論，以上三種情況編譯不能通過的原因表面上並不在於函數類型調用不對，而是與 “類”有關。沒通過編譯的情況是用函數指標調用了 “類”的成員函數，通過編譯的是用函數指標調用了非成員函數，而函數的類型完全相同。那麼， “類”的成員函數指標和非成員函數指標有什麼不同嗎？

　　在下面的程式中，用sizeof()函數可以查看各種“類”的成員函數指標和非成員函數指標的長度（size）並輸出到螢幕上。

#include "stdafx.h"
#include <iostream>
#include <typeinfo.h>

class Test; //一個未定義的類。

class Test2 //一個空類。
{
};

class Test3 //一個有定義的類。
{
　public:
　　//...
　　void (* memberfun)();
　　void Memberfun1( void (* f2)( ) ) { f2( ) ;} //成員函數1調用成員函數//2。
　　void Memberfun2( );//成員函數2。
　　//…
};

class Test4: virtual Test3 ,Test2 //一個有virtual繼承的類（derivative class）。
{
　public:
　　void Memberfun1( void (* f2)( ) ) { f2( ) ;}
};

class Test5: Test3,Test2 //一個繼承類（derivative class）。
{
　public:
　　void Memberfun1( void (* f2)( ) ) { f2( ) ;}
};

int main()
{
　std::cout <<"一般函數指標長度= "<< sizeof(void(*)()) << '\n';
　std::cout <<"-類的成員函數指標長度-"<<'\n'<<'\n';
　std::cout <<"Test3類成員函數指標長度="<< sizeof(void(Test3::*)())<<'\n'<<'\n';
　std::cout <<"Test5類成員函數指標長度="<<sizeof(void (Test5:: *)())<<'\n';
　std::cout <<"Test4類成員函數指標長度="<<sizeof(void (Test4:: *)())<<'\n';
　std::cout <<"Test類成員函數指標長度="<<sizeof(void(Test::*)()) <<'\n';
　return 0;
}

　　輸出結果為（VC++6.0編譯，運行於Win98作業系統，其他動作系統可能有所不同）：

　　一般非成員函數指標長度= 4
　　
　　-類的成員函數指標長度-

　　Test3類成員函數指標長度=4
　　Test5類成員函數指標長度=8
　　Test4類成員函數指標長度=12
　　Test類成員函數指標長度=16

　　以上結果表明，在32位Win98作業系統中，一般函數指標的長度為4個位元組（32位），而類的成員函數指標的長度隨類的定義與否、類的繼承種類和關係而變，從無繼承關係類（Test3）的4位元組（32位）到有虛繼承關係類（Virtual Inheritance）（Test4）的12位元組（96位），僅有說明(declaration)沒有定義的類（Test）因為與其有關的一些資訊不明確成員函數指標最長為16位元組（128位）。顯然， 與一般函數指標不同，指向“類”的成員函數的指標不僅包含成員函數地址的資訊，而且包含與類的屬性有關的資訊，因此，一般函數指標和類的成員函數指標是根本不同的兩種類型，當然，也就不能用一般函數指標直接調用類的成員函數，這就是為什麼本文開始提到的三種情況編譯出錯的原因。儘管使用較早版本的編譯軟體編譯仍然可以通過，但這會給程式留下嚴重的隱患。

　　至於為什麼同樣是指向類的成員函數的指標，其長度竟然不同，從32位到128位，差別很大，由於沒有看到微軟官方的資料只能推測VC++6.0在編譯時間對類的成員函數指標進行了最佳化，以盡量縮短指標長度，畢竟使用128位或96位指標在32位作業系統上對程式效能會有影響。但是，無論如何最佳化，類的成員函數指標包含一定量的對象（Objects）資訊是確定的。其他的作業系統和編譯軟體是否進行了類似的處理，讀者可以用以上程式自己驗證。

那麼，當需要時，如何用指標調用類的成員函數？可以考慮以下方法：

　　（1） 將需要調用的成員函數設為static 類型，如：在前述例子2中，將class Test2 成員函數Compare 定義前加上static 如下（黑體為改變之處）：

class Test2
{
//….
int static __cdecl Compare(const void* elem1, const void* elem2) //成員函數。
//其他不變
}

　　改變後的代碼編譯順利通過。原因是，static 類型的成員函數與類是分開的，其函數指標也不包含對象資訊，與一般函數指標一致。這種方法雖然簡便，但有兩個缺點：1、被調用的函數成員定義內不能出現任何類的成員（包括變數和函數）；2、由於使用了static 成員，類在被繼承時受到了限制。

　　（2） 使用一個函數參數含有對象資訊的static 類型的成員函數為中轉間接地調用其他成員函數，以例3為例，將類Test3作如下修改（黑體字為修改之處），main（）函數不變，則可順利通過編譯：

class Test3
{
　public:
　　//…
　　void static __cdecl Helper(Test3* test3)
　　{
　　　test3->Memberfun2();
　　}
　　void Memberfun1( void (* f2)(Test3*)) { f2(this) ;} //將對象資訊傳給Helper函數。
　　void Memberfun2( ) {printf("%s \n","Calling Test3::Memberfun2 OK"); } //成員函數2。
　　void Memberfun3( ) { Memberfun1( Helper);}
　　//…
};

　　這種間接方式對成員函數沒有任何限制，克服了第一種方法成員函數不能使用任何類的成員的缺點，但由於有static 成員，類的繼承仍受到制約。

　　（3）使用一個全程函數（global function）為中轉間接調用類的成員函數，仍以例3為例，將代碼作如下修改（VC++6.0編譯通過）：

class Test3;
void __cdecl Helper(Test3* test3);

class Test3
{
　public:
　　//…
　　void Memberfun1( void (* f2)(Test3*)) { f2(this) ;} //成員函數1調用成員函數//2。
　　void Memberfun2( ) {printf("%s \n","Calling Test3::Memberfun2 OK"); } //成員函數2。
　　void Memberfun3( ) { Memberfun1( Helper);}
　　//…
};

void __cdecl Helper(Test3* test3)
{
　test3->Memberfun2();
};

　　這個方法對成員函數沒有任何要求，但是需要較多的代碼。

　　除上述三種方法外還有其他方法，如， 可以在彙編層面上修改代碼解決上述問題等，不屬於本文範圍。

　　結論：函數指標不能直接調用類的成員函數，需採取間接的方法，原因是成員函數指標與一般函數指標有根本的不同，成員函數指標除包含地址資訊外，同時攜帶其所屬對象資訊。本文提供三種辦法用於間接調用成員函數。這三種辦法各有優缺點，適用於不同的場合。

原文地址：http://blog.csdn.net/wfwd/archive/2005/07/17/427276.aspx