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

本文详细阐述了函数模板的实现机制,包括编译器如何处理模板和生成模板函数,以及其局限性——并非真正的通用,针对自定义数据类型可通过具体化技术进行特殊处理。并通过示例展示了模板的具体应用。
摘要由CSDN通过智能技术生成


一、程序及输出

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)

  • 4
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值