显示声明就是人为创造类实例,抑制编译器自动产生
有如下优点:
1 降低编译器构建时间
2 降低代码膨胀
当然,还有其他优点就不一一列举了。
template<typename T>
T Max(T a, T b) {
return a > b ? a : b;
}
// 显式实例化
template int Max(int a, int b);
int main()
{
float res = Max(1., 2.);
return 0;
}
有同学可能会有疑问,下面两个的区别是什么呢:
template int Max(int a, int b);
template<> int Max(int a, int b);
第一个是显示声明(function template declaration),第二个是显示实例化(function template specialization)。
第一个声明了一个Max模板,告诉编译器 我已经有一个int型的Max函数定义了,编译器不再为这个类型实现模板了。
第二个的意思是当编译器遇到这个类型的时候会优先调用我们显式实例化的!