二次分派技术(double dispatch)

二次分派技术的原理

　　①分派：根据对象的类型而对方法进行选择，就是分派。静态分派发生在编译时期，分派根据静态类型信息来指定方法，它是一个方法的静态绑定（如方法重载）。动态分派发生在运行时期，是根据接方法所属对象的实际类型来调用方法。动态类型绑定只会体现在方法的调用者身上，而方法的参数类型则会在编译期由编译器决定。

　　②单分派：只根据方法所属的对象的实际类型和参数的静态类型来指定调用的方法。

　　③多分派：是根据方法所属的对象的实际类型和参数的实际类型来指定调用的方法。

【实验分析】C++的单分派支持及双分派策略的模拟

//问题：C++只支持单分派，即只根据函数名及参数的静态类型(而不是实际类型)来分派。如何进行双分派的模拟？
//解决思路：见后面的分析：

#include <iostream>
using namespace std;


class CProblem;//一般问题的前向声明
class CSpecialProblem;//特殊问题的前向声明

//一级支持
class CSupporter{
public:
	virtual void Solve(CProblem* p){ cout << "CSupporter::Solve(CProblem)" << endl;}
	virtual void Solve(CSpecialProblem* sp){ cout << "CSupporter::Solve(CSpecialProble)" << endl;}
};

//资深支持
class CSeniorSupporter : public CSupporter{
public:
	virtual void Solve(CProblem* p){ cout << "CSeniorSupporter::Solve(CProblem)" << endl;}
	virtual void Solve(CSpecialProblem* sp){ cout << "CSeniorSupporter::Solve(CSpecialProblem)" << endl;}
};

//一般问题
class CProblem{
public:
	//将Problem自身传给s->solve()，这里是关键
	virtual void Accept(CSupporter* s){s->Solve(this);}
};

//特殊问题
class CSpecialProblem : public CProblem{
public:
	//将SpecialProblem自身传给s->solve()，这里是关键
	virtual void Accept(CSupporter* s){s->Solve(this);}
};


void DobuleDispatch()
{
	CProblem* pProblem = new CProblem();//一般问题
	CProblem* pSpecialProblem = new CSpecialProblem();//特殊问题【注意，是父类指针】
	
	CSupporter* pSupporter = new CSeniorSupporter();//资深解决专家


	cout << "演示C++语言的单分派现象" << endl;
	pSupporter->Solve(pProblem);//参数类型是静态绑定
	pSupporter->Solve(pSpecialProblem);//参数类型是静态绑定

	cout << endl << "演示模拟的双分派策略" << endl;
	pProblem->Accept(pSupporter);
	pSpecialProblem->Accept(pSupporter);
	//第1次分派：在运行时根据pSpecialProblem的实际类型找到CSpecialProblem::Accept(CSupporter*)函数
    //第2次分派：在上述函数的内部执行s->Solve(this)时，会根据s的实际类型找到CSeniorSupporter::Solve(CSpecialProblem*)函数
}
 /*
 输出结果：
演示C++语言的单分派现象
CSeniorSupporter::Solve(CProblem)
CSeniorSupporter::Solve(CProblem)

演示模拟的双分派策略
CSeniorSupporter::Solve(CProblem)
CSeniorSupporter::Solve(CSpecialProblem)
 */

二次分派技术(double dispatch)

猜你喜欢