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