cpp
#include<iostream>
using namespace std;
class B1
{
int b1;
public:
void mfn1()
{
cout << "B1" << endl;
cout << this << endl;
}
virtual void foo(){}
virtual void fb1() {}
};
class B2
{
int b2;
public:
void mfn2()
{
cout << "B2" << endl;
cout << this << endl;
}
virtual void fb2() {}
virtual void foo() {}
};
class D :public B1, public B2
{
public:
void mfd()
{
cout << "D" << endl;
cout << this << endl;
++d;
}
int d=0;
virtual void foo() {}
virtual void fb2() {}
};
int main()
{
using mB1f = void(B1::*)();
using mB2f = void(B2::*)();
using mDf= void(D::*)();
//D选择类的成员指针
mDf df1 = &D::mfn1;
mDf df2 = &D::mfn2;
mDf dfd = &D::mfd;
//D选择类的成员指针强转成基类选择类的成员指针
mB1f mb1f = static_cast<mB1f>(df1);
mB2f mb2f = static_cast<mB2f>(df2);
D* ptr = new D;
cout << ptr << endl;
//用指针调用指向成员函数的指针时的偏移规则
/*
* 偏移发生在二个阶段
* 1.调用指针，转换到选择类类型指针阶段；这个阶段只能隐式发生上向转换，或者指针类型一致；否则，即向下转换发生编译期错误
* 2.调用函数阶段；将第一阶段转换后的指针传给成员函数；
这时候只检测触发一种转换偏移，即若函数代码定义处的this指针参数的静态类型；如果是第一阶段转换后实际指针类型的基类；才发生向上转换偏移
否则不检测任何错误【即便是基类到子类的向下转换也不检测】，直接硬传地址调用；这样代码段与this指针不匹配，一种代码混淆；基本确定造成运行期错误
*/
//按上述规则:
//子类指针调用子类选择类中的成员指针，
(ptr->*df1)();//第一阶段不发生偏移转换，第二阶段偏移转换为0
(ptr->*df2)();//第一阶段不发生偏移转换，第二阶段发生偏移转换
//子类指针调用基类选择类中的成员指针，
(ptr->*mb1f)(); // 第一阶段偏移转换为0，第二阶段没有发生偏移转换
(ptr->*mb2f)();// 第一阶段发生偏移转换，第二阶段没有发生偏移转换
B1* pb1 = ptr;
B2* pb2 = ptr;
//基类指针调用基类选择类的成员指针
(pb1->*mb1f)();//二阶段都没发生偏移转换
(pb2->*mb2f)();//二阶段都没发生偏移转换
//! (pb1->*df1)(); //基类指针调用子类选择类的成员指针，error:选择类不兼容
cout << "------------------------" << endl;
(ptr->*dfd)();//二阶段都没发生偏移转换
mB1f mbd1 = static_cast<mB1f>(dfd);
mB2f mbd2 = static_cast<mB2f>(dfd);
(ptr->*mbd1)();//第一阶段偏移转换为0，第二阶段没有发生偏移转换【安全，因为安全转换的行为的转换量也是0】
(ptr->*mbd2)();//第一阶段偏移转换，第二阶段没有发生偏移转换【危险: this指针的值已经与代码不匹配，代码混淆偏移】
(pb1->*mbd1)();//第一阶段不发生偏移转换，第二阶段没有发生偏移转换【安全，因为安全转换的行为的转换量也是0】
(pb2->*mbd2)();//第一阶段不发生偏移转换，第二阶段没有发生偏移转换【危险，因为往往这时的pb2已经是一个偏移值了，this指针的值已经与代码不匹配，代码混淆偏移】
//指向变量的成员指针，相当于偏移到这个成员变量的偏移量、
//指向静态成员变量或者静态成员函数的指针；就是这个变量或者静态成员函数的真实地址
//指向普通成员函数的指针，其实也是这个成员函数的真实地址，但是有首个隐藏的this指针参数，这个this指针类型是编译期根据成员函数定义所在的类静态决定的，这个this指针参数所能接受的是同种类型指针间，或者子类型指针到基类型指针转换的调用【调用中根据偏移规则可能进行偏移】；
//指向virtual成员函数的指针，实际上是一个结构体其中包含了virtual函数的索引，this指针偏移量等信息，参考<<深入探索C++对象模型>>；
return 0;
}/*
当想继承MFC的窗口类时，如果有多重继承，则继承的窗口类顺序要特别注意(要在继承列表的首个)；
否则根据MFC消息映射机制的实现方式；调用指向成员函数指针时；根据前面的规则会触发代码混淆，导致运行期错误；如下:
这个也是MFC 窗体类继承顺序的问题的根本原因:https://www.debugease.com/vc/2194514.html
class CMyDlg : public TMyWndBase, public CMyClass
{
}; 如果把 TMyWndBase 写在后面，如下class CMyDlg : public CMyClass, public TMyWndBase
{
}; 然后 CMyDlg 定义 OnPaint 消息处理函数，这时便会出现断言错误
*/