Comment puis-je obtenir les types d'argument un pointeur de fonction dans un variadic template de classe?

C'est un suivi de ce problème: Générique foncteur pour les fonctions avec toute la liste d'arguments

J'ai ce foncteur classe (code complet voir le lien ci-dessus):

template<typename... ARGS>
class Foo
{
    std::function<void(ARGS...)> m_f;
  public:
    Foo( std::function<void(ARGS...)> f ) : m_f(f) {}
    void operator()(ARGS... args) const { m_f(args...); }
};

Dans l'opérateur() je peux accéder à la args... facilement avec un récursif "peeling" de la fonction, comme décrit ici http://www2.research.att.com/~bs/C++0xFAQ.html#variadic-modèles

Mon problème est: je veux accéder aux types des arguments de f, c'est à dire ARGS..., dans le constructeur. Évidemment, je ne peux pas accéder à des valeurs, car il n'y a pas loin, mais l'argument de type liste est en quelque sorte enterré dans f, n'est-ce pas?

InformationsquelleAutor steffen | 2012-01-30
  1. 62

    Vous pouvez écrire function_traits classe comme indiqué ci-dessous, pour découvrir les types d'argument, de type de retour, et le nombre d'arguments:

    template<typename T> 
struct function_traits;  

template<typename R, typename ...Args> 
struct function_traits<std::function<R(Args...)>>
{
    static const size_t nargs = sizeof...(Args);

    typedef R result_type;

    template <size_t i>
    struct arg
    {
        typedef typename std::tuple_element<i, std::tuple<Args...>>::type type;
    };
};

    Code de Test:

    struct R{};
struct A{};
struct B{};

int main()
{
   typedef std::function<R(A,B)> fun;

   std::cout << std::is_same<R, function_traits<fun>::result_type>::value << std::endl;
   std::cout << std::is_same<A, function_traits<fun>::arg<0>::type>::value << std::endl;
   std::cout << std::is_same<B, function_traits<fun>::arg<1>::type>::value << std::endl;
}

    Démo : http://ideone.com/YeN29

    • Merci @Nawaz, fonctionne jusqu'à présent. Néanmoins, voudrais extraire de la "magie" de cette solution et la mettre dans mon code. Je suppose que typename std::tuple_element<i, std::tuple<Args...>>::type est là que ça se passe... Comment puis-je le faire sans avoir à déclarer une autre struct
    • - Vous avez un problème dans la définition d'une autre structure qui peut être utilisé dans d'autres situations? En outre, en mettant tout le code dans une seule classe n'est pas une bonne idée. Essayez de diviser le code en petites unités de travail.
    • Je reçois votre point de vue. Une dernière question est ce morceau de code à partir de la bibliothèque boost? function_traits sons familiers 😉
    • Boost peut avoir des fonctionnalités similaires. Je ne l'ai pas vu. En fait, cette solution est copié à partir de mon autre réponse ici : Comment obtenir le nombre d'arguments de std::function?
    • Bonjour encore une fois @Nawaz! Il semble ne pas fonctionner lorsque le plaisir est tapé std::function<void(ARGS...)> à l'intérieur de mon variadic template constructeur.
    • Il va travailler. Vous devez être en train de faire quelque chose de mal. Mieux poster le code à http://www.ideone.com afin que je puisse voir l'erreur moi-même
    • merci de prendre le temps: ideone.com/d93ek
    • Le problème est que lorsque vous utilisez ARG..., vous devez utiliser typename et template des mots clés pour lever l'ambiguïté de la situation. Ainsi, au lieu de function_traits<fun_vararg>::arg<0>::type, vous devez écrire typename function_traits<fun_vararg>::template arg<0>::type. Voir que ça marche : ideone.com/bysFS
    • Vous venez de faire ma journée!
    • J'ai posté un suivi ici stackoverflow.com/questions/9077612/...
    • lien mort sur ideone

    InformationsquelleAutor Nawaz