C++初阶Day32

函数模板的实例化

函数模板的实例化：

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

1. 隐式实例化：让编译器根据实参推演模板参数的实际类型
2. 显式实例化：在函数名后的<>中指定模板参数的实际类型 如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。

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