C++学习Day08之模板实现机制和模板局限性

目录

• 一、程序及输出
• • [1.1 模板的实现机制](#1.1 模板的实现机制)
  • [1.2 模板局限性](#1.2 模板局限性)
• 二、分析与总结

---

一、程序及输出

1.1 模板的实现机制

1 编译器并不是把函数模板处理成能够处理任何类型的函数

2 函数模板通过具体类型产生不同的函数 --- 通过函数模板产生的函数 称为模板函数

3 编译器会对函数模板进行两次编译，在声明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译。

1.2 模板局限性

模板并不是真实的通用，对于自定义数据类型，可以使用具体化技术，实现对自定义数据类型特殊使用

template<> bool myCompare(Person &a, Person &b)

#define _CRT_SECURE_NO_WARNINGS
#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;
};

//显示两个变量 对比 函数
template<class T>
bool myCompare(T &a ,T&b)
{
	if (a == b)
	{
		return true;
	}
	return false;
}

//利用具体化技术 实现对自定义数据类型 提供特殊模板
template<> bool myCompare(Person &a, Person &b)
{
	if (a.m_Name == b.m_Name && a.m_Age == b.m_Age)
	{
		return true;
	}
	return false;
}

void test01()
{
	int a = 10;
	int b = 10;

	bool ret = myCompare(a, b);

	if (ret )
	{
		cout << "a == b" << endl;
	}
	else
	{
		cout << "a != b" << endl;
	}

	Person p1("Tom", 19);
	Person p2("Tom", 20);

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

int main(){
	test01();

	system("pause");
	return EXIT_SUCCESS;
}

输出：

---

二、分析与总结

模板的实现机制:

1 编译器并不是把函数模板处理成能够处理任何类型的函数

2 函数模板通过具体类型产生不同的函数 --- 通过函数模板产生的函数 称为模板函数

3 编译器会对函数模板进行两次编译，在声明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译。
模板的局限性：

模板并不是真实的通用，对于自定义数据类型，可以使用具体化技术，实现对自定义数据类型特殊使用

template<> bool myCompare(Person &a, Person &b)