Tò mò lặp đi lặp lại mẫu - biến thể

Question

Về CRP nếu tôi muốn thực hiện sự thay đổi nhỏ của nó (sử dụng mẫu tham số mẫu) tôi nhận được một lỗi biên dịch:

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

Tôi không phải là chắc chắn chính xác người ta sẽ chọn hình thức này (điều đó không có biên dịch cho tôi) thay vì sử dụng mặc dù điều này (chỉ hoạt động này)

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

Điều này cũng cần phải biên dịch. Chúng ta chỉ cần để có được những mẫu tham số khác được quy định một cách rõ ràng

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

trong ví dụ đầu tiên, lớp mẫu thực sự mất mẫu template tham số, không chỉ mẫu tham số, như bạn đã viết:

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

Vì vậy, mã này không có ý nghĩa:

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

đây Derived là một mẫu đối số mẫu mà cần tranh luận mẫu mà bạn đã làm không cung cấp cho nó. Thực tế, trong hàm CallDerived(), bạn không thể biết loại loại bạn cần cung cấp cho nó, để thực hiện những gì bạn định làm.

Cách tiếp cận thứ hai là giải pháp đúng. Sử dụng nó.