字符串作为函数模版实参的意外情况

有时，当把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值不同则两个字符串所对应的类型就不同，因此不能