Héritage Déroutant et modèles

Question

Voici le code que je recherchais, Source code:

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

si nous instancier certains foncteur X-à-dire function_traits<X>;, qui va construire la classe de base qui est function_traits<decltype(&X::operator())> en raison de l'héritage, mais construire function_traits<decltype(&X::operator())> sa base doit également être construit, ce qui pourrait être function_traits<decltype(Z)>

Je comprends function_traits<X>! = function_traits<Z>. N'est-ce pas un héritage récursif? 0_o. Comment tout fonctionne-t-il ensemble?

Answer 1

Ce code est illégal. Vous ne pouvez pas dériver d'un type incomplet, et au moment où vous essayez de dériver de function_traits, le type est incomplet.

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>’ 

La seule façon que vous pouvez contourner cela est si le function_traits vous essayez de dériver est un type complet. Vous pouvez le faire en utilisant la spécialisation:

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. 

Ici, X<A> est terminée lorsque vous essayez de tirer de lui, de sorte que vous êtes bien.