C++学习之函数模板的局限性

局限性：

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

例如：

	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;

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

	~person()
	{
		if (this->m_name != NULL)
		{
			delete this->m_name;
			this->m_name = NULL;
		}

		if (this->m_age != NULL)
		{
			delete this->m_age;
			this->m_age = NULL;
		}
	}

public:
	string *m_name;
	int *m_age;

};


//普通函数模板
template<class T>
void myCompare(T& a, T& b)
{
	if (a == b)
	{
		cout << "a==b" << endl;
	}
	else
	{
		cout << "a!=b" << endl;
	}
}


//具体化的函数模板
template<> void myCompare(person& a, person& b)//可以把具体的数据类型写上了
{
	if ((*a.m_name == *b.m_name) && (*a.m_age == *b.m_age))
	{
		cout << "p1==p2" << endl;
	}
	else
	{
		cout << "p1!=p2" << endl;
	}
}

 
int main()
{

	int a = 10, b = 10;
	myCompare(a, b);


	person p1("Tom", 100);
	person p2("Tom", 100);

	//自定义数据类型，不会调用普通的函数模板
	//可以创建具体化的Person数据类型的模板，用于特殊处理这个类型
	myCompare(p1, p2);

	return 0;
}