C++_Primer 16.2 实例化

编译器对待模版时，总会用它产生特定类型的版本，这个过程成为实例化。其中函数模板在调用时或者用它对指向函数的指针初始化或者赋值时实例化，类模板在引用实际模板类型时实例化。尤其对于函数模板，编译器通常会进行实参的推断。伴随而来的问题跟函数重载类似，就是确定匹配的模板。

1. 对于模板，多个类型的实参必须完全匹配，不能依靠隐式的类型转换，其中两个类型形参的类型是完全相同的，则不能调用：

template <typename T>  int compare(const T &v1,const T &v2)  {      if(v1 < v2)          return -1;      else if(v1 > v2)          return 1;      else          return 0;  }short si = 10;  int ival = 100;  cout<<compare(si,ival)<<endl; // error, 不存在实参类型转化 

2. 类型转化的例外：
2.1.const转换：如果函数的形参是const引用或者指针，那么如果采用非const对象的引用或者指针也能调用。这取决于const变量的初始化规则：我们可以使用非const的类型初始化一个对应的const类型的引用。如果函数接受的是非引用类型，形参和实参都会忽略const。同样是因为我们可以给一个非const变量传递一个const值来初始化。

template <typename T> int fobj(T,T);  template <typename T> int fref(const T&,const T&);        string s1 = "a vaule";      const string s2 = "another value";      fobj(s1,s2);  //const被忽略      fref(s1,s2);//s1转化为const引用

2.2 .数组或者函数到指针的转换：如果形参 1) 不是引用类型，则数组或者函数类型的实参转换为对应的指针：数组转换为指向数组的第一个元素，函数转换为指向函数的指针。当使用2)引用时，数组并不转化为指针，数组的元素个数也作为矩阵的类型是否相同的衡量标准之一。有些时候，我们并不能推断模版实参的类型（在函数返回值类型与形参列表中的所有类型都不同时，容易出现这种问题），此时我们必须显式的指定模板形参所用的类型或值。

转载于：点击打开链接