不能对函数模板进行局部特化,但是可以重载它们
上一篇文章说到max()函数在比较大小时,max(int*)(pa,pb);会对两变量的地址进行比较,这样得到的结果是错误的,所以可以进行模板的显示特化,但显式特化会有极大的局限性,所以可以使用模板来解决指针在模板中所产生的问题。
#include <iostream>
template <typename T>
T max(T a, T b)
{
return a > b ? a : b;
}
//模板重载
template <typename T>
T* max(T* a, T* b)
{
std::cout << "T*"<<std::endl;
return *a > * b ? a : b;
}
//测试代码
int main()
{
int data[2] = {5,10};
int *pdata = nullptr;
pdata = max<int>(&data[1], &data[0]);
std::cout << *pdata << std::endl;
pdata = max<int>(&data[0], &data[1]);
std::cout << *pdata << std::endl;
return 0;
}
由两次传参得到的结果相同可以看出代码是正确的,然而这样写是错误的
max<int*>(&data[1], &data[0]);
这样写调用的是最开始我们的max模板,而不是我们预想的那一个。
具体详情可以参考《C++必知必会》人们邮电出版社出版