不能专门化struct

Question

为什么这不起作用？

template <class T>
struct Low;

template <>
struct Low<int> {};//Here I'm trying to specialize for int

int main()
{
Low<1> a;

}

Answer 1

Low<int> a;将起作用 - 您的模板采用类型而不是整数参数。

Answer 2

Low<1> a;

您的班级模板Low需要TYPE，而不是INTEGRAL VALUE！

如果您想使用这种方式，您需要将类模板定义为：

template <int N>
struct Low {};

这允许您撰写Low<1>，Low<2>，Low<400>等。

---

如果您将Low定义为

template <class T>
struct Low;

然后在实例化时提供类型。例如，Low<char>，Low<unsigned int>等

请注意在每种情况下如何定义它们以及它们如何实例化的区别！

Answer 3

Low<1>和Low<int>之间存在差异。

您需要为Low<1>编写专门化，但这是不可能的，因为原始模板将类型作为第一个参数而不是值。