c – 为void类型部分特化parmeter pack参数的语法是什么？

发布时间：2020-12-16 04:58:23 所属栏目：百科来源：网络整理

导读：我找不到办法让这个工作.它甚至可能吗？我不明白为什么不会这样. template auto id,typename FirstField,typename... OtherFieldsstruct FieldTypeById { using Type = int;};template auto idstruct FieldTypeByIdid,void { using Type = void;};int main()

我找不到办法让这个工作.它甚至可能吗？我不明白为什么不会这样.

template <auto id,typename FirstField,typename... OtherFields>
struct FieldTypeById {
    using Type = int;
};

template <auto id>
struct FieldTypeById<id,void> {
    using Type = void;
};


int main()
{
   using t1 = FieldTypeById<0,int>::Type;
   using t2 = FieldTypeById<1>::Type;

    return 0;
}

https://godbolt.org/z/AggnDq

解决方法

你的例子中的问题不是专业化,没关系.问题是FieldTypeById< 1>不能推断出FirstField的类型.您可以通过简单地向主模板添加默认值来修改它：

template <auto id,typename FirstField = void,typename... OtherFields>
struct FieldTypeById {
    using Type = int;
};

现在所有参数都是明确给出的,取自默认值或推导出来(作为空包).在知道所有参数之后,可以使用这些参数的特化.

See it live

（编辑：李大同）

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