首先 函數指針是指向一組同類型的函數的指針；而類成員函數我們也可以相似的認為，它是指向同類中同一組類型的成員函數的指針，當然這里的成員函數更準確的講應該是指非靜態的成員函數。前者是直接指向函數地址的，而后者我們從字面上也可以知道 它肯定是跟類和對象有著關系的。
函數指針實例：
typedef int (*p)(int,int);//定義一個接受兩個int型且返回int型變量的函數指針類型
int func(int x,int y)
{
printf("func:x=%d,y=%d/n",x,y);
return (x<y?x:y);
}
int main()
{
p fun=func;//定義函數指針并給它賦上一個函數指針
cout<<"min:"<<(*fun)(4,5)<<endl;//為什么*fun需要用()擴起來呢?因為*的運算符優先級比()低,如果不用()就成了*(fun())
return 0;
}
而“指向類成員函數的指針”卻多了一個類的區別：
class A
{
public:
int func(int x,int y)
{
printf("A::func:x=%d,y=%d/n",x,y);
return (x<y?x:y);
}
};
typedef int (A::*p)(int,int);//指針名前一定要加上所屬類型類名 A::的限定
int main()
{
p fun=&A::func;
A a; //因為成員函數地址的解引用必須要附駐與某個對象的地址，所以我們必須創建某個對象。
cout<<"min:"<<(a.*fun)(4,5)<<endl;
return 0;
}
嘿嘿。。只是用起來 .* 感覺怪怪滴。
接下來 我們可以再擴展一下下：
#include <tchar.h>
#include <iostream>
#include <stdio.h>
using namespace std;
class A
{
public:
int func1(int x,int y)
{
printf("A::func:x=%d,y=%d/n",x,y);
return (x<y?x:y);
}
virtual int func2(int x,int y)
{
printf("A::func:x=%d,y=%d/n",x,y);
return (x>y?x:y);
}
};
class B:public A
{
public:
virtual int func2(int x,int y)
{
printf("B::func:x=%d,y=%d/n",x,y);
return (x+y);
}
};
typedef int (A::*p)(int,int);//指針名前一定要加上所屬類型類名 A::的限定
typedef int (B::*p0)(int,int);
int main()
{
A a; //因為成員函數地址的解引用必須要附駐與某個對象的地址，所以我們必須創建某個對象。
p fun=&A::func1;
cout<<(a.*fun)(4,5)<<endl;
cout<<(b.*fun)(4,5)<<endl<<endl;
fun=&A::func2;
cout<<(a.*fun)(4,5)<<endl;//請注意這里調用的是虛函數，嘿嘿 還真神奇 類成員函數指針也支持多態。
cout<<(b.*fun)(4,5)<<endl<<endl;
//fun=&B::func2; //這樣式錯誤滴，因為不存在派生類的"指向類成員函數的指針"到基類的"指向類成員函數的指針"的隱式轉換
fun=(int (A::*)(int,int))&B::func2;//應該進行強制轉換
cout<<(a.*fun)(4,5)<<endl;
cout<<(b.*fun)(4,5)<<endl<<endl;
p0 fun0=&B::func2;
cout<<(a.*fun)(4,5)<<endl;
cout<<(b.*fun)(4,5)<<endl<<endl;
fun0=&A::func2; //正確，因為這里進行了隱式轉換
cout<<(a.*fun)(4,5)<<endl;
cout<<(b.*fun)(4,5)<<endl<<endl;
//從上面我們不難發現 指向類成員函數的指針基類和派生類的關系和指向類對象的指針基類和派生類的關系完全相反，
//基類成員函數的布局被認為是派生類成員函數布局的一個子集
return 0;
}
接下 是有關模板類的類成員函數指針的使用
實例如下：
#include <tchar.h>
#include <iostream>
#include <stdio.h>
using namespace std;
class A
{
public:
int func(int x,int y)
{
printf("A::func : x=%d,y=%d/n",x,y);
return (x<y?x:y);
}
};
class B
{
public:
int func(int x,int y)
{
printf("B::func : x=%d,y=%d/n",x,y);
return (x>y?x:y);
}
};
template<class T>
class C
{
public:
T c;
void Print()
{
int (T::*p)(int,int)=&T::func;
(c.*p)(4,5);
}
};
int main()
{
C<A> ca;
C<B> cb;
ca.Print();
cb.Print();
return 0;
}
從上面 可以很清晰地看到。。其實它和普通的模板沒有什么區別。。只不過將限定名稱該為參數名酒OK啦。。。
嘿嘿。。。
