C++ 65 之 模版的局限性
#include <iostream>
#include <cstring>
using namespace std;class Students05{
public:string m_name;int m_age;Students05(string name, int age){this->m_name = name;this->m_name = age;}
};// 两个值进行对比的函数
template<typename T>
bool myCom(T& a, T& b){if (a == b){return true;}else{return false;}
}
// 重载 == 也可以实现，不过这里采用特殊模板
// 利用具体化，实现对于自定义的类型进行对比 需要提供特殊模板
template<> bool myCom(Students05& a, Students05& b){if(a.m_name == b.m_name && a.m_age == b.m_age){return true;}else{return false;}
}int main()
{// int a = 1;// int b = 2;// bool res = myCom(a,b);// if(res){// cout << "a==b" << endl;// }// else{// cout << "a!=b" << endl;// }Students05 stu1("张三",18);Students05 stu2("李四",20);bool res = myCom(stu1,stu2);if(res){cout << "a==b"<< endl;}else{cout << "a!=b"<< endl;}return 0;
}
模板的局限性
假设有如下模板函数：
template<class T>
void f(T a, T b)
{ … }
如果代码实现时定义了赋值操作 a = b，但是T为数组，这种假设就不成立了
同样，如果里面的语句为判断语句 if(a>b),但T如果是结构体，该假设也不成立，另外如果是传入的数组，数组名为地址，因此它比较的是地址，而这也不是我们所希望的操作。
总之，编写的模板函数很可能无法处理某些类型，另一方面，有时候通用化是有意义的，但C++语法不允许这样做。为了解决这种问题，可以提供模板的重载，为这些特定的类型提供具体化的模板。