1.隐式实例化
template <class T>
void Add(T &a, T &b)
{
return a + b;
}
代码中包含函数模板时,并不会生成实际的函数定义,只是提供了一个模板。
在调用此函数中,传入两个可以进行计算的数据类型(如int),编译器才会自动生成一个Add的实例,一个形参为int类型的参数。
2.显式实例化
template void Add<double>(double &a, double &b)
这是一个显式实例化的声明,在未传入double参数时,声明即告诉编译器“直接用Add的模板给我生成一个double类型的函数定义”(即没有参数传入时,编译器就生成一个double类型的Add实例)。
3.显式具体化
template <> void Swap<job>(job &a, job &b) // 这里的job是一个结构体变量
{
...
}
这是一个显式具体化的函数声明,它不依赖于模板。显式具体化和显式实例化不同,后者是用模板在未接收到参数时提前声明一个规定的某类型函数,后者不利用模板,利用自己提供的独立定义声明函数。