依存型を持つ単純なCRTPの場合のコンパイルエラー

Question

複数のクラスがあり、バインディング手段が必要なので、シンプルな形式のCRTP（Curiously Recurring Template Pattern）を使用しようとしています。一緒に（例えば私はWidget、Doobry、WhatsitのようなクラスをWidgetHandle、DoobryHandle、WhatsitHandleといった関連クラスと一緒に持っています）。

私がBaseから継承するために使用している各クラスは 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

循環依存性を回避するための第2パラメータとして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; 
} 

また、ウィジェットのため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インスタンシエーションで不明なウィジェットの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> 
{ 
};