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

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

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