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

发布时间：2020-12-16 10:25:37 所属栏目：百科来源：网络整理

导读：如何访问参数包中的各个项目？鉴于以下内容： templatetypename Tstruct X {};templateclass R,class... Argsstruct XR (Args...){ // how can I create a typedef for the first parameter // basically I want to do something like if arg1 exists typed

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

鉴于以下内容：

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!