Merkwürdiger wiederkehrend template - Variation

Question

In Bezug auf CRP wenn ich eine leichte Variation davon (unter Verwendung von Template-Template-Parametern) implementieren mag ich einen Compiler-Fehler:

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

Ich bin nicht ganz sicher, man würde diese Form gewählt hat (das bedeutet für mich nicht kompilieren) anstelle dieser obwohl die Verwendung (dies funktioniert)

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

Dies sollte auch kompilieren. Wir müssen nur die anderen Template-Parameter explizit

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

im ersten Beispiel wird die Klassenvorlage nimmt tatsächlich Template-Template-Parameter, nicht nur Template-Parameter, wie Sie geschrieben haben:

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

Also dieser Code ist nicht sinnvoll:

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

Hier Derived ist ein Template-Template-Argument, das Template-Argument benötigt, die Sie nicht haben zur Verfügung gestellt. In der Tat, in der CallDerived() Funktion, können Sie nicht wissen, Typ Sie müssen, um es zu tun, um zu tun, was Sie vorhaben zu tun.

Der zweite Ansatz ist die richtige Lösung. Benutze es.