天天看點

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啦。。。

嘿嘿。。。