C++ visitor pattern: Почему каждый полученный посетитель реализует Accept()?

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, этот динамический тип является Red, поэтому разыменование он даст Red, что, в свою очередь, вызовет визит (красный)?

Что мне не хватает?

Answer 1

Полиморфизм наследования (динамическая отправка) не применяется к аргументам функции. Другими словами, перегруженная функция выбирается из статического типа передаваемых аргументов. Если он реализован в базовом классе Color, то v->visit(*this) всегда будет звонить visit(Color c).

Answer 2

Если только accept у вас был ...

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

visit просто дозвонились с базовым классом. Чтобы вызвать visit с правильным производным классом, вам понадобится каждый Color, чтобы реализовать его, чтобы они могли правильно набирать this, поэтому вызывается перегрузка visit.

Answer 3

Я понимаю, что в методах базового класса указатель this имеет базу типов, а не любых производных классов, поэтому он может обращаться только к методам базового класса и передается как тип Color* this. Когда он передается методу посещения, он попытается запустить visit(Color* color), поскольку полиморфное поведение применяется только к методам самого класса (а не к другим классам).