Посетитель имеет плохую репутацию, отчасти из-за некоторых реальных проблем
- циклическую зависимость между Vistor и посетил иерархий
- он должен разрушить инкапсуляцию, подвергнув Посещенные классы Internals
и частично из-за изложения в книге GOF, в которой подчеркивается обход структуры, а не добавление виртуальных функций в закрытую иерархию.
Это означает, что это не рассматривается, если это необходимо, например, для решения проблемы с двойной отправкой в статически типизированных языках. Пример: система передачи сообщений или событий на C++, где типы сообщений фиксированы, но мы хотим расширить их, добавив новых получателей. Здесь сообщения - это просто структуры, поэтому нам не нужно их инкапсулировать. SendTo() не знает, какой тип Message или MessageRecipient есть.
#include <iostream>
#include <ostream>
using namespace std;
// Downside: note the cyclic dependencies, typically expressed in
// real life as include file dependency.
struct StartMessage;
struct StopMessage;
class MessageRecipient
{
public:
// Downside: hard to add new messages
virtual void handleMessage(const StartMessage& start) = 0;
virtual void handleMessage(const StopMessage& stop) = 0;
};
struct Message
{
virtual void dispatchTo(MessageRecipient& r) const = 0;
};
struct StartMessage : public Message
{
void dispatchTo(MessageRecipient& r) const
{
r.handleMessage(*this);
}
// public member data ...
};
struct StopMessage : public Message
{
StopMessage() {}
void dispatchTo(MessageRecipient& r) const
{
r.handleMessage(*this);
}
// public member data ...
};
// Upside: easy to add new recipient
class RobotArm : public MessageRecipient
{
public:
void handleMessage(const StopMessage& stop)
{
cout << "Robot arm stopped" << endl;
}
void handleMessage(const StartMessage& start)
{
cout << "Robot arm started" << endl;
}
};
class Conveyor : public MessageRecipient
{
public:
void handleMessage(const StopMessage& stop)
{
cout << "Conveyor stopped" << endl;
}
void handleMessage(const StartMessage& start)
{
cout << "Conveyor started" << endl;
}
};
void SendTo(const Message& m, MessageRecipient& r)
{
// magic double dispatch
m.dispatchTo(r);
}
int main()
{
Conveyor c;
RobotArm r;
SendTo(StartMessage(), c);
SendTo(StartMessage(), r);
SendTo(StopMessage(), r);
}