使用非const表達式作爲模板參數

Question

這是一個關於How do I get the argument types of a function pointer in a variadic template class?

跟進我有這樣的結構來訪問可變參數模板的參數：

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

我訪問一個參數的類型的參數

typedef function<void(Args...)> fun; 
std::cout << std::is_same<int, typename function_traits<fun>::template arg<0>::type>::value << std::endl; 

但是，我想迭代通過參數來處理任意數量的參數。以下不工作，而是想說明我想要的東西：

for (int i = 0; i < typename function_traits<fun>::nargs ; i++){ 
    std::cout << std::is_same<int, typename function_traits<fun>::template arg<i>::type>::value << std::endl; 
} 

Answer 1

你需要沿着

template <typename fun, size_t i> struct print_helper { 
    static void print() { 
     print_helper<fun, i-1>::print(); 
     std::cout << std::is_same<int, typename function_traits<fun>::template arg<i-1>::type>::value << std::endl; 
    } 
}; 

template <typename fun> struct print_helper<fun,0> { 
    static void print() {} 
}; 

template <typename fun> void print() { 
    print_helper<fun, function_traits<fun>::nargs>::print(); 
}