分派说的是根据对象的类型和参数类型来确定最终调用的实际函数,体现出来也就是多态性。C++多态一般分为两种,一种是静态多态,也就是通过重载(同名不同参)以及通过模板的实现;另一种就是动态多态,也称运行时多态,通过虚函数的继承与重写来实现的。
单分派:也就是只能同时进行一种方式的分派,也即要么就是通过重载实现静态多态,要么就是通过虚函数继承实现运行时多态。具体化表现就是:只能根据对象的动态类型以及参数的静态类型,来确定实际调用函数。
双分派:也就是可以在支持静态多态的基础上再进行动态多态。可以根据对象的动态类型和参数的动态类型来确定实际调用函数。
C++仅支持单分派,举个栗子:经典的工程师解决问题
#include <iostream>
using namespace std;
// 三个问题类,一个问题父类,两个子类; 两个工程师类,基础工程师和资深工程师
class problem{
public:
virtual void display(){
cout <<"default problem" <<endl;
}
};
class simpleProblem : public problem{
public:
virtual void display() override{
cout <<"simpleProblem" <<endl;
}
};
class diffcultProblem : public problem{
public: