sobre reparto dinámico el C++ con clase de plantilla

Question

I tienen clase base A, clase B hereda de A, clase C, que es una clase de plantilla hereda de A. clase D hereda de C. La relación es la siguiente:

 A 
    /\ 
     B C (template class) 
      \ 
      D 

Puedo crear un objeto A O1 con el objeto D D1, luego deseo hacer una conversión dinámica O1 a un objeto C1 de tipo C. Pero creo que falla. Mi pregunta es por qué este proceso falla?

Luego uso static_cast para crear el objeto de tipo C C2 del objeto D D1, y comprobé que C2 tiene el valor correcto de D2. ¿Siempre es exitoso convertir del tipo D al tipo C usando static_cast?

Gracias!

Answer 1

Bueno, ya que C es una plantilla, no es un tipo y no se puede utilizar como un objetivo de un elenco (ni dinámico a estático), y no se puede derivar de ella. Necesita instanciar la plantilla de clase. La clase resultante puede usarse en un molde. Esto es, el siguiente trabajo:

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

a un tipo C objeto C1. Pero encuentro que falla.

Dado que C es una plantilla, realmente no existe el "tipo C". Más bien hay C<int> o C<Foo>. (suponiendo que tiene una plantilla arg). Las plantillas solo se convierten en clases cuando están especializadas.

Así que si D heredados de un tipo específico de C:

class D : public C<int> 
{ 
}; 

que podría dynamic_cast hasta un C<int>, pero no quiere decir un C<float>

Para ayudar a explicar mejor, su árbol de herencia es realmente

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

So C no es un padre de D, pero C<int> es en este ejemplo. Las instancias de C en sí mismas no existen en realidad en el tiempo de ejecución, sus únicas instancias completamente especificadas de C<type> que realmente existen.