C++指向類成員函數的指標

最近在開發中用到了函數指標，於是想整理了一下有關函數指標的概念。O(∩_∩)O~

     首先 函數指標是指向一組同類型的函數的指標；而類成員函數我們也可以相似的認為，它是指向同類中同一群組類型的成員函數的指標，當然這裡的成員函數更準確的講應該是指非靜態成員函數。前者是直接指向函數地址的，而後者我們從字面上也可以知道 它肯定是跟類和對象有著關係的。

     函數指標執行個體：

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;                   //因為成員函數地址的解引用必須要附駐與某個對象的地址，所以我們必須建立某個對象。
 B b;
 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啦。。。

本文轉自http://blog.csdn.net/jinjinclouded/article/details/5189540