如何为参数包的第一个参数创建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

通过帮助程序获取param包中的第一项非常简单:

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

但是,如果您的参数包为空,这当然无法编译.你的背包是空的时候你会期待什么样的行为？你不想让typedef存在吗？在这种情况下,只需将您的struct X部分特化为空参数包.

Answer 2

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