类成员函数指针

struct X {
  void f(int){ };
  int a;
};
void (X::* pmf)(int); //一个类成员函数指针变量pmf的定义
pmf = &X::f;            //类成员函数指针变量pmf被赋值

X ins, *p;
p=&ins;
(ins.*pmf)(101);       //对实例ins，调用成员函数指针变量pmf所指的函数
(p->*pmf)(102);      //对p所指的实例，调用成员函数指针变量pmf所指的函数

DerivedClass_Func_to_Mem = & BaseClass::virtualFunc;

typedef void (CCmdTarget::*AFX_PMSG)(void);

BOOL (CWnd::*)(WPARAM, LPARAM lParam) => void (CWnd::*)() => void (CCmdTarget::*)()

#include <iostream>
 
class Test; //一个未定义的类。

class Test2 
{
       int i;
public:
	void foo(){ }
};

class Test3
{
	int i;
public:
        void foo(){ }
};
 

class Test4:public Test2 , public Test3 //多继承的类 
{
	int i;
public:
         void foo(  ) { }
};

class Test5:virtual public Test4 //虚继承的类 
{
	int i;
public:
         void foo(  ) { }
};

int main()
{ 
std::cout <<"Test3类成员函数指针长度="<<sizeof(void(Test3::*)()) <<'\n';
std::cout <<"Test4类成员函数指针长度="<<sizeof(void(Test4::*)()) <<'\n';
std::cout <<"Test5类成员函数指针长度="<<sizeof(void(Test5::*)()) <<'\n';	 
std::cout <<"Test类成员函数指针长度="<<sizeof(void(Test::*)()) <<'\n';

//以下可以打开IDE的反汇编（Disassembly）窗口观察成员函数指针的赋值与调用
Test5 a;                                                             //定义一个实例
void (Test5::* pfunc)()=&Test5::foo;                //定义类成员函数指针并赋值
pfunc=&Test5::Test2::foo;
pfunc=&Test2::foo;
pfunc=&Test5::Test3::foo;

(a.*pfunc)();  //调用类成员函数指针，同时使用了虚基表（vbtbl）索引值与this指针调整值
}

//main.cpp 不需要任何特殊的编译选项

class Test;                                         //一个forward declaration、未定义的类
 
typedef void(Test::*NULLFUNCPTR)(); //未知继承的类成员函数指针的类型定义
extern Test  var;                                 //外部定义的全局对象
extern  NULLFUNCPTR pfunc;           //外部定义的类成员函数指针的变量
void set();                                      //外部定义的对类成员函数指针pfunc初始化

void Helper(Test &var, NULLFUNCPTR pf)
{
	(var.*pf)();
}

int main()
{ 
	size_t ss=sizeof(NULLFUNCPTR);
        set();  
	Helper(var, pfunc  );
}

// DefineTest.cpp 
//必须用Visual C++编译选项/vmg

class t2 
{
    int i;
public:
    void virtual foo(){ }
};

class t3
{
     int i;
public:
     t3() { i=101;}
     void virtual foo()
     { 
	  printf("In t3::foo()  %d\n",i);
     }
    virtual void foo3()
    { 
       printf("In t3::foo3()  %d\n",i);
     }
};

class t4:public t2 , public t3 //多继承的类 
{
    int i;
public:
    void virtual foo(  ) { }
};

class Test:virtual public t4 //虚继承的类 
{
    int i;
public:
    Test()  {i=102;}
     void virtual foo (  ) 
     { 
           printf("In Test::foo()  %d\n",i);
     }
     virtual void bar() { } 
};


/* 类成员函数指针的类型定义。因为使用了/vmg编译选项，该类Test的成员函数指针类型为16字节长。
如果不使用/vmg编译选项，在本文件中有类Test的完整定义，所以编译器会把类Test的成员函数指针类型
按照虚继承的情形定义为12字节长，
这导致与main.cpp的类Test的未知继承的成员函数指针类型（16字节长）不匹配，
程序运行时出错  */
typedef void(Test::*NULLFUNCPTR)(); 


Test var;                             //全局对象，用于main.cpp
NULLFUNCPTR pfunc;       //全局成员函数指针，用于main.cpp
		
void set() //初始化pfunc
{
	size_t ss=sizeof(NULLFUNCPTR); //长度是16；如果不用/vmg编译选项则为12


/* 赋初值。pfunc的16字节依次存入了
  字节0-3：t3::foo3的函数体开始地址；
  字节4-7：值8（表示多继承情形下从Test::t4到Test::t3的偏移量）；
  字节8-11：值4（表示从Test实例的首地址到Test的虚基类表指针vbptr的偏移值vtordisp；
             如果没有定义Test::bar，则Test没有自己的虚函数表，此偏移值为值0. 
             即vbptr在类对象的开始地址可能为0或4，
             所以对于未知继承情形，必须保存虚基类表指针vbptr相对于对象首地址的偏移值）；
  字节12-15：值4（表示在虚基类表vbtbl中，
              保存了从虚基类Test::t4到Test::vbptr的地址偏移量的条目的字节位置）。


  Visual C++编译器对多重继承且虚继承的对象的基类部分的地址的计算表达式：
       this+ *( *(this+虚基表指针的地址调整值) + 虚基表中条目的字节位置) + 多重继承的地址调整值
 */
	pfunc=&t3::foo3;   

/* 上述语句右端是&t3::foo或者&Test::t3::foo，pfunc实际对应到了
Test::t3的虚表的第一项所保存的函数，即Test::foo()的thunk（用于在调用
Test::foo()之前，把this指针从指向Test::t3调整到指向Test实例的开始地址） */
}