默认模板参数和部分专用化

Default template argument and partial specialization

本文关键字：专用 参数 默认      更新时间：2023-10-16

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

#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 的广义形式吗？

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

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隐式指定）。

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

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

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

在类定义中，第一个参数类似于常量值（这里是int;为什么以这种方式声明只是让事情变得复杂？最好删除第一个模板参数），第二个模板参数是默认值为"双精度"的 B。

Base<> base;

创建类的对象时。虽然您没有指定模板参数，但编译器采用参数（A 和 B）的默认值，即"int"和"double"，并且代码执行时没有任何错误或警告。
查看将对象创建为时会发生什么情况：
Base<float,char> b;或Base<char,char> b;

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

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

所以代码工作正常。

TL;DR：

template<class A = int, class B=double> class Base {}
  • 此行定义主模板。主模板必须更通用。在这种情况下，它接受任何类型的 A 和 B，即Base<> base;
  • 同时，A = int 和 B = double 是默认值，这意味着在没有模板参数的情况下实例化Base<> base实际上是Base<int, double> base。
  • 然后第一个参数int恰好匹配Base <int, B>，部分专用模板，因此调用"它工作"函数。
相关文章：