c++ - C++ 中的双重分派(dispatch)/多重方法

Question

我有一个关于 C++ 双重分派(dispatch)的问题。在下面的代码中，我希望第二组的结果与第一组的结果相匹配。

我不知道实际类型(除非我尝试 dynamic_cast)但我知道该对象继承自 BaseClass 类型。实现此目标的最有效(性能方面)方法是什么？

在谷歌搜索了一段时间后，我发现了双重分派(dispatch)和 loki 多重方法。我在 Shape 示例中遇到的问题是，在我的应用程序中，Processor 和 BaseClass 是完全独立的，并且没有它们可以相互调用的通用方法。其次，只有一个处理器(即没有任何东西继承自它)。

感谢您的帮助。

#include <iostream>
#include <string>
using namespace std;

class BaseClass{
public:
       BaseClass(){}
       virtual void myFunction(){cout << "base myFunction called" << endl;}
};

class Derived1: public BaseClass{
public:
       Derived1():BaseClass(){}
       void myFunction(){cout << "Derived1 myFunction called" << endl;}
};


class Derived2: public BaseClass{
public:
       Derived2():BaseClass(){}
       void myFunction(){cout << "Derived2 myFunction called" << endl;}
};

class Derived3: public BaseClass{
public:
       Derived3():BaseClass(){}
       void myFunction(){cout << "Derived3 myFunction called" << endl;}

};

class Processor{
public:
       Processor(){}
       virtual void processObj(BaseClass* bc){cout << "got a base object" << endl; bc->myFunction();}
       virtual void processObj(Derived1* d1){cout << "got a derived1 object" << endl; d1->myFunction();}
       virtual void processObj(Derived2* d2){cout << "got a derived2 object" << endl; d2->myFunction(); }
};


int main() {
   BaseClass *bcp=new BaseClass();
   Derived1 *dc1p=new Derived1();   
   Derived2 *dc2p=new Derived2();
   Derived3 *dc3p=new Derived3();

   Processor p;//can also use Processor* p = new Processor()

   //first set results
   p.processObj(bcp);
   p.processObj(dc1p);
   p.processObj(dc2p);
   p.processObj(dc3p);

   BaseClass *bcp1=bcp;
   BaseClass *dc1p1=dc1p;   
   BaseClass *dc2p1=dc2p;
   BaseClass *dc3p1=dc3p;

   //second set results
   p.processObj(bcp1);
   p.processObj(dc1p1);
   p.processObj(dc2p1);
   p.processObj(dc3p1);

   return 0;
}

Answer 1

您错过了双重 dispatch 的“双重”部分。

此模式的要点是确保调用处理器的正确方法 - 接受正确类型的方法。由于处理器最初并不知道传递给它的对象的类型，因此您需要对象来告诉处理器它的类型是什么。

本质上，每个对象都需要一个虚拟的processMe(Processor &p)方法，处理器调用它。 processMe 的实现调用 p.processObject(this)。但这一次，“this”有一个已知的类型!因此，您最终得到的不是无限递归，而是调用了正确的 proceessObject