代码中的函数模板本身并不会生成函数定义,它只是一个用于生成函数定义的方案。编译器使用模板为特定类型生成函数的定义时,得到的是模板实例。
template <typename T>
void Swap<T &a, T &b>
- 隐式实例化(implicit instantiation)
调用:
int i,j;
Swap(i,j);
当函数调用Swap(i,j)时,导致编译器生成Swap()的一个int类型的一个实例。函数模板并非函数定义,但使用int的模板实例是函数定义。这就是隐式实例化。
- 显式实例化(explicit instantiation)
template void Swap<int>(int &, int &);
实现了显式实例化的编译器看到上述声明后,将使用Swap()模板生成一个使用int类型的实例。也就是说该声明的意思是“使用Swap()模板生成int类型的函数定义”
- 显式具体化(explicit specialization)
template <> Swap<int>(int &, int &);
或template <> Swap(int &, int &);
区别在于,这些声明的意思是“不要使用Swap()模板来生成函数的定义,而是使用专门为int类型显式的定义的函数定义。”这些原型必须有自己的函数定义。
显式具体化声明在关键字 template后面包含<>,而显式实例化没有。