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

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

鉴于以下内容：

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