Potrzebuję obejścia wirtualnego szablonu uczestnika

Question

Potrzebuję napisać program realizujący wzór wizyty gościa. Problem polega na tym, że podstawowa klasa odwiedzającego jest klasą szablonów. Oznacza to, że BaseVisited :: accept() przyjmuje klasę szablonu jako parametr i ponieważ używa "this" i potrzebuję "this", aby wskazać prawidłową instancję wykonawczą obiektu, musi również być wirtualna.
Chciałbym wiedzieć, czy istnieje jakiś sposób obejścia tego problemu.

template <typename T> 
class BaseVisitor { 
    public: 
    BaseVisitor(); 
    T visit(BaseVisited *visited); 
    virtual ~BaseVisitor(); 
} 


class BaseVisited { 
    BaseVisited(); 
    template <typename T> 
    virtual void accept(BaseVisitor<T> *visitor) { visitor->visit(this); }; // problem 
    virtual ~BaseVisited(); 
} 

Answer 1

Co należy zrobić, to oddzielić BaseVisitor.

class BaseVisited; 
class BaseVisitorInternal { 
public: 
    virtual void visit(BaseVisited*) = 0; 
    virtual ~BaseVisitorInternal() {} 
}; 
class BaseVisited { 
    BaseVisited(); 
    virtual void accept(BaseVisitorInternal* visitor) { visitor->visit(this); } 
}; 
template<typename T> class BaseVisitor : public BaseVisitorInternal { 
    void visit(BaseVisited* visited); 
}; 

Jeśli potrzebujesz klas pochodnych BaseVisited do bycia zbyt matrycy i przekazać swoje poprawne typy/przeciąża odwiedzić, jesteś oficjalnie martwy.

Answer 2

wymyśliłem coś nieco innego niż DeadMG:

class BaseVisited; 

class IVisitor { 
    public: 
    virtual void visit(BaseVisited *visited) = 0; 
    virtual ~IVisitor(); 
}; 

template <typename T> 
class BaseVisitor : public IVisitor { 
    public: 
    BaseVisitor(); 
    virtual void visit(BaseVisited *visited); 
    virtual ~BaseVisitor(); 
    virtual T result(); 
}; 


class BaseVisited { 
    public: 
    BaseVisited(); 
    virtual void accept(IVisitor *visitor) { visitor->visit(this); }; 
    virtual ~BaseVisited(); 
}; 

Kopalnia ma dodatkową funkcję result() użytkownika, który pozwala odzyskać wynik ostatniej wizyty.

Answer 3

Nie można deklarować/definiować szablonowych funkcji wirtualnych. Powodem jest to, że mechanizm wirtualnej wysyłki musi być znany, gdy kompilator widzi definicję klasy podstawowej, ale szablony są kompilowane na żądanie.

Ze wspólną implementacją vtable problem polega na tym, że liczba pozycji, które kompilator musiałby zarezerwować dla funkcji wirtualnej, jest niezdefiniowana (ile może być różnych instancji tego typu?), Podobnie jak ich kolejność . Jeśli zadeklarować klasę:

class base { 
public: 
    virtual void foo(); 
    virtual int bar(); 
}; 

Kompilator może zarezerwować dwa wpisy w vtable dla wskaźniki do foo i bar w vtable i vtable jest doskonale zdefiniowane przez to kontrolę definicję klasy. Nie można tego osiągnąć za pomocą szablonów.