Làm cách nào để nhận được các kiểu đối số của một con trỏ hàm trong lớp mẫu variadic?

Question

Đây là một tiếp lên các vấn đề này: Generic functor for functions with any argument list

Tôi có lớp này functor (mã đầy đủ thấy liên kết ở trên):

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

Trong điều hành() Tôi có thể truy cập vào args ... một cách dễ dàng với chức năng "lột" đệ quy như được mô tả ở đây http://www2.research.att.com/~bs/C++0xFAQ.html#variadic-templates

Vấn đề của tôi là: Tôi muốn truy cập các loại đối số của f, tức là ARGS ..., trong hàm tạo. Rõ ràng là tôi không thể truy cập các giá trị bởi vì không có giá trị nào cho đến nay, nhưng danh sách kiểu đối số được bằng cách nào đó được chôn trong f, phải không?

Answer 1

Bạn có thể viết function_traits lớp như hình dưới đây, để khám phá các loại đối số, kiểu trả về, và số lượng các đối số:

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

mã kiểm tra:

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

Demo: http://ideone.com/YeN29