函数模板的实例化

函数模板的实例化

用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例 化。

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;
 }