paramètre de modèle C++ boost traits

Question

Je crois que je l'avais vu macro coup de pouce qui récupère les paramètres du modèle de modèle, par exemple:

template<class> 
struct parameters; 

#define parameters(T) template<class A> \ 
      struct parameters<T<A> > { typedef A type1; }; 

est là un comme ça, ou je me trompe?

Merci

Answer 1

delctype support dans C++ 0x rend ce assez trivial à mettre en œuvre:

template<template <typename> class Parent, typename Param1> 
Param1 get_type(Parent<Param1> const &input) { return Param1(); } 

SomeTpl<int> some_obj; 
delctype(get_type(some_obj)) x; 

(Même si vous avez besoin d'une définition de get_type séparée pour les modèles avec 2, 3, 4, paramètres, etc. Malheureusement, je ne pense pas qu'il existe un moyen de le faire sans decltype, car pour cela, il faut automatique la déduction de type fournie par les modèles de fonction (qui n'est pas disponible pour les modèles de classe) et donc il n'y a pas le moyen de faire un typedef de cette façon. Je ne sais pas si Boost a quelque chose comme ça déjà, mais si elles le font, il faudra toujours votre compilateur pour soutenir decltype, mais depuis decltype est si nouveau, il n'y a pas beaucoup de choses dans boost que l'utilise encore (bien qu'il y en ait).

Answer 2

J'ai appris à faire confiance aux déclarations de Johannes, donc je suis un peu confus, puisque cela semble compiler Ok pour moi avec VC10 et imprime les attendus int:

#include <iostream> 
#include <typeinfo> 

template< class T > 
class steal_it; 

template< typename U, template<typename> class C > 
struct steal_it< C<U> > { 
    typedef U result_t; 
}; 

template< typename T > 
class foo {}; 

template< typename T > 
void test_it(T) 
{ 
    typename steal_it<T>::result_t bar = 42; 
    std::cout << typeid(bar).name() << '\n'; 
} 

int main(){ 

    test_it(foo<int>()); 

    return 0; 
} 

Bien sûr, puisque je n ne vérifie pas avec d'autres compilateurs, cela pourrait juste être VC me tromper à nouveau ...