Question

请向我解释为什么以下代码符合并完美运行。我很困惑。

#include<iostream>
template<class A = int, class B=double>
class Base
{};

template<class B>
class Base <int, B>
{
public:
  Base()
  {
     std::cout<<"it works!!!!!\n";
  }
};

int main()
{
  Base<> base; // it prints "it works!!!!!"
  return 0;
}

它不应该属于模板类Base的通用形式吗？

Answer 1

默认参数适用于特化 - 事实上，特化必须接受（可以说）基本模板的默认参数。试图在专业化中指定默认值：

template<class A = int, class B=double>
class Base
{};

template<class B=char>
// ...

...是一个错误。

同样，如果我们更改专门化，使其专门化为其他类型，而不是基本模板提供的默认值：

template<class A = int, class B=double>
class Base
{};

template<class B>
class Base <char, B>

...然后将选择基本模板。

所以，发生的事情是这样的：首先选择模板参数的类型。在这种情况下（实例化时没有指定类型），这两种类型都基于基本模板中指定的默认模板参数。

然后（作为一个基本上单独的步骤），它对适合这些参数类型的所有模板执行重载分辨率的模拟。与通常的重载解析一样，显式指定的类型优先于隐式指定的类型，因此您的特化（显式指定int）优先于基本模板（隐式指定int）。< / p>

Answer 2

当您编写Base<> base;时，如果代码可以正常工作，编译器将尝试查明是否可以实例化Base<>类。在这种情况下，可能由于Base的默认模板参数，因为编译器知道您是否编写Base<>它是否需要创建Base<int,double>的对象。即：因为：

template<class A = int, class B=double>
class Base
{};

所以代码工作正常。

Answer 3

template<class A = int, class B=double>
class Base
{};

这里A和B的默认值/初始化分别被声明为int和double。

 template<class B>
 class Base <int, B>

在类定义中，第一个参数类似于常量值（这里是int;为什么声明这种方式只是让事情变得复杂？更好地删除第一个模板参数）而第二个模板参数是B，默认值是'double ”。

Base<> base;

创建类的对象时。虽然您没有指定模板参数，但编译器会获取参数（A和B）的默认值，这些参数是'int'和'double'，代码执行时没有任何错误或警告。
看看创建对象时会发生什么：
Base<float,char> b;或Base<char,char> b;

默认模板参数部分特化

3 个答案: