在不知道完整层次结构的情况下进行双重调度

Question

我想在 C++ 中实现以下内容：

我想要一个类的一堆子类，能够调用一个接受任何这些类型的一对对象的函数。应该有一个为混合类型或基本类型调用的通用实现，以及如果两个相同派生类型的对象被调用的专用实现。用作参数。

据我所知，这是双重调度的经典应用。但是，我有以下限制：

必须能够从现有类派生新类，并为这些新类添加新的配对函数而不更改现有类，例如在外部库中。

我在我的最后一个问题中提出的方法是错误的，并且提出的解决方案仅适用于编写基类时已知的类型。

关于如何实施这个有什么建议吗？这可能吗？

更新：代码说了一千多个字。以下方法有效：

#include <iostream>

class B;

class A
{
public:
  virtual void PostCompose(A* other)
    {
      other->PreCompose(this);
    }
  virtual void PreCompose(A* other)
    {
      std::cout << "Precomposing with an A object" << std::endl;
    }
  virtual void PreCompose(B* other);
};

class B : public A
{
public:
  using A::PreCompose;
  virtual void PostCompose(A* other)
    {
      other->PreCompose(this);
    }
  virtual void PostCompose(B* other)
    {
      other->PreCompose(this);
    }
  virtual void PreCompose(B* other)
    {
      std::cout << "Precomposing with a B object" << std::endl;
    }
};

void A::PreCompose(B* other)
  {
    PreCompose((A*)other);
  }

int main()
{
  B b;
  A* p = &b;
  p->PostCompose(p); // -> "Precomposing with a B object"
}

但在实现 A 时需要了解 B。有更好的办法吗？

Answer 1

由于派生类只需要检测参数类型是否与对象类型匹配，因此您可以使用简单的检查。

virtual void foo( base *argument_base ) {
    if ( derived *argument = dynamic_cast< derived * >( argument_base ) ) {
        argument->something = pair_match_foo;
    } else {
        base_class::foo( argument_base );
    }
}