Как шаблон посетителя избегает downcasting

Ответ 1

Голый, минималистический пример.

Перед

class Base {};
class Derived1 : public Base {};
class Derived2 : public Base {};

// Some arbitrary function that handles Base.
void
Handle(Base& obj) {
    if (...type is Derived1...) {
        Derived1& d1 = static_cast<Derived1&>(base);
        std::printf("Handling Derived1\n");
    }
    else if (...type is Derived2...) {
        Derived2& d2 = static_cast<Derived2&>(base);
        std::printf("Handling Derived2\n");
    }
}

Это означает, что Base должно иметь какое-либо поле тега типа, или вы будете использовать dynamic_cast для проверки каждого типа.

После

// Class definitions
class Visitor;
class Base {
public:
    // This is for dispatching on Base concrete type.
    virtual void Accept(Visitor& v) = 0;
};
class Derived1 : public Base {
public:
    // Any derived class that wants to participate in double dispatch
    // with visitor needs to override this function.
    virtual void Accept(Visitor& v);
};
class Derived2 : public Base {
public:
    virtual void Accept(Visitor& v);
};
class Visitor {
public:
    // These are for dispatching on visitor type.
    virtual void Visit(Derived1& d1) = 0;
    virtual void Visit(Derived2& d2) = 0;
};

// Implementation.
void
Derived1::Accept(Visitor& v) {
    v.Visit(*this); // Calls Derived1 overload on visitor
}
void
Derived2::Accept(Visitor& v) {
    v.Visit(*this); // Calls Derived2 overload on visitor
}

Это была основа. Теперь вы реализуете фактического посетителя для обработки объекта полиморфно.

// Implementing custom visitor
class Printer : public Visitor {
    virtual void Visit(Derived1& d1) { std::printf("Handling Derived1\n"); }
    virtual void Visit(Derived2& d2) { std::printf("Handling Derived2\n"); }
};

// Some arbitrary function that handles Base.
void
Handle(Base& obj)
{
    Printer p;
    obj.Accept(p);
}

• Accept() - это виртуальная функция, которая отправляет по типу obj (первая отправка)
• Затем он вызывает соответствующую перегрузку Visit(), потому что внутри Accept() вы уже знаете тип своего объекта.
• Visit(), в свою очередь, является виртуальной функцией, которая отправляет информацию о типе посетителя (вторая отправка).

Поскольку у вас двойная отправка (одна на объект, другая на посетителя), вы не делаете кастинга. Недостатком является то, что в любое время, когда вы добавляете класс в свою иерархию, вам нужно перейти и обновить класс посетителя, чтобы добавить соответствующую функцию для обработки нового подкласса.

Ответ 2

wikipedia пример использует двойную отправку, без downcasting.