如何访问参数包中的各个项目?
鉴于以下内容:
template<typename T> struct X {}; template<class R,class... Args> struct X<R (Args...)> { // how can I create a typedef for the first parameter // basically I want to do something like if arg1 exists typedef it // pseduo code below if (Args[0]) typedef typename Args[0] Parameter1 }
否则我可能不得不做这样的事情,但希望保持通用
template<class R,class... Args> struct X<R (Arg1,Args...)> { }
解决方法
您可以使用std :: tuple_element:
template<typename... Args> struct arg { template<int N> using type = typename std::tuple_element<N,std::tuple<Args...>>::type; }; template<typename R,typename... Args> struct X<R (Args...)> { using first = typename arg<Args...>::template type<0>; };
这将允许您通过编译时索引访问任意类型.您还可以使用static_assert在编译时断言参数包至少有一个元素.
template<typename... Args> struct has_first_arg : std::true_type { }; template<> struct has_first_arg<> : std::false_type { }; template<typename R,typename... Args> struct X<R (Args...)> { static_assert(has_first_arg<Args...>::value,"Parameter pack must have at least one element"); };