字符串作为函数模版实参的特殊情况

#include  "stdafx.h"

#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);

}

/*

*类型测试

*/

template<typename T>

void Ref(T & t)

{
cout << t << "ref:" << typeid(t).name() << endl;

}

template<typename T>

void nonRef(T t)

{
cout << t << "ref:" << typeid(t).name() << endl;

}

int main()

{
//int a = ref_fun("abcd","abc");  
//Error:没有与参数列表匹配的模版实例  
//参数类型为(const char[5],const char[4])  

int a = ref_fun("abcd","efgh");   
//编译通过  为(const char[5],const char[5])  

 
int b = nonref_fun("abcd", "abc");
//编译通过   为char *
/*
 解释：对于引用类型的字符串参数编译器会自动转换成“字符常量数组”例如const char
,所以如果N值不同则两个字符串所对应的类型就不同，因此不能实例化同一个模版参数。而对于非引用
类型的字符串参数，编译器会自动将字符数组转换为字符指针类型，所以不同长度的字符串都会转换为相同额
字符指针类型，因此可以实例化同一个模版参数。
下面的代码是对于此结论的验证代码：
*/ 

//输出引用字符串的类型  
Ref("abc");
//输出非引用字符串的类型  
nonRef("abc");

}