有时,当把c风格的不同字符串去实例化函数模版的同一个模版参数时,在实参演绎的过程中经常会发生
意想不到的事情,那就是编译失败,并报错类型不匹配。
正如下面的例子一样:
#include<iostream>
using namespace std;
/*
*匹配测试
*/
template<typename T>
int ref_fun(T & t1,T & t2)
{
return strlen(t1) - strlen(t2);
}
template<typename T>
int nonref_fun(T t1,T t2)
{
return strlen(t1) - strlen(t2);
}
int main()
{
//int a = ref_fun("abcd","abc");
//Error:没有与参数列表匹配的模版实例
//参数类型为(const char[5],const char[4])
int b = nonref_fun("abcd","abc");
//编译通过
}
对于上述这种情况的解释就是:对于引用类型的字符串参数编译器会自动转换成“字符常量数组”例如const char[N],所以如果N值不同则两个字符串所对应的类型就不同,因此不能