这段代码是这样的:
template<typename T>
int compare(const T& t1,const T& t2)
{
cout<<"范型"<<endl;
return 1;
}
int main()
{
cout<<compare("hello","world")<<endl;
}
template<>
int compare<const char*>(const char* const &t1,const char* const &t2)
{
cout<<"特化"<<endl;
return 2;
}
我们可以把compare对const char*的特化版本放在main之前，然后看到它仍然是去重新实例话一个函数，而不是使用特化的函数，这是因为compare的函数参数是引用类型，而我们调用compare时是这样的,compare("hello","world")，那么当参数是引用时，常量字符串就不会主动转变成const char*指针，如果我们把compare的参数改为非引用类型的，那么compare("hello","world")就会调用特化版本，反之，"hello"和"world"调用范型函数时确定的类型是 const char *(&)[6]，和下面的是同理
void print(const char* &p)
{
}
void print(const char* p)
{
}
假如上面2个函数都是合理的，当print("aaaa")时会调用哪个函数?从上面我们能得出，应该调用函数形参是非const的，因为这时是传值；如果只有第1个函数而我们print("aaa"),那么就会因为找不到对应的print函数而编译不通过