necessario un membro del modello virtuale workaround

Question

Ho bisogno di scrivere un programma che implementa il modello di progettazione del visitatore. Il problema è che la classe visitatore base è una classe template. Ciò significa che BaseVisited :: accept() accetta una classe template come parametro e poiché utilizza 'this' e ho bisogno di 'this' per puntare all'istanza runtime corretta dell'oggetto, deve anche essere virtuale.
Mi piacerebbe sapere se c'è un modo per aggirare questo problema.

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

Quello che dovresti fare è separare il 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); 
}; 

Se avete bisogno di classi derivate di BaseVisited essere basato su modelli troppo e superare i loro tipi corretti/Sovraccarichi da visitare, si è ufficialmente morto.

Answer 2

mi si avvicinò con qualcosa di leggermente diverso rispetto 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(); 
}; 

Il mio ha un supplemento di funzione di result() membro che consente di recuperare il risultato dell'ultima visita.

Answer 3

Non è possibile dichiarare/definire funzioni virtuali basate su modelli. Il motivo è che il meccanismo di invio virtuale deve essere noto quando il compilatore vede la definizione della classe base, ma i modelli vengono compilati su richiesta.

Con l'implementazione di vtable comune il problema è che il numero di voci che il compilatore dovrebbe riservare per la funzione virtuale non è definito (quante diverse istanze del tipo possono esserci?), Come è l'ordine di esse . Se si dichiara la classe:

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

Il compilatore può riservare due voci nel vtable per i puntatori ai foo e bar nel vtable, e il vtable è perfettamente definito, semplicemente controllando la definizione della classe. Questo non può essere ottenuto con le funzioni basate su modelli.