Curiosamente recurrente plantilla - variación

Question

En cuanto CRP si quiero aplicar una ligera variación de la misma (con el parámetro de plantilla plantilla) me sale un error de compilación:

template <template <typename T> class Derived> 
class Base 
{ 
public: 
    void CallDerived() 
    { 
     Derived* pT = static_cast<Derived*> (this); 
     pT->Action(); // instantiation invocation error here 
    } 
}; 

template<typename T> 
class Derived: public Base<Derived> 
{ 
public: 
    void Action() 
    { 
    } 
}; 

No estoy exactamente seguro de que uno elegiría este formulario (que no se compila para mí) en lugar de utilizar esto, sin embargo (esto funciona)

template <typename Derived> 
class Base 
{ 
public: 
    void CallDerived() 
    { 
     Derived* pT = static_cast<Derived*> (this); 
     pT->Action(); 
    } 
}; 

template<typename T> 
class Derived: public Base<Derived<T>> 
{ 
public: 
    void Action() 
    { 
    } 
}; 

Answer 1

Esto debería compilar también. Sólo tenemos que conseguir que el otro parámetro de plantilla especifica explícitamente

template <typename T, template <typename T> class Derived> 
class Base 
{ 
public: 
    void CallDerived() 
    { 
     Derived<T>* pT = static_cast<Derived<T>*> (this); 
     pT->Action(); // instantiation invocation error here 
    } 
}; 

template<typename T> 
class Derived: public Base<T,Derived> 
{ 
public: 
    void Action() 
    { 
    } 
}; 

Answer 2

En el primer ejemplo, la plantilla de clase realmente tiene plantilla de parámetro de plantilla, no sólo parámetro de plantilla, como usted ha escrito:

template <template <typename T> class Derived> 
class Base 
{ 
    //.. 
}; 

lo que este código no tiene sentido:

Derived* pT = static_cast<Derived*> (this); 
pT->Action(); // instantiation invocation error here 

Aquí Derived es un argumento de plantilla de la plantilla que necesita parámetro de plantilla que usted no lo hizo proporcionado a ella. De hecho, en la función CallDerived(), no puede conocer el tipo que debe proporcionarle, para hacer lo que pretende hacer.

El segundo enfoque es la solución correcta. Úselo.