多种调度、多种方式

Question

它们是什么，它们之间有什么不同？

许多来源，例如维基百科，声称它们是同一件事，但其他人明确表示相反，就像这个问题中的sbi：

第一：“访问者模式是一种在 C++ 中模拟双重调度的方法。”呃，这并不完全正确。实际上，双重分派是多重分派的一种形式，它是一种在 C++ 中模拟（缺失的）多方法的方法。

Answer 1

他们是一样的。

当您在 C++ 中调用虚拟方法时，要运行的实际方法取决于调用该方法的对象的运行时类型。这称为“单一调度”，因为它取决于单个参数的类型（在本例中为隐式“this”参数）。例如，以下内容：

class Base {
  public:
    virtual int Foo() { return 3; }
}

class Derived : public Base {
  public:
    virtual int Foo() { return 123; }
}

int main(int argc, char *argv[]) {
  Base* base = new Derived;
  cout << "The result is " << base->Foo();
  delete base;
  return 0;
}

运行时，上述程序打印 123，而不是 3。到目前为止一切顺利。

多重分派是语言或运行时分派“this”指针类型和方法参数类型的能力。考虑一下（暂时坚持使用 C++ 语法）：

class Derived;

class Base {
  public:
    virtual int Foo(Base *b) { cout << "Called Base::Foo with a Base*"; }
    virtual int Foo(Derived *d) { cout << "Called Base::Foo with a Derived*"; }
}

class Derived : public Base {
  public:
    virtual int Foo(Base *b) { cout << "Called Derived::Foo with a Base*"; }
    virtual int Foo(Derived *d) { cout << "Called Derived::Foo with a Derived*"; }
}

int main(int argc, char *argv[]) {
  Base* base = new Derived;
  Base* arg = new Derived;

  base->Foo(arg);

  delete base;
  delete arg;
  return 0;
}

如果 C++ 具有多重分派，程序将打印出“Called Derived::Foo with a Dervied*”。 （遗憾的是，C++ 没有多重分派，因此程序会打印出“Called Derived::Foo with a Base*”。）

双重分派是多重分派的一种特殊情况，通常更容易模拟，但也不是很可怕。作为一种语言特征很常见。大多数语言要么进行单次分派，要么进行多次分派。