c访问者模式：为什么每个被访问的派生实现都应该接受（）？

Question

我已经看到了几个例子来演示访客模式。在所有这些方法中，每个派生的访问元素都实现了通常称为Accept（）方法的方法。

在颜色层次结构中，此方法可能看起来像：

void Red::accept(Visitor *v)
{
    v->visit(*this);
}

void Blue::accept(Visitor *v)
{
    v->visit(*this);
}

当访问者及其继承者拥有以下方法时：

visit(Red red);
visit(Blue blue)

我的问题是，为什么不以同样的方式只在基类中实现它（在本例中：Color），多态性将完成这项工作，也就是说，将调用正确的访问，因为当对象是Red时，this的动态类型是Red，所以取消引用它将产生Red，这反过来将导致调用访问（Red）？

我错过了什么？

Answer 1

我的理解是，在基类方法中，这个指针属于base类型，而不是任何派生类，因此它只能访问基类方法，并作为typeColor*this传递。当传递给visit方法时，它会尝试运行visit（Color*Color），因为多态行为只适用于类本身的方法（而不是其他类）。

Answer 2

如果你唯一的接受是...

void Color::accept(Visitor* v)
{
    v->visit(*this);
}

visit只会被基类调用。为了使用正确的派生类调用visit，您需要每个颜色来实现它，这样他们就可以传递正确键入的this，因此调用正确的visit重载。

Answer 3

继承多态性（动态分派）不适用于函数参数。换句话说，重载函数是根据所传递参数的静态类型选择的。如果在基类Color中实现，则v-