模板的局限性

大家好：

        衷心希望各位点赞。

        您的问题请留在评论区，我会及时回答。

模板的局限性

模板的通用性并不是万能的。函数模板传入数组或用户自定义的数据类型，就有可能发生错误。

例如：

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

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

例如：

template<typename T>
void f(T a, T b)
{
	if (a > b)
	{
		cout << a << endl;
	}
}

在上述代码中，如果传入的a和b是自定义的数据类型Person，也无法正常运行。

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

具体化模板

#include <iostream>
#include <Windows.h>
#include <string>

using namespace std;

// 自定义数据类型
class Person
{
public:
	string m_Name;
	int m_Age;

	Person(string name, int age)
	{
		m_Name = name;
		m_Age = age;
	}
};

// 对比两个数据是否相等
template<typename T>
bool myCompare(T& a, T& b)
{
	return a == b ? true : false;
}

// 利用函数的具体化模板实现对比自定义数据类型Person
// 具体化模板会优先调用
template<> bool myCompare(Person& a, Person& b)
{
	if (a.m_Name == b.m_Name && a.m_Age == b.m_Age)
	{
		return true;
	}
	else
	{
		return false;
	}
}

void test()
{
	Person p1("张三", 18);
	Person p2("李四", 20);

	// 具体化模板会优先调用
	int ret = myCompare(p1, p2);

	if (ret)
	{
		cout << "p1 == p2" << endl;
	}
	else
	{
		cout << "p1 != p2" << endl;
	}
}

int main(void)
{
	test();

	system("pause");
	return 0;
}

运行截图：

总结

利用具体化模板，可以解决自定义类型的通用化。

掌握模板并不是为了写模板，而是在STL中，能够运用系统提供的模板。