C++初阶:入门泛型编程(函数模板和类模板)

大致介绍了一下C/C++内存管理、new与delete后:C++初阶:C/C++内存管理、new与delete详解
我们接下来终于进入了模版的学习了,今天就先来入门泛型编程


文章目录

  • 1.泛型编程
  • 2.函数模版
    • 2.1概念
    • 2.2格式
    • 2.3函数模版的原理
    • 2.4函数模版的实例化
      • 2.4.1隐式实例化
      • 2.4.2显示实例化
    • 2.5 模板参数的匹配原则
  • 3.类模板
    • 3.1概念
    • 3.2格式
    • 3.3类模板的实例化


1.泛型编程

**泛型编程是一种编程范式,旨在编写可以适用于多种数据类型的通用代码。通过泛型编程,我们可以编写一次代码,然后将其应用于不同的数据类型,从而避免重复编写相似的代码 **

之前我们面对多种类型只能这样干:

int Swap(int& a, int& b)
{int temp = a;a = b;b = temp;
}void Swap(double& a, double& b)
{double temp = a;a = b;b = temp;
}int main()
{int a = 1, b = 2;double c = 1.1, d = 2.2;Swap(a, b);Swap(c, d);return 0;
}

使用函数重载虽然可以实现,但是有一下几个不好的地方:

  1. 重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数

  2. 代码的可维护性比较低,一个出错可能所有的重载均出错

现在就轮到泛型编程出场了:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。

请添加图片描述


2.函数模版

2.1概念

函数模板是一种允许我们编写通用函数的工具。通过函数模板,我们可以定义一个函数,其中的某些类型可以是通用的,从而使函数能够处理多种数据类型。函数模板使用template关键字定义,并使用一个或多个类型参数来表示通用的类型。

2.2格式

template<typename T1, typename T2,......,typename Tn>//一个或多个
返回值类型 functionName(T parameter1, T parameter2, ...) {// 函数体
}
  • template <typename T>:使用template关键字定义函数模板,并在尖括号中指定一个或多个类型参数.
  • typename是用来定义模板参数关键字,也可以使用class
  • functionName:函数模板的名称。
  • T parameter1, T parameter2, ...:函数模板的参数列表,参数类型为通用的类型T

单模版参数:

template<class T>
void Swap(T& a, T& b)
{T temp = a;a = b;b = temp;
}

多模版参数:

template<class T ,class Y>
void print(T& a, Y& b)
{cout << a << " " << b << endl;
}int main()
{int a = 1;double b = 1.1;print(a, b);return 0;
}

请添加图片描述

2.3函数模版的原理

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

当使用函数模板时,编译器会根据传入的参数类型来实例化模板,并生成对应的函数。

还是这段代码:

template<class T>
void Swap(T& a, T& b)
{T temp = a;a = b;b = temp;
}int main()
{int a = 1, b = 2;double c = 1.1, d = 2.2;Swap(a, b);Swap(c, d);return 0;
}

请添加图片描述

转到反汇编看后发现:两处调用函数的地址不一样,这说明不是同一个函数

请添加图片描述

在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用int类型使用函数模板时,编译器通过对实参类型的推演,将T确定为int类型,然后产生一份专门处理int类型的代码,对于字符类型也是如此

2.4函数模版的实例化

不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。

2.4.1隐式实例化

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

template<class T>
T add(T& a, T& b)
{return a + b;
}int main()
{int a = 1, b = 2;int ab = add(a, b);double c = 1.1, d = 2.2;double cd = add(c, d);//这样会怎样呢?add(a, c);return 0;
}

add(a, c); 这样调用会怎么样呢 ?

该语句不能通过编译,因为在编译期间,当编译器看到该实例化时,需要推演其实参类型 通过实参a1将T推演为int,通过实参d1将T推演为double类型,但模板参数列表中只有一个T,编译器报错

此时有两种处理方式:

  1. 用户自己来强制转化
template<class T>
T add(const T& a,const  T& b)
{return a + b;
}int main()
{int t1 = add(1, (int)2.2);//自己直接强制转换double t2 = add((double)1, 2.2);return 0;
}
  1. 使用显式实例化

2.4.2显示实例化

显式实例化:在函数名后的<>中指定模板参数的实际类型

1.解决类型推测不同问题

template<class T ,class Y>
void print(T& a, Y& b)
{cout << a << " " << b << endl;
}template<class T>
T add(const T& a,const  T& b)
{return a + b;
}int main()
{int a1 = 1;double b1 = 1.1;int a = add<int>(a1, b1);//显示实例化double b = add<double>(a1, b1);print(a, b);return 0;
}

如果类型不匹配,编译器会尝试进行隐式类型转换,如果无法转换成功编译器将会报错

  1. 函数模版参数列表里没有通用类型
template<class T>
T* fun1(int n)
{return new T[n];
}int main()
{int* a = fun1<int>(10);//此时必须显示实例化,不然没有办法推测T是什么类型return 0;
}

2.5 模板参数的匹配原则

  1. 一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
  2. 对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板
  3. 模板函数不允许自动类型转换,但普通函数可以进行自动类型转换

3.类模板

3.1概念

**类模板允许我们创建通用的类,以存储和操作多种数据类型。类模板使用template关键字定义,并可以包含一个或多个类型参数 **

3.2格式

template<class T1, class T2, ..., class Tn>
class 类模板名
{// 类内成员定义
};
template<class T>
class Stack
{
public:Stack(int capacity = 3){cout << "调用了构造函数" << endl;_a = new T[capacity];_top = 0;_capacity = capacity;}~Stack(){cout << "~Stack()" << endl;delete _a;_a = nullptr;_top = -1;_capacity = 0;}
private:int* _a;int _top;int _capacity;
};int main()
{Stack<int> s1;Stack<double> s2;//之前我们都是使用typedef来改变,但是只能存在一个。现在不一样了return 0;
}

3.3类模板的实例化

类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可,类模板名字不是真正的类而实例化的结果才是真正的类

int main()
{// Stack是类名,Stack<int>和Stack<double>才是类型Stack<int> s1;Stack<double> s2;return 0;
}

好啦,这次的内容就到这里啦。接下来进入stl的学习啦!!感谢大家支持~!

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

python如何通过git分支名获取对应的mr

虽然首选的方式是通过CI环境变量$CI_MERGE_REQUEST_IID获取&#xff0c;不过由于需要是mr的pipeline才会产生这个变量&#xff0c;所以不是每个场景都能生成。通用的方法是&#xff1a; 使用 python-gitlab 包来与 GitLab API 交互&#xff0c;可以使用以下命令进行安装&#…

刨析数据结构(一)

&#x1f308;个人主页&#xff1a;小田爱学编程 &#x1f525; 系列专栏&#xff1a;数据结构————"带你无脑刨析" &#x1f3c6;&#x1f3c6;关注博主&#xff0c;随时获取更多关于c语言的优质内容&#xff01;&#x1f3c6;&#x1f3c6; &#x1f600;欢迎来…

GenAI时代的市场供需,新的平台机会#a16z

这是一篇发表在a16z的文章&#xff0c;文中的观点非常值得我们学习。我花了点时间对原文进行梳理&#xff0c;挑选/补充了一些信息&#xff0c;分享给大家。 a16z.com/marketplaces-in-the-age-of-ai AI时代的市场 作者&#xff1a;Olivia Moore 虽然供需市场的商业模式是不变的…

【algorithm】一个简单的PID工程 base 用于手生时候快速复习 用于设计模式 cpp语法八股 快速复习校验

写在前面 最近项目一直用matlab&#xff0c;防止手生整一个回忆工具使用的简单的pid demo&#xff0c;走一边流程&#xff0c;包括配工程debug看结果&#xff0c;复用之前记录的配置见我的bloghttps://blog.csdn.net/weixin_46479223/article/details/135082867?csdn_share_t…

软考笔记--数据库设计与建模

数据库设计是指对一个给定的应用环境&#xff0c;提供一个确定最有数据模型与处理模式的逻辑设计&#xff0c;以及一个确定数据库存储结构与存取方法的物理设计&#xff0c;建立起能反映显示世界信息和信息联系及满足用户数据要求和加工要求&#xff0c;以能够被某个DBMS所接受…

【链表】-Lc328-基于奇偶节点拆分链表(oddHead,oddTail,evenHead,evenTail)

写在前面 最近想复习一下数据结构与算法相关的内容&#xff0c;找一些题来做一做。如有更好思路&#xff0c;欢迎指正。 目录 写在前面一、场景描述二、具体步骤1.环境说明2.代码 写在后面 一、场景描述 给定一个单链表&#xff0c;把所有的 奇数节点 和 偶数节点 分别排在一起…

红队打靶练习:INFOSEC PREP: OSCP

目录 信息收集 1、arp 2、nmap WEB 信息收集 wpscan dirsearch ssh登录 提权 信息收集 1、arp ┌──(root㉿ru)-[~/kali] └─# arp-scan -l Interface: eth0, type: EN10MB, MAC: 00:0c:29:69:c7:bf, IPv4: 192.168.110.128 Starting arp-scan 1.10.0 with 256 ho…

地理空间数据科学进阶

目录 写在开头1. 地理编码基础1.1 地理编码的基本原理1.1.1 坐标系统1.1.2 地名解析1.1.3 编码算法1.2 Python中使用地理编码的基础知识1.2.1 百度地图API1.2.2 高德地图API1.2.3 腾讯地图API1.3 Python中实现代码2. 逆地理编码2.1 利用Python进行逆地理编码2.1.1 获取高德地图…

监测Tomcat项目宕机重启脚本(Linux)

1.准备好写好的脚本 #!/bin/sh # 获取tomcat的PID TOMCAT_PID$(ps -ef | grep tomcat | grep -v tomcatMonitor |grep -v grep | awk {print $2}) # tomcat的启动文件位置 START_TOMCAT/mnt/tomcat/bin/startup.sh # 需要监测的一个GET请求地址 MONITOR_URLhttp://localhost:…

java 图书管理系统 spring boot项目

java 图书管理系统ssm框架 spring boot项目 功能有管理员模块&#xff1a;图书管理&#xff0c;读者管理&#xff0c;借阅管理&#xff0c;登录&#xff0c;修改密码 读者端&#xff1a;可查看图书信息&#xff0c;借阅记录&#xff0c;登录&#xff0c;修改密码 技术&#…

Yalmip学习笔记

这里写自定义目录标题 基本用法变量定义关于大MBilevel programming 注&#xff1a;这篇文章主要是留给自己查漏补缺的&#xff0c;所以从来没有使用过yalmip的读者看着会觉得跳来跳去。 基本用法 建模开始前&#xff0c;使用yalmip(clear)清空Yalmip的内部数据库。 下面是一个…

【战报】2023年11月25日PMP考试战报来袭!!

项目管理认证 PMP项目管理课程介绍 PMP成绩查询及电子版证书下载-CSDN博客文章浏览阅读501次&#xff0c;点赞9次&#xff0c;收藏4次。2025.11.25的PMP考试成绩出来了&#xff01;https://blog.csdn.net/XMWS_IT/article/details/135939596?spm1001.2014.3001.5501 2023年1…

DSP系统时钟总结

一、stm32中断偏移向量介绍 1.1 为什么要设置中断向量偏移 上图可以看出程序上电先进入0x08000000开始运行&#xff0c;紧接着执行复位中断向量&#xff0c;然后执行复位中断程序&#xff0c;然后进入main函数。 如果想要app的中断正常运行&#xff0c;那就必须手动设置中断向…

C语言——深入理解指针3

目录 1. 数组名的理解1. 数组名1.2 数组名理解的特例 2. 使用指针访问数组3. 一维数组传参的本质4. 冒泡排序4.1 冒泡排序的概念4.2 冒泡排序的优化 5. 二级指针5.1 二级指针的概念5.2 二级指针的运算 6. 指针数组7. 指针数组模拟二维数组 1. 数组名的理解 1. 数组名 在上⼀个…

Python武器库开发-武器库篇之pdf文件暴力破解(五十二)

Python武器库开发-武器库篇之pdf文件暴力破解(五十二) PDF&#xff08;Portable Document Format&#xff0c;便携式文档格式&#xff09;是由Adobe公司开发的一种文件格式。PDF文件被广泛用于以可靠方式共享和传输电子文档。它能够保留文档的原始格式&#xff0c;包括字体、图…

公众项目评估方法

本文由群狼调研&#xff08;社会舆情调查&#xff09;出品&#xff0c;欢迎转载&#xff0c;请注明出处。公众项目评估方法可以根据项目的性质、规模和目标受众的特点而有所不同。以下是一些常用的公众项目评估方法&#xff1a; 1.调查问卷&#xff1a;设计并实施调查问卷&…

NetCore iText7 根据PDF模板 导出PDF文件

iText 7 是一个用于处理 PDF 文件的流行的开源库&#xff0c;它提供了丰富的功能&#xff0c;包括创建、编辑和处理 PDF 文档。它支持 .NET 平台&#xff0c;因此可以在 .NET Core 中使用该库来处理 PDF 文件。 使用 iText 7&#xff0c;您可以进行以下操作&#xff1a; 1. 创…

[C语言][C++][时间复杂度详解分析]二分查找——杨氏矩阵查找数字详解!!!

一&#xff0c;题目 遇到的一道算法题&#xff1a; 1&#xff0c;已知有一个数字矩阵&#xff08;row行&#xff0c;col列&#xff09;&#xff0c;矩阵的每行 从左到右 递增&#xff0c;每列 从上到下 递增。 2&#xff0c;现输入一个数字 num &#xff0c;判断数字矩阵中…

Little云盘测试用例

Little云盘实现了用户的注册、登录&#xff0c;上传文件&#xff0c;下载文件&#xff0c;预览文件&#xff08;支持视频预览&#xff09;&#xff0c;删除文件&#xff0c;创建文件夹&#xff0c;分享文件链接等功能。管理员可管理用户存储空间、用户信息及文件消息。以下是该…

微信小程序之下拉刷新事件、上拉触底事件和案例

学习的最大理由是想摆脱平庸&#xff0c;早一天就多一份人生的精彩&#xff1b;迟一天就多一天平庸的困扰。各位小伙伴&#xff0c;如果您&#xff1a; 想系统/深入学习某技术知识点… 一个人摸索学习很难坚持&#xff0c;想组团高效学习… 想写博客但无从下手&#xff0c;急需…