Как получить типы аргументов указателя функции в классе вариационных шаблонов?

Это продолжение этой проблемы: Общий функтор для функций с любым списком аргументов

У меня есть этот класс функтора (полный код см. ссылку выше):

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

В operator() я могу легко получить доступ к args... с рекурсивной функцией "отслаивания", как описано здесь http://www2.research.att.com/~bs/C++0xFAQ.html#variadic-templates

Моя проблема: я хочу получить доступ к типам аргументов f, то есть ARGS..., в конструкторе. Очевидно, я не могу получить доступ к значениям, потому что их пока нет, но список типов аргументов каким-то образом заштрихован в f, не так ли?

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

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

Ответ 1