为 void 类型部分特化参数包参数的语法是什么？

Question

我找不到让它工作的方法。有可能吗？我不明白为什么不会。

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

Answer 1

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

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

现在所有参数都是显式给出的，取自默认值，或推导（作为一个空包）。在知道所有参数后，可以使用这些参数的特化。

See it live

为 void 类型部分特化参数包参数的语法是什么？

What's the syntax to partially specialize a parmeter pack argument for void type?

c++

templates

template-specialization

c++17