在用实参调用模板函数的时候，一般不会转换实参以匹配已有的实例化，而是会通过模板函数产生新的实例以适应该实参。
　　例如：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的类型不匹配，调用出错。如果形参是数组的引用，编译器不会将数组实参转化为指针，而是传递数组的引用本身。数组大小成为形参和实参类型的一部分，编译器会检查实参大小和形参大小是否匹配。