二次分派技术的原理
①分派:根据对象的类型而对方法进行选择,就是分派。静态分派发生在编译时期,分派根据静态类型信息来指定方法,它是一个方法的静态绑定(如方法重载)。动态分派发生在运行时期,是根据接方法所属对象的实际类型来调用方法。动态类型绑定只会体现在方法的调用者身上,而方法的参数类型则会在编译期由编译器决定。
②单分派:只根据方法所属的对象的实际类型和参数的静态类型来指定调用的方法。
③多分派:是根据方法所属的对象的实际类型和参数的实际类型来指定调用的方法。
【实验分析】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)"