在C++中,成員函數(shù)指針作為參數(shù)傳遞給其他函數(shù)和普通函數(shù)指針的傳遞是不同的,首先我們來回顧一下普通函數(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ù)、類型和相同返回類型的函數(shù)指針int (*p)(int),傳遞時(shí)只需傳函數(shù)名就可以了
可是為什么在C++中,傳遞成員函數(shù)指針用此方法卻不能工作呢?我們先來回顧一下指針的概念,指針是指向一些內(nèi)存地址的變量,既可以是數(shù)據(jù)的地址也可以是函數(shù)的地址。C++的 成員指針遵從同樣的原則。困難的是所有的指針需要一個(gè)地址,但在類內(nèi)部沒有地址;選擇一個(gè)類的成員意味著在類中偏移。只有把這個(gè)偏移和具體對(duì)象的開始地址結(jié)合,才能得到實(shí)際地址。成員指針的語法要求選擇一個(gè)對(duì)象的同時(shí)逆向引用成員指針。
先來看看一個(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類型無法真正解決問題,因?yàn)檫@樣的話,該成員函數(shù)就不能存取類中的非靜態(tài)成員變量,而很多情況下既要求傳遞成員函數(shù)指針,又要求該成員函數(shù)能夠存取類中的非靜態(tài)成員變量。
為了能夠正確地傳遞成員函數(shù)指針,我們先來看看成員參數(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);
}
//---------------------------------------------------------------------------
接下來就可以構(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ì)象的開始地址結(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);
}
這樣就可以傳遞不同的類的成員函數(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);
}
//---------------------------------------------------------------------------
(全文完)