テンプレート化された親からの子のtypedefへのアクセス

Question

なぜ以下はコンパイルされませんか？

template <typename Child> struct Base 
{ 
    typename Child::Type t; // Does not compile. "No type named Type in Child" 
}; 

struct Derived : public Base<Derived> 
{ 
    typedef int Type; 
}; 

どのようにBaseはチャイルドタイプにアクセスできないのですか？私はtypedefの代わりに静的関数を使って同じことを試みましたが、うまくいきました。

私はGCC 4.4.2とclang 3.0の両方を試しました。

Answer 1

DerivedはBaseがインスタンス化された時点ではまだ完全に定義されていないため、この種のコードは機能しません。基本的には不完全なタイプです。

単純なものから非常に複雑なものまでさまざまです。おそらく最も簡単な方法は、あなたがそれを行うことができれば、あなたが実際にそれを必要とするまで（遅延評価、本質的に）Child :: Typeでの作業を避けることです。あなたが達成したいことを正確に述べれば、それは役に立ちます。 completementで

Answer 2

はあなたbaseのタイプを持つに依存している場合、その後、あなたはそれがあたかもきれいではありません

template<typename Child, typename Type> 
struct base 
{ 
    Type t; 
}; 

    struct Derived : public Base<Derived, int> 
{ 
}; 

よりも多くの悪いこと行うことができ、答えをstinky472します。