将参数包参数部分专门化为 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