c++ - 为什么不允许具有不同数量模板参数的类/结构声明？

Question

template <class T1, class T2>
class A {};

template <class T1>
class A {};

A<int, int> a;
A<int> b;

这段代码生成

error C2976: 'A' : too few template arguments

在“A”类的第二次声明中。

Answer 1

您的第一个声明定义了一个带有 2 个模板参数的类 A。之后的任何内容都必须是该版本或其他启用版本的专门化。

如果您想允许 1 个或 2 个模板参数，您可以使用可变参数模板，如下所示:

template <class... Args>
class A;

template <class T1, class T2>
class A<T1, T2> {};

template <class T1>
class A<T1> {};

Live demo