如何创建参数包的第一个参数的typedef

Question

如何访问参数包中的各个项目？

考虑以下几点：

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...)> 
{ 

} 

Answer 1

您可以使用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"); 
}; 

Answer 2

获得在参数包中的第一项是与助手很简单：

template <typename T, typename... Ts> 
using first_type = T; 

然而，这当然将无法编译，如果你的参数组是空的。当你的包装是空的时，你期望什么样的行为？你不想让typedef存在吗？在这种情况下，只需部分专门化您的struct X以获取空参数包的情况。