混淆继承和模板

Question

这是我一直在寻找的代码，Source code：

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

如果我们有一些仿X即function_traits<X>;实例化，这将筑基类，这是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你正试图从推导是一个完整的类型。为此，您可以使用专业化：

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. 

这里，X<A>完毕后，您试图从中得到，所以你的罚款。