c++ - referencia - ¿Cómo obtengo los tipos de argumento de un puntero de función en una clase de plantilla variadica?

tipos de funciones en c

Question

Este es un seguimiento de este problema: Functor genérico para funciones con cualquier lista de argumentos

Tengo esta clase de functor (código completo, vea el enlace de arriba):

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...); }
};

En operator () puedo acceder a args ... fácilmente con una función recursiva de "peeling" como se describe aquí http://www2.research.att.com/~bs/C++0xFAQ.html#variadic-templates

Mi problema es: quiero acceder a los tipos de los argumentos de f, es decir, ARGS ..., en el constructor. Obviamente no puedo acceder a los valores porque no hay ninguno hasta el momento, pero la lista de tipo de argumento está de alguna manera oculta en f, ¿no es así?

Answer 1

Puede escribir la clase function_traits como se muestra a continuación, para descubrir los tipos de argumentos, el tipo de devolución y el número de argumentos:

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;
    };
};

Código de prueba:

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;
} 

Demostración: http://ideone.com/YeN29