【C++】模板上(泛型编程) —— 函数模板与类模板

news2025/5/19 11:30:40

文章目录

  • 一、啥是泛型编程
  • 二、函数模板
    • 2.1、函数模板的概念
    • 2.2、函数模板的格式
    • 2.3、函数模板的原理
    • 2.4、函数模板的实例化
        • 2.4.1、隐式实例化：让编译器根据实参推演模板参数的实际类型
        • 2.4.2、显示实例化：在函数名后的<>中指定模板参数的实际类型
    • 2.5、函数模板的匹配原则
        • 2.5.1、一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数
        • 2.5.2、对于非模板函数和同名的函数模板，如果其他条件都相同，在调用时会优先调用非模板函数，而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数，那么选择模板
        • 2.5.3、模板函数不允许自动隐式类型转换，但普通函数可以进行自动隐式类型转换
  • 三、类模板
    • 3.1、类模板的定义格式
    • 3.2、类模板的实例化
    • 四、模板的作用域

一、啥是泛型编程

我们在C++中不使用模板(泛型)，如何实现一个通用的交换函数呢？

void Swap(int& left, int& right)
{
	int temp = left;
	left = right;
	right = temp;
}
void Swap(double& left, double& right)
{
	double temp = left;
	left = right;
	right = temp;
}
void Swap(char& left, char& right)
{
	char temp = left;
	left = right;
	right = temp;
}

......
  • 答案也是非常简单，利用C++的函数重载特性，编写多个类型的Swap交换函数即可。

但是，这代码就是咱们程序🐵所说的屎山代码。因为：

  1. 重载的多个函数仅仅只是类型不同，代码的复用率比较低，只要出现新的类型需要交换，就需要新增对应的重载函数。（QAQ）想到不才都忍不住流泪
  2. 代码的可维护性比较低，其中一个重载函数出现错误可能意味着所有的重载函数都出现了错误。

那能否告诉编译器一个模子，让编译器根据不同的类型利用该模子来生成代码呢？

例如咱们工业生产的时候，是不是只需要生成一个摸具，一压一和就完成生成产品，不用人工每一个都手打。

在这里插入图片描述

那么在C++中，我们就隆重推出了泛型编程的概念，这也是C++能在历朝历代的语言更替中，依旧呲碴风云的核心之一。

泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。

在这里插入图片描述

二、函数模板

2.1、函数模板的概念

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

2.2、函数模板的格式

template <typename T1,class T2,…,typename Tn>
返回类型 函数名(参数列表)
{
  //函数体
}

在这里插入图片描述

template<typename T>
void Swap(T& x, T& y)
{
	T tmp = x;
	x = y;
	y = tmp;
}

注意：typename 是用来定义模板参数的关键字，也可以用class代替 (切记：不能使用struct代替class)，其作用都一样，只是为了编写模板参数增多时，在代码可读性区分是自定义类型的模板参数还是基础类型模板参数。

2.3、函数模板的原理

函数模板是一个蓝图，它本身并不是函数。是编译器产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。

在这里插入图片描述

在编译器编译阶段，对于函数模板的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如，当用int类型使用函数模板时，编译器通过对实参类型的推演，将T确定为int类型，然后产生一份专门处理int类型的代码，对于double类型等其他也是如此。（所有类型都可以使用泛型编程，包含自定义类型)

2.4、函数模板的实例化

用不同类型的参数使用模板时，称为模板的实例化。模板实例化分为：隐式实例化和显示实例化。

2.4.1、隐式实例化：让编译器根据实参推演模板参数的实际类型

在这里插入图片描述

#include <iostream>
using namespace std;
template<typename T>
T Add(const T& x, const T& y)
{
	return x + y;
}
int main()
{
	int a = 10, b = 20;
	int c = Add(a, b); //编译器根据实参a和b推演出模板参数为int类型
	return 0;
}
  • 不才在上面代码中，只声明了一个泛型变量T
  • 那么在代码中没有显示的指定泛型类型，那么编译器就根据实参a和b推演出模板参数为int类型
  • 即：在编译后，类型T就会变为Add()函数创建一个int Add(const int& x, const int& y)，那就是在2.3、函数模板的原理中不才画的示例图，不才再次把这个图拿下来在这里插入图片描述

特别注意：使用模板时，程序猿定义了多少个泛型模板变量，那么编译器就只会自动识别多少个变量。若超出了泛型模板变量定义的个数就报错

在这里插入图片描述

#include <iostream>
using namespace std;
template<typename T>
T Add(const T& x, const T& y)
{
	return x + y;
}
int main()
{
	int a = 10;
	double dou = 20.2;
	int c = Add(a, dou); //ERR
	return 0;
}

运行结果如下图：在这里插入图片描述

  • 因为在编译期间，编译器根据实参推演模板参数的实际类型时，根据实参a将T推演为int，根据实参dou将T推演为double，但是模板参数列表中只有一个T，编译器无法确定此处应该将T确定为int还是double

此时，我们有三种处理方式，第一种就是我们在传参时将dou强制转换为int类型，第二种就是使用下面说到的显示实例化，第三种就是改变函数列表或新增函数使得函数重载。

2.4.2、显示实例化：在函数名后的<>中指定模板参数的实际类型

在这里插入图片描述

#include <iostream>
using namespace std;
template<typename T>
T Add(const T& x, const T& y)
{
	return x + y;
}
int main()
{
	int a = 10;
	double b = 1.1;
	int c = Add<int>(a, b); //指定模板参数的实际类型为int
	return 0;
}

显示实例化 一般在类模板中的 类成员的实例化中常见

注意：使用显示实例化时，如果传入的参数类型与模板参数类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功，则编译器将会报错。

2.5、函数模板的匹配原则

2.5.1、一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数
#include <iostream>
using namespace std;
//专门用于int类型加法的非模板函数
int Add(const int& x, const int& y)
{
	return x + y;
}
//通用类型加法的函数模板
template<typename T>
T Add(const T& x, const T& y)
{
	return x + y;
}
int main()
{
	int a = 10, b = 20;
	int c = Add(a, b); //调用非模板函数，编译器不需要实例化
	int d = Add<int>(a, b); //调用编译器实例化的Add函数
	return 0;
}
2.5.2、对于非模板函数和同名的函数模板，如果其他条件都相同，在调用时会优先调用非模板函数，而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数，那么选择模板
#include <iostream>
using namespace std;
//专门用于int类型加法的非模板函数
int Add(const int& x, const int& y)
{
	return x + y;
}
//通用类型加法的函数模板
template<typename T1, typename T2>
T1 Add(const T1& x, const T2& y)
{
	return x + y;
}
int main()
{
	int a = Add(10, 20); //与非模板函数完全匹配，不需要函数模板实例化
	int b = Add(2.2, 2); //函数模板可以生成更加匹配的版本，编译器会根据实参生成更加匹配的Add函数
	return 0;
}
2.5.3、模板函数不允许自动隐式类型转换，但普通函数可以进行自动隐式类型转换

普通函数可以进行自动隐式类型转换

在这里插入图片描述

int Add(const int& x, const int& y)
{
	return x + y;
}

int main()
{
	int a = Add(10, 20);
	int b = Add(2.2, 2); 
	int t = Add(5.5, 5.5); 

	printf("a :> %d\n", a);
	printf("b :> %d\n", b);
	printf("t :> %d\n", t);


	return 0;
}

运行结果：
在这里插入图片描述

模板函数不允许自动隐式类型转换

在这里插入图片描述

#include <iostream>
using namespace std;
template<typename T>
T Add(const T& x, const T& y)
{
	return x + y;
}
int main()
{
	int a = 10;
	double dou = 20.2;
	int c = Add(a, dou); //ERR
	return 0;
}

运行结果如下图：在这里插入图片描述

三、类模板

3.1、类模板的定义格式

template<class T1, class T2, …, class Tn>
class 类模板名
{
	//类内成员声明
};

在这里插入图片描述

template<class T>
class Score
{
public:
	Score(T math, T chinese, T english) :_Math(math), _Chinese(chinese), _English(english) {
		;
	}
	void Print()
	{
		cout << "数学:" << _Math << endl;
		cout << "语文:" << _Chinese << endl;
		cout << "英语:" << _English << endl;
	}
private:
	T _Math;
	T _Chinese;
	T _English;
};

注意：类模板中的成员函数/属性若是放在类外定义时，需要加模板参数列表。(一般使用在静态方法中)

在这里插入图片描述

template<class T>
class Score
{
public:
	Score(T chinese, T english) :_Chinese(chinese), _English(english) {
		;
	}
	void Print();//为举例而写
	
private:
	static int _Math;
	T _Chinese;
	T _English;
};
template <class T>
int Score<T>::_Math = 10;

template <class T>
void Score<T>::Print()
{
	cout << "数学:" << _Math << endl;
	cout << "语文:" << _Chinese << endl;
	cout << "英语:" << _English << endl;
}

3.2、类模板的实例化

类模板实例化需要在类模板名字后面根<>，然后将实例化的类型放在<>中即可。
在这里插入图片描述

template<class T>
class Score
{
public:
	Score(T chinese, T english) :_Chinese(chinese), _English(english) {
		;
	}
	void Print();
	
private:
	static int _Math;
	T _Chinese;
	T _English;
};
template <class T>
int Score<T>::_Math = 10;

template <class T>
void Score<T>::Print()
{
	cout << "数学:" << _Math << endl;
	cout << "语文:" << _Chinese << endl;
	cout << "英语:" << _English << endl;
}

int main() {
	Score<int> t1( 100, 60);
	Score<double> t2( 90.5, 2.5);

	t1.Print();
}

注意：Score不是真正的类，Score<int>和Score<double>才是真正的类。

类模板名字不是真正的类，而实例化的结果才是真正的类。

四、模板的作用域

不论是类模板、函数模板还是类外定义的内容中，template其作用域只会最用在下面最近一行中

在这里插入图片描述

template<class T>
class Score
{
public:
	Score(T chinese, T english) :_Chinese(chinese), _English(english) {
		;
	}
	void Print();//为举例而写
	
private:
	static int _Math;
	T _Chinese;
	T _English;
};

template <class T>
int Score<T>::_Math = 10;
void Score<T>::Print() //err
{
	cout << "数学:" << _Math << endl;
	cout << "语文:" << _Chinese << endl;
	cout << "英语:" << _English << endl;
}
  • 在类外第一个定义的template <class T>只作用在int Score<T>::_Math = 10;中，之后就消亡
  • 所以在void Score<T>::Print(){...}中，T不再是一个类模板，而是一个未定义的标识符。如下图：在这里插入图片描述

那为啥我们在类中或函数中还是可以使用模板参数呢？

  • 那是因为在{}中内容都是属于该类/函数的内容。

以上就是本章所有内容。若有勘误请私信不才。万分感激💖💖 如果对大家有用的话，就请多多为我点赞收藏吧，您的每一个点赞都是不才最大的鼓励~~~💖💖
请添加图片描述

ps:表情包来自网络，侵删🌹

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/2379247.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

【大模型系列】logprobs(对数概率)参数

【大模型系列】logprobs(对数概率)参数

&#x1f49d;&#x1f49d;&#x1f49d;欢迎来到我的博客&#xff0c;很高兴能够在这里和您见面&#xff01;希望您在这里可以感受到一份轻松愉快的氛围&#xff0c;不仅可以获得有趣的内容和知识&#xff0c;也可以畅所欲言、分享您的想法和见解。 推荐:kwan 的首页,持续学…
阅读更多...
C语言内存函数与数据在内存中的存储

C语言内存函数与数据在内存中的存储

一、c语言内存函数 1、memcpy函数是一个标准库函数&#xff0c;用于内存复制。功能上是用来将一块内存中的内容复制到另一块内存中。用户需要提供目标地址、源地址以及要复制的字节数。例如结构体之间的复制。 memcpy函数的原型是&#xff1a;void* memcpy&#xff08;void* …
阅读更多...
通过MCP让LLM调用系统接口

通过MCP让LLM调用系统接口

场景 MCP的出现大大丰富了LLM的功能&#xff0c;对于存量系统&#xff0c;我们希望能让模型调用已有的接口&#xff0c;以最小的成本让AI能够获取系统内部数据。因此我们开发了一个名为http-api-call的MCP Server&#xff0c;来支持模型到内部API的调用 实现方案 使用用标准…
阅读更多...
【刚下赛场！】2025年江西省电子专题赛 - 现场制作：简易数控直流电流源原题

【刚下赛场！】2025年江西省电子专题赛 - 现场制作：简易数控直流电流源原题

一、题目要求 二、赛场注意事项 1、一定要用铜柱将板子升起来&#xff0c;不然我们剪下来的引脚在测试的时候放在桌子上非常容易导致我们的板子短路&#xff08;记得把铜柱卸下来再上交作品&#xff0c;不然会被认为是做标记判0分&#xff09;&#xff1b; 2、发下来器件之后…
阅读更多...
材料×工艺×AI：猎板PCB重构汽车电子四层板技术逻辑

材料×工艺×AI：猎板PCB重构汽车电子四层板技术逻辑

一、汽车电子四层板的三大核心挑战 1. 极端环境下的可靠性保障 汽车电子需在-40℃至150℃的剧烈温变、高湿振动等环境中稳定运行。例如&#xff0c;电池管理系统&#xff08;BMS&#xff09;要求PCB在高温下阻抗漂移率低于8%&#xff0c;且镀层需具备抗腐蚀能力。猎板PCB通…
阅读更多...
MCP(一)——QuickStart

MCP(一)——QuickStart

目录 1. MCP简介2. MCP的优势3. MCP核心4. QuickStart For Server Developers(仅具参考)4.1 MCP核心概念4.2 构建MCP服务器的代码4.2.1 设置MCP服务器实例4.2.2 辅助函数4.2.3 实现工具执行4.2.4 在Cherry-Studio中添加MCP服务器4.2.5 演示4.2.5.1 测试工具get_alerts4.2.5.2 测…
阅读更多...
Spring AOP从0到1

Spring AOP从0到1

Spring有两大核心&#xff1a; 1、IoC 控制反转 2、AOP 面向切面编程 AOP&#xff1a;切面就是指某⼀类特定问题, 所以AOP也可以理解为面向特定⽅法编程. 引入AOP依赖 <dependency> <groupId>org.springframework.boot</groupId> <artifactId>spri…
阅读更多...
软考IPSEC案例分析

软考IPSEC案例分析

要回忆IPSEC点击这里 题目 5/21 某全国连锁企业的总部和分布在全国各地的30家分公司之间经常需要传输各种内部数据&#xff0c;因此公司决定在总部和各分公司之间建立VPN技术。具体拓扑如下&#xff1a; 配置部分只显示了与总部与分公司1的配置。 根据拓扑完成问题1-问题2。…
阅读更多...
C++（23）：容器类＜vector＞

C++（23）：容器类＜vector＞

目录 一、核心概念 二、基本语法 1. 头文件 2. 声明与初始化 三、常用操作 四、具体实例 1、size()、front()、back() 2、push_back()、pop_back()、capacity() 3、reserve&#xff08;&#xff09; 一、核心概念 Vectors 包含着一系列连续存储的元素,其行为…
阅读更多...
Hugo 安装保姆级教程（搭建个人blog）

Hugo 安装保姆级教程（搭建个人blog）

Hogo 安装保姆级教程 友链 参考文章&#xff1a; https://blog.csdn.net/xianyun_0355/article/details/140261279 前言 Hugo 是 Go 编写的静态网站生成器&#xff0c;速度快&#xff0c;易用&#xff0c;可配置。作为一款跨平台开源建站系统&#xff0c;当前提供 Windows&…
阅读更多...
tomcat查看状态页及调优信息

tomcat查看状态页及调优信息

准备工作 先准备一台已经安装好tomcat的虚拟机&#xff0c;tomcat默认是状态页是默认被禁用的 1.添加授权用户 vim /usr/local/tomcat/conf/tomcat-users.xml22 <role rolename"manager-gui"/>23 <user username"admin" password"tomcat&q…
阅读更多...
从坏道扫描到错误修复：HD Tune实战指南

从坏道扫描到错误修复：HD Tune实战指南

一、硬盘检测的必要性 随着计算机使用时间的增加&#xff0c;机械硬盘和固态硬盘都会出现不同程度的性能衰减。定期进行硬盘健康检查可以&#xff1a;及时发现潜在故障&#xff1b;预防数据丢失风险&#xff1b;掌握存储设备实际状态。 二、HD Tune功能解析 性能测试&#x…
阅读更多...
将嵌入映射到 Elasticsearch 字段类型：semantic_text、dense_vector、sparse_vector

将嵌入映射到 Elasticsearch 字段类型：semantic_text、dense_vector、sparse_vector

作者&#xff1a; Andre Luiz 讨论如何以及何时使用 semantic_text、dense_vector 或 sparse_vector&#xff0c;以及它们与嵌入生成的关系。 通过这个自定进度的 Search AI 实践学习亲自体验向量搜索。你可以开始免费云试用&#xff0c;或者在本地机器上尝试 Elastic。 多年来…
阅读更多...
解决uni-app开发中的“TypeError: Cannot read property ‘0‘ of undefined“问题

解决uni-app开发中的“TypeError: Cannot read property ‘0‘ of undefined“问题

问题背景 在使用uni-app开发小程序或App时&#xff0c;你可能会遇到这样一个错误: TypeError: Cannot read property 0 of undefinedat uni.promisify.adaptor.js:7这个错误看起来很唬人&#xff0c;但它实际上与uni-app框架中的Promise适配器有关。今天&#xff0c;我们将深…
阅读更多...
翻译：20250518

翻译：20250518

翻译题 文章目录 翻译题一带一路中国结 一带一路 The “One Belt and One Road” Initiative aims to achieve win-win and shared development. China remains unchanged in its commitment to foster partnerships. China pursues an independent foreign policy of peace, …
阅读更多...
西门子1200/1500博图（TIA Portal）寻址方式详解

西门子1200/1500博图（TIA Portal）寻址方式详解

西门子博图&#xff08;TIA Portal&#xff09;是西门子公司推出的自动化工程软件平台&#xff0c;广泛应用于工业自动化领域。在编写PLC程序时&#xff0c;寻址方式是一个非常重要的概念&#xff0c;它决定了如何访问和操作PLC中的数据和资源。本文将详细介绍西门子博图中的寻…
阅读更多...
记录一次win11本地部署deepseek的过程

记录一次win11本地部署deepseek的过程

20250518 win11 docker安装部署 ollama安装 ragflow部署 deepseek部署 文章目录 1 部署Ollama下载安装ollama配置环境变量通过ollama下载模型deepseek-r1:7b 2 部署docker2.1 官网下载amd版本安装2.2 配置wsl2.3 Docker配置&#xff1a;位置代理镜像源 3 部署RAGFlow更换ragfl…
阅读更多...
嵌入式STM32学习——外部中断EXTI与NVIC的基础练习⭐

嵌入式STM32学习——外部中断EXTI与NVIC的基础练习⭐

按键控制LED灯 按键控制LED的开发流程&#xff1a; 第一步&#xff1a;使能功能复用时钟 第二布&#xff0c;配置复用寄存器 第三步&#xff0c;配置中断屏蔽寄存器 固件库按键控制LED灯 外部中断EXTI结构体&#xff1a;typedef struct{uint32_t EXTI_Line; …
阅读更多...
＜前端小白＞ 前端网页知识点总结

＜前端小白＞ 前端网页知识点总结

HTML 标签 1. 标题标签 h1到h6 2. 段落标签 p 3. 换行 br 水平线 hr 4. 加粗 strong 倾斜 em 下划线 ins 删除 del 5. 图像标签 img src-图像的位置 alt- 图片加载失败显示的文字 替换文本 title--- 鼠标放到图片上显示的文字 提示…
阅读更多...
历史数据分析——宁波海运

历史数据分析——宁波海运

运输服务 运输服务板块简介： 运输服务板块主要是为货物与人员流动提供核心服务的企业的集合，涵盖铁路、公路、航空、海运、物流等细分领域。该板块具有强周期属性，与经济复苏、政策调控、供需关系密切关联，尤其是海运领域。有不少国内股市的铁路、公路等相关的上市公司同…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023