为什么不允许使用不同数量的模板参数的类/结构声明？

Question

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

template <class T1>
class A {};

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

此代码生成

错误C2976:'A':模板参数太少

在'A'级的第二次讨论中.

Answer 1

您的第一个声明定义了一个A包含2个模板参数的类之后的任何事情都必须是该特殊化或其他一些启用的版本.

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

template <class... Args>
class A;

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

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

Answer 2

这里没有SFINAE.您A最初将具有2个模板参数的类重新声明为另一个仅具有1个模板参数的类,因此错误.g ++提供了更明确的错误:

错误:使用1个模板参数类A {}重新声明;

注意:先前的声明'模板类A'使用了2个模板参数