模板的局限性

局限性：

• 模板的通用性并不是万能的

例如：

template<class T>
void f(T a,T b)
{
	a=b;
 } 

在上述代码中提供的赋值操作，如果传入的a和b是一个数组，就无法实现了

再例如：

template<class T>
void f(T a,T b)
{
    if(a>b)
        {
            ......
        }
}

在上述代码中，如果T的数据类型传入的是像Person这样的自定义数据类型，也无法正常进行

---

因此，C++为了解决这类问题，提供模板的重载，可以为这些特定的类型提供具体化模板

例如：

#include<iostream>
using namespace std;
#include<string>

#include<iostream>
using namespace std;
#include<string>

//普通函数模板
template<typename T>
bool myCompare(T& a,T& b)
{
    if(a==b)
    {
        return true;
    }
    else
    {
        return false;
    }
}

void test01()
{
    int a=10;
    int b=20;
    
    //内置数据类型可以直接使用通用的函数模板
    bool ret=myCompare(a,b);
    if(ret)
    {
        cout<<"a==b"<<endl;
    }
    else
    {
        cout<<"a!=b"<<endl;
    }
}
#include<iostream>
using namespace std;
#include<string>

class Person
{
    public:
        Person(string name,int age)
        {
            this->m_name=name;
            this->m_age=age;
        }
        string m_name;
        int m_age;
};

//利用具体化Person的版本实现代码，具体化优先调用
template<>bool myCompare(Person &p1,Person &p2)
{
    if(p1.m_name==p2.m_name&&p1.m_age==p2.m_age)
    {
        return true;
    }
    else
    {
        return false;
    }
 } 

void test02()
{
    Person p1("Tom",10);
    Person p2("Tom",10);
    
    //自定义数据类型，不会调用函数模板
    //可以创建具体化的Person数据类型的模板，用于特殊处理这个类型
    
     bool ret=myCompare(p1,p2);
     if(ret)
     {
         cout<<"p1==p2"<<endl;
     }
     else
     {
         cout<<"p1!=p2"<<endl; 
     }
}

int main()
{
    test01();
    test02();
    system("pause");
    return 0;
}

---

总结：

• 利用具体化的模板，可以解决自定义类型的通用化
• 学习模板并不是为了写模板，而是在STL能够运用系统提供的模板

---