circa dynamic_cast C++ con classe template

Question

devo classe base A, classe B eredita da A, classe C che è una classe template eredita dalla classe A. D eredita da C. La relazione è il seguente:

 A 
    /\ 
     B C (template class) 
      \ 
      D 

Posso creare un oggetto A O1 utilizzando l'oggetto D D1, quindi voglio il cast dinamico O1 a un oggetto di tipo C C1. Ma trovo che fallisce. La mia domanda è perché questo processo fallisce?

Quindi uso static_cast per creare l'oggetto di tipo C C2 dall'oggetto D D1 e ho verificato che C2 ha il valore corretto da D2. È sempre utile convertire dal tipo D al tipo C usando static_cast?

Grazie !!!

Answer 1

Bene, poiché C è un modello, non è un tipo e non può essere utilizzato come destinazione di un cast (né dinamico per statico) e non è possibile derivarne. È necessario istanziare il modello di classe. La classe risultante può essere essere utilizzata in un cast. Cioè, il seguente funzionerà:

struct A { }; 
template <typename T> struct C : A { }; 
struct D : C<int> { }; 

D d; 
A& a = d; 
C<int>& c = static_cast<C<int>&>(a); // or dynamic_cast, if `A` were polymorphic 

Answer 2

ad un C1 tipo C oggetto. Ma trovo che fallisce.

Poiché C è un modello, non esiste realmente "tipo C". Piuttosto, c'è C<int> o C<Foo>. (supponendo che tu abbia un template arg). I modelli diventano solo classi quando sono specializzati.

Quindi, se D ereditato da un tipo specifico di C:

class D : public C<int> 
{ 
}; 

si poteva dynamic_cast fino ad un C<int> ma non dire una C<float>

Per aiutare spiegare meglio, il vostro albero di ereditarietà è davvero

  A 
    /| \ 
C<float>... C<int> 
      | 
      D 

Quindi C non è un genitore di D, ma C<int> è in questo esempio. Le istanze di C non sono realmente presenti nel runtime, le sue uniche istanze completamente specificate di C<type> effettivamente esistenti.