混乱継承とテンプレート

Question

ここ

は、私が探していたコード、Source codeです：私たちはいくつかのファンクタXすなわちfunction_traits<X>;とそれをインスタンス化した場合

template <typename T> 
struct function_traits 
    : public function_traits<decltype(&T::operator())> 
{}; 

、それは相続によるfunction_traits<decltype(&X::operator())>ある基底クラスを構築しますが、これだけにfunction_traits<decltype(&X::operator())>ビルドする必要もあります。function_traits<decltype(Z)>

私は理解していますfunction_traits<X>！= function_traits<Z>です。再帰的な継承ではありませんか？ 0_o。 どのようにすべてのことが一緒に働いていますか？

Answer 1

これは不正なコードです。不完全な型から派生することはできません。function_traitsから派生させようとする時点で、型が不完全です。

struct A { typedef A type; }; 
struct B { typedef A type; }; 

template <typename T> 
struct X : X<typename T::type> {}; 

X<B> test; // error: invalid use of incomplete type ‘struct X<A>’ 

あなたがから派生しようとしているfunction_traitsは完全な型である場合は、このラウンドを取得することができる唯一の方法です。あなたはそれから派生しようとすると、X<A>は完了ですので、あなたは大丈夫だ、

ここ

struct A { typedef A type; }; 
struct B { typedef A type; }; 

template <typename T> 
struct X : X<typename T::type> {}; 

template <> 
struct X<A> {}; // X<A> is now a complete type. 

X<B> test; // OK! Derives from X<A>, which is complete. 

：あなたは、この使用して特殊化を行うことができます。