混淆繼承和模板

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>完畢後，您試圖從中得到，所以你的罰款。