基于VS编译器探测成员函数指针的调用规则,并分析MFC消息映射实现机制的局限性问题

#include
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 消息处理函数,这时便会出现断言错误
*/

你可能感兴趣的:(mfc,c++)