函数模板的实例化
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例 化。
1.隐式实例化:让编译器根据实参推演模板参数的实际类型
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 10.0, double d2 = 20.0;
Add(a1, a2);
Add(d1, d2);
/* 该语句不能通过编译,因为在编译期间,
当编译器看到该实例化时,需要推演其实参类型
通过实参a1将T推演为int,通过实参d1将T推演为
double类型,但模板参数列表中只有一个T,
编译器无法确定此处到底该将T确定为int
或者 double类型而报错
注意:在模板中,编译器一般不会进行类型转换操作,
因为一旦转化出问题,编译器就需要背黑锅
Add(a1, d1); */
// 此时有两种处理方式:1. 用户自己来强制转化 2. 使用显式实例化
Add(a, (int)d);
return 0;
}
2.显式实例化:在函数名后的<>中指定模板参数的实际类型
int main(void)
{
int a = 10;
double b = 20.0;
// 显式实例化
Add<int>(a, b);
return 0;
}