編譯與依賴類型的簡單CRTP案件的錯誤

Question

我試圖使用一個簡單的CRTP形式（奇怪的循環模板模式），因爲我有幾個類，每個類都有幾個相關的類，我想要一種綁定方式他們在一起（例如，我有像Widget，Doobry和Whatsit這樣的類，以及相關的類WidgetHandle，DoobryHandle和WhatsitHandle）。

我用來繼承Base的每個類都添加了一個value_type typedef，以便基類可以將其引用爲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; 
} 

但是，我得到的編譯錯誤：

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' 

這是VS2010，雖然我得到類似的錯誤鏗鏘。我在這裏錯過了什麼？

Answer 1

更改基地的定義採取公頃ndle類型作爲第二個參數來避免循環依賴。

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; 
} 

您還可以使用特徵類來獲取Widget的WidgeHandle類型。

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

您不能擁有循環依賴關係：Base需要在基礎實例化時未知的Widget value_type。

可能的解決辦法是：傳遞VALUE_TYPE作爲基礎模板參數，使用一個額外的特徵模板，...

例：

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

另一個（略有不同）實例 ：

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