template Curiosamente ricorrente - variazione

Question

Per quanto riguarda CRP se voglio implementare una leggera variazione di esso (con il parametro template) ottengo un errore di compilazione:

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() 
    { 
    } 
}; 

io non sono esattamente sicuro uno avrebbe scelto questo modulo (che non compila per me) invece di utilizzare questo, però (questo funziona)

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

Anche questo dovrebbe essere compilato. Abbiamo solo bisogno di ottenere l'altro parametro modello specificato esplicitamente

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

Nel primo esempio, il modello di classe prende effettivamente template parametro di template, non solo modello parametro, come hai scritto:

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

Quindi, questo codice non ha senso:

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

Ecco Derived è un argomento template che ha bisogno di template argomento che non avete fatto fornito ad esso. Infatti, nella funzione CallDerived(), non è possibile conoscere il tipo che è necessario fornire, al fine di fare ciò che si intende fare.

Il secondo approccio è la soluzione corretta. Usalo.