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

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

2 个答案: