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