Lỗi biên dịch cho trường hợp CRTP đơn giản với các kiểu phụ thuộc

Question

Tôi đang cố sử dụng dạng CRTP đơn giản (Mẫu tò mò định kỳ) vì tôi có nhiều lớp, mỗi lớp có một số lớp liên quan và tôi muốn có phương thức ràng buộc chúng cùng nhau (ví dụ như tôi đã có các lớp như Widget, Doobry và Whatsit, với các lớp có liên quan WidgetHandle, DoobryHandle và WhatsitHandle).

Mỗi lớp mà tôi đang sử dụng để kế thừa từ Base thêm một typaief value_type để lớp cơ sở có thể tham chiếu đến nó là typename TWrapper::value_type.

struct WidgetHandle {}; 

template <typename TWrapper> 
class Base 
{ 
public: 
    Base(typename TWrapper::value_type value_) 
     : value(value_) {} 

    typename TWrapper::value_type value; 
}; 

class Widget : public Base<Widget> 
{ 
public: 
    typedef WidgetHandle value_type; 

    Widget(WidgetHandle value_) : Base<Widget>(value_) {} 
}; 

int main(int argc, char* argv[]) 
{ 

    Widget i(WidgetHandle()); 
    return 0; 
} 

Tuy nhiên, tôi nhận được lỗi biên dịch:

scratch1.cpp(10): error C2039: 'value_type' : is not a member of 'Widget' 
scratch1.cpp(16) : see declaration of 'Widget' 
scratch1.cpp : see reference to class template instantiation 'Base<TWrapper>' being compiled 
1>   with 
1>   [ 
1>    TWrapper=Widget 
1>   ] 
scratch1.cpp(10): error C2039: 'value_type' : is not a member of 'Widget' 

Đây là với VS2010, mặc dù tôi nhận được lỗi tương tự với kêu vang. Tôi đang thiếu gì ở đây?

Answer 1

Thay đổi định nghĩa cơ sở để lấy ha loại ndle như một tham số thứ hai để tránh sự phụ thuộc vòng tròn.

struct WidgetHandle {}; 

template <typename TWrapper, typename HandleType> 
class Base 
{ 
public: 
    typedef HandleType value_type; 

    Base(HandleType value_) 
     : value(value_) {} 

    HandleType value; 
}; 

class Widget : public Base<Widget, WidgetHandle> 
{ 
public: 
    Widget(WidgetHandle value_) : Base(value_) {} 
}; 

int main(int argc, char* argv[]) 
{ 

    Widget i(WidgetHandle()); 
    return 0; 
} 

Bạn cũng có thể sử dụng lớp đặc điểm để nhận loại WidgeHandle cho Widget.

struct WidgetHandle {}; 
class Widget; 

template<class T> 
struct Handle 
{ 
}; 

template<> 
struct Handle<Widget> 
{ 
    typedef WidgetHandle type; 
}; 

template <typename TWrapper, typename HandleType = Handle<TWrapper>::type> 
class Base 
{ 
public: 
    typedef HandleType value_type; 

    Base(HandleType value_) 
     : value(value_) {} 

    HandleType value; 
}; 

class Widget : public Base<Widget> 
{ 
public: 
    Widget(WidgetHandle value_) : Base(value_) {} 
}; 

int main(int argc, char* argv[]) 
{ 

    Widget i(WidgetHandle()); 
    return 0; 
} 

Answer 2

Bạn không thể có phụ thuộc vòng tròn: Cơ sở cần giá trị Widget_type không xác định tại Bản dựng cơ sở.

Giải pháp có thể sẽ là: Vượt qua value_type như một tham số cơ sở mẫu, sử dụng một đặc điểm phụ mẫu, ...

Ví dụ:

template <typename W> 
struct WidgetTraits {}; 

template <typename W> 
class Base 
{ 
    public: 
    typedef typename WidgetTraits<W>::value_type value_type; 
}; 

class Widget; 

template<> 
struct WidgetTraits<Widget> 
{ 
    typedef WidgetHandle value_type; 
}; 

class Widget : public Base<Widget> 
{ 
}; 

khác (hơi khác nhau) Ví dụ :

template <typename C, typename A> 
class B : public A 
{ 
    public: 
    typedef typename A::value_type value_type; 
}; 


class A 
{ 
    public: 
    typedef WidgetHandle value_type; 
}; 


class C : public B<C, A> 
{ 
};