C++——將成員函數作為參數

在C++中，成員函數指針作為參數傳遞給其他函數和普通函數指針的傳遞是不同的，首先 
我們來回顧一下普通函數指針的傳遞方法: 
//-------------------------------------------------------------------------- 
int fun1(int i){ 
         return i; 
} 
void fun2(int j, int (*p)(int)){ 
         cout << p(j); 
} 
void main() 
{ 
         int i=1; 
         fun2(i,fun1); 
} 
//-------------------------------------------------------------------------- 
  
只要在參數聲明中聲明是相同參數個數、類型和相同返回類型的函數指針int (*p)(int 
)，傳遞時只需傳函數名就可以了可是為什么在C++中，傳遞成員函數指針用此方法卻不 
能工作呢？我們先來回顧一下指針的概念，指針是指向一些內存地址的變量，既可以是 
數據的地址也可以是函數的地址。C++的成員指針遵從同樣的原則。困難的是所有的指針 
需要一個地址，但在類內部沒有地址；選擇一個類的成員意味着在類中偏移。只有把這 
個偏移和具體對象的開始地址結合，才能得到實際地址。成員指針的語法要求選擇一個 
對象的同時逆向引用成員指針。先來看看一個錯誤的例子： 
//-------------------------------------------------------------------------- 
class A 
{ 
public: 
         int fun1(int i){return i;}; 
}; 
void fun2(int j, int (A::*p)(int)){ 
         cout <<p(j); 
} 
void main() 
{ 
         A oba; 
         int i=1; 
         fun2(i,oba.fun1);  //this is an error 
} 
//-------------------------------------------------------------------------- 
  
當然，你可以把成員函數聲明為static（靜態函數），這樣傳遞它的指針就像傳遞普通 
函數一樣，然而把成員函數定義成static類型無法真正解決問題，因為這樣的話，該成 
員函數就不能存取類中的非靜態成員變量，而很多情況下既要求傳遞成員函數指針，又 
要求該成員函數能夠存取類中的非靜態成員變量。 
為了能夠正確地傳遞成員函數指針，我們先來看看成員參數、成員函數指針正確的聲明 
方法： 
//-------------------------------------------------------------------------- 
class A 
{ 
public: 
         int i1; 
         int fun1(int i){ 
                 return i; 
         }; 
}; 
void main() 
{ 
         int (A::*fp1)(int);    //聲明fp1為class A中的成員函數指針 
         int A::*ip1;           //聲明ip1為class A中的成員變量指針 
         fp1=&A::fun1;          //初始化fp1 
         ip1=&A::i1;            //初始化ip1 
         ip1=&A::i1;            //初始化ip1 
         A oba; 
         oba.*ip1=2; 
         (oba.*fp1)(oba.*ip1); 
} 
//-------------------------------------------------------------------------- 
  
接下來就可以構造含有成員函數指針參數的函數了： 
void fun2(int j, A ob, int (A::*p)(int)){ 
         cout <<(ob.*p)(j); 
} 
注意聲明時必須加上一個對象參數A ob，因為只有把這個偏移和具體對象的開始地址結 
合，才能得到實際地址。 
  
另外，為了保證函數的健壯性和經濟性，我們可以把對象參數改為對象指針參數： 
void fun2(int j, A *obp, int (A::*p)(int)){ 
         cout <<(obp->*p)(j); 
} 
  
為了通用，我們還可以把這個函數聲明為通用函數： 
template <class T> 
void fun2(int j, T *obp, int (A::*p)(int)){ 
         cout <<(obp->*p)(j); 
} 
  
這樣就可以傳遞不同的類的成員函數指針給它了，以下為正確傳遞成員函數指針的例程： 
//-------------------------------------------------------------------------- 
class A 
{ 
public: 
         int fun1(int i){ 
                 return i; 
         }; 
}; 
template <class T> 
void fun2(int j, T *obp, int (T::*p)(int)){ 
         cout <<(obp->*p)(j); 
} 
void main() 
{ 
         int (A::*fp1)(int); 
         fp1=&A::fun1; 
         A oba; 
         A *obap=&oba; 
         int i=1; 
         fun2(i,obap,fp1); 
} 
//-------------------------------------------------------------------------- 
  
但是這樣聲明之后就不能再傳遞普通函數指針給函數fun2了，為了更加通用，當然可以 
顯式地重載一下這個函數，以便它也能使用普通函數指針參數： 
//-------------------------------------------------------------------------- 
class A 
{ 
public: 
         int fun1(int i){ 
                 return i; 
         }; 
}; 
template <class T> 
void fun2(int j, T *obp, int (T::*p)(int)){ 
         cout <<(obp->*p)(j); 
} 
void fun2(int j, int (*p)(int)){ 
         cout << p(j); 
} 
int fun3(int i){ 
         return i; 
} 
void main() 
{ 
         int (A::*fp1)(int); 
         fp1=&A::fun1; 
         A oba; 
         A *obap=&oba; 
         int i=1; 
         fun2(i,obap,fp1); 
         fun2(i,fun3); 
} 
//--------------------------------------------------------------------------