c++中模板类型的类型形参与实参的转换

在用实参调用模板函数的时候，一般不会转换实参以匹配已有的实例化，而是会通过模板函数产生新的实例以适应该实参。

例如：template <typename T> int compare(const T& v1,const T& v2)

            short s1,s2;

            int i1,i2;

            compare(i1,i2);   //产生实例compare(int ,int)

            compare(s1,s2);   //产生实例compare(short,short)

即便有了函数compare(int ,int)，在用short类型的数据调用函数compare时，也不会将short类型转换成int类型而调用compare(int ,int)，而是会用模板产生一个新的实例compare(short,short)。

对于模板类型的类型形参与实参的转换，编译器只会执行两种转换：

 1、const转换：接受const引用或const指针的函数分别用非const对象的引用或指针来调用，无需产生新的实例化。如果函数接受非引用类型，形参类型和实参都忽略const，即，无论传递const或非const对象给接受非引用类型的函数，都使用相同的实例化。

 2、数组或函数到指针的转换：如果模板形参不是引用类型，则对数组或函数类型的实参应用常规指针转换。数组实参将当作指向其第一个元素的指针，函数实参当作指向函数类型的指针。

例如：template <typename T> T fobj(T,T);

            template <typename T> T fref(const T&,const T&);

            string s1("a value");

            const string s2("another value");

            fobj(s1,s2);   //调用实例fobj(string,string)。因为模板函数接受非引用类型，实参被复制，所以忽略实参的const

           fref(s1,s2);   //调用实例fref(const string&,const string&)。形参接受const引用类型，非const实参可转换为const引用

           int a[10],b[42];

           fobj(a,b);  //调用实例fobj(int *,int *)。数组不同不重要，两个数组都可以转换为指针。

           fref(a,b);   //编译错误。形参为引用，数组不能转换为指针，此时a和b的类型不匹配，调用出错。如果形参是数组的引用，编译器不会将数组实参转化为指针，而是传递数组的引用本身。数组大小成为形参和实参类型的一部分，编译器会检查实参大小和形参大小是否匹配。