关于C++的一些使用模版-初阶

news2024/9/22 17:21:37

一、泛型编程

如何实现一个通用的交换函数呢?,交换的值是两个类型不同的数据。

代码如下：

#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>

//如何实现一个通用的交换函数呢？
void swap(int& left, int &right)
{
	int tmp = left;
	left = right;
	right = tmp;
}

void swap(double& left, double& right)
{
	double tmp = left;
	left = right;
	right = tmp;
}

void swap(char& left, char& right)
{
	char tmp = left;
	left = right;
	right = tmp;
}

int main()
{
	int a = 10;
	int b = 20;
	swap(a, b);
	std::cout << a << " "<< b << std::endl;

	int c = 1.0;
	int d = 2.0;
	swap(c, d);
	std::cout << c << " "<< d << std::endl;

	char e = 'a';
	char f = 'b';
	swap(e, f);
	std::cout << e << " " << f << std::endl;
	return 0;
}
  • 使用函数重载虽然可以实现，但是有一下几个不好的地方： 重载的函数仅仅只是类型不同，代码的复用率比较低，只要有新类型出现时，就需要增加对应的函数。
  • 代码的可维护性比较低，一个出错可能所有的重载均出错。

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

如果在C++中，也能够存在这样一个模具，通过给这个模具中填充不同材料(类型)，来获得不同材料的铸件(生成具体类型的代码），那将会节省许多头发。巧的是前人早已将树栽好，我们只需在此乘凉。

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

二、函数模板

1.函数模板概念

  • 函数模板不是一个实在的函数，编译器不能为其生成可执行代码。定义函数模板后只是一个对函数功能框架的描述，当它具体执行时，将根据传递的实际参数决定其功能。
  • 函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

2.函数模板格式

template<typename T1, typename T2,…,typename Tn>

#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>
template<class T>

void swap(T& left, T& right)
{
	T temp = left;
	left = right;
	right = temp;
}

int main()
{
	int a = 10;
	int b = 20;
	swap(a, b);
	std::cout << a << " " << b << std::endl;

	double c = 1.0;
	double d = 2.0;
	std::cout << c << " " << d << std::endl;
	swap(c, d);

	char e = 'a';
	char f = 'b';
	swap(e, f);
	std::cout << e << " " << f << std::endl;
	return 0;
}

这里运行结果会发现三种类型的数据都被交换了。

💡 注意: typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)。

3.函数模板的原理

那么如何解决上面的问题呢？大家都知道，瓦特改良蒸汽机，人类开始了工业革命，解放了生产力。机器生产淘汰掉了很多手工产品。本质是什么，重复的工作交给了机器去完成。有人给出了论调：懒人创造世界。

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

本质上本来应该是我吗自己写的代码，但是我们并不想写重复的代码，然后给了一个模板，编译器通过对应的模板，帮我们生成了我们想要的代码。 在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型也是如此。

4.函数模板的实例化

用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：

隐式实例化和显式实例化。

  1. 隐式实例化：让编译器根据实参推演模板参数的实际类型 代码如下：
#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>
template<class T>

T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a = 10;
	int b = 20;
	double c = 10.0;
	double d = 20.0;
	std::cout << Add(a, b) << std::endl;
	std::cout << Add(c, d) << std::endl;
	return 0;
}

附加问题:下面两个函数调用Add函数的地方是同一个还是两个?

#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>
template<class T>

T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a = 10;
	int b = 20;
	Add(a, b);

	double c = 10.0;
	double d = 20.0;
  Add(c, d);
	return 0;
}

如果在代码中在加上一句可以编译成功吗？

#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>
template<class T>

T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a = 10;
	int b = 20;
	double c = 10.0;
	double d = 20.0;
	std::cout << Add(a, b) << std::endl;
	std::cout << Add(c, d) << std::endl;

	Add(a, c);
	return 0;
}
  • 该语句不能通过编译，因为在编译期间，当编译器看到该实例化时，需要推演其实参类型。
  • 通过实参a将T推演为int，通过实参c将T推演为double类型，但模板参数列表中只有一个T，编译器无法确定此处到底该将T确定为int 或者 double类型而报错。

💡 注意：在模板中，编译器一般不会进行类型转换操作，因为一旦转化出问题，编译器就需要背黑锅

如果想解决类型匹配可以使用强制类型转换:

#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>
template<class T>

T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a = 10;
	int b = 20;
	double c = 10.0;
	double d = 20.0;
	std::cout << Add(a, b) << std::endl;
	std::cout << Add(c, d) << std::endl;

	
	std::cout << Add(a, (int)c) << std::endl;
	return 0;
}

💡 注意:隐式类型转换和强制类型转换不会改变原有的类型，只是生成了一个临时变量。

  1. 显式实例化：在函数名后的<>中指定模板参数的实际类型 代码如下：
#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a = 10;
	double d = 20.0;
	//显示实例化
	std::cout << Add<int>(a, d) << std::endl;
	std::cout << Add<double>(a, d) << std::endl;
	return 0;
}

如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。 代码如下：

#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>
template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}
int main()
{
	std::cout << Add<int>(1, "123") << std::endl;
	return 0;
}

5. 模板参数的匹配原则

一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数。 代码如下：

#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>
using namespace std;

// 专门处理int的加法函数
int Add(int left, int right)
{
	return left + right;
}

// 通用加法函数
template<class T>
T Add(T left, T right)
{
	return left + right;
}

void Test()
{
	std::cout << Add(1, 2) << std::endl;       // 与非模板函数匹配，编译器不需要特化
	std::cout << Add<int>(1, 2) << std::endl; // 调用编译器特化的Add版本
}

int main()
{
	Test();
	return 0;
}

对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数， 那么将选择模板。 代码如下：

// 专门处理int的加法函数
int Add(int left, int right)
{
	return left + right;
}

// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right)
{
	return left + right;
}

void Test()
{
	Add(1, 2); // 与非函数模板类型完全匹配，不需要函数模板实例化
	Add(1, 2.0); // 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函
	数
}

• 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换。

#define _CRT_SECURE_NO_WARNINGS   1
#include <iostream>
template<typename T>
T Add1(const T& x, const T& y)
{
	return x + y;
}
int Add2(int a, double b)
{
	return a + b;
}
int main()
{
	int a = Add1(1, 1.1); //模板函数不允许自动类型转换
	int b = Add2(1, 1.1);
	return 0;
}

三、类模板

1.类模板的定义格式

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

这里实现一个顺序表

#define _CRT_SECURE_NO_WARNINGS   1
#include<iostream>
using namespace std;
#include<assert.h>
template<class T>
class SeqList
{
public:
	SeqList(size_t capacity = 10)
		: _array(new T[capacity + 3])
		, _capacity(capacity + 3)
		, _size(0)
	{}

	// [fist, last)区间中包含的元素要放置到顺序表中
	SeqList(T* first, T* last)
	{
		T* it = first;
		size_t count = 0;
		while (it != last)
		{
			++it;
			++count;
		}

		_size = count;
		_capacity = count;
		_array = new T[_capacity];
		for (size_t i = 0; i < _size; ++i)
		{
			_array[i] = *first;
			++first;
		}
	}

	~SeqList()
	{
		if (_array)
		{
			delete[] _array;
			_array = nullptr;
			_capacity = 0;
			_size = 0;
		}
	}

	void PushBack(const T& data)
	{
		_CheckCapacity();
		_array[_size++] = data;
	}

	void PopBack()
	{
		if (Empty())
			return;

		_size--;
	}

	bool Empty()const
	{
		return 0 == _size;
	}

	size_t Capacity()const
	{
		return _capacity;
	}

	size_t Size()const
	{
		return _size;
	}

	T& operator[](size_t index)
	{
		assert(index < _size);
		return _array[index];
	}

	const T& operator[](size_t index)const
	{
		assert(index < _size);
		return _array[index];
	}

private:
	void _CheckCapacity()
	{
		T* tmp = new T[2 * capacity];
		memcpy(tmp, array, sizeof(T) * capacity);
		delete[](array);
		array = tmp;
		capacity *= 2;
	}
private:
	T* _array;
	size_t _capacity;
	size_t _size;
};

template<class T>
void SeqList<T>::_CheckCapacity()
{}

int main()
{
	// SeqList不是具体的类，是类模板，是编译器根据实例化结果生成具体类的模具
	// SeqList s;

	SeqList<int> s1;
	s1.PushBack(1);
	s1.PushBack(2);
	s1.PushBack(3);
	s1.PushBack(4);
	cout << s1[2] << endl;
	cout << typeid(s1).name() << endl;

	int array[] = { 1, 2, 3, 4, 5 };
	const SeqList<int> s3(array, array + sizeof(array) / sizeof(array[0]));
	cout << s3.Size() << endl;
	cout << s3[0] << endl;

	SeqList<double> s2;
	s2.PushBack(1.0);
	s2.PushBack(2.0);
	s2.PushBack(3.0);
	s2.PushBack(4.0);

	cout << s2.Size() << endl;
	cout << s2.Capacity() << endl;
	s2.PopBack();
	cout << s2.Size() << endl;
	cout << typeid(s2).name() << endl;
	return 0;
}

2.类模板的实例化

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

// Vector类名，Vector才是类型 Vector s1; Vector s2;

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

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

相关文章

【拉取Git项目到本地，知识小记，后续再改】

【拉取Git项目到本地，知识小记，后续再改】

前提&#xff1a;Git已经安装好 https://blog.csdn.net/mukes/article/details/115693833 安装至步骤2.2.4即可 第一步创建本地项目目录 第二步获取他人提供的项目git地址或者自己在网上找的他人项目的git地址 Git 全局设置: git init git config --global user.name “ASxx”…
阅读更多...
开点线段树、区间最值和历史最值

开点线段树、区间最值和历史最值

1.修改&#xff1a;用到了相应的空间就开&#xff0c;没有用到就不开。cnt拓展节点编号&#xff0c;此时各范围的节点编号不再按照i*2和i*21的对应关系建立 2.查询&#xff1a; 如果查询时一段范围没有建立过&#xff0c;就说明这段范围的累加和就是0 3.空间估计&#xff1a;一…
阅读更多...
尚品汇-项目目前存在问题、引入MQ（四十二）

尚品汇-项目目前存在问题、引入MQ（四十二）

目录&#xff1a; &#xff08;1&#xff09;目前存在的问题 &#xff08;2&#xff09;消息队列解决什么问题 &#xff08;3&#xff09;消息队列工具 RabbitMQ &#xff08;4&#xff09;搭建mq测试环境service-mq 下面我们先做的是前面后台管理系统商品上下架的没完成的…
阅读更多...
C++逆向分析之条件语句和循环语句

C++逆向分析之条件语句和循环语句

一.C逆向条件结构基础入门 大家写过相关的算法吗&#xff1f; 加密代码中会涉及循环和分支&#xff0c;你要识别算法&#xff0c;首先就是需要将它的算法处理流程识别出来。当我们还原出等价的高级代码之后&#xff0c;就没有逆向分析人员的事情了&#xff0c;因为接下来涉及…
阅读更多...
54. QButtonGroup的基本使用

54. QButtonGroup的基本使用

1. 说明 在使用QT开发小软件时，使用最多的控件也许就是Button按钮了，一般情况下在界面上添加了一个Button，都会为这个Button添加一个相应的信号槽相应其点击事件。那么，如果在软件的其中一个界面添加了很多个Button，比如自定义的侧边菜单栏里可能会放置很多Button控件，如…
阅读更多...
mac电脑里面的 磁盘分区，容器，宗卷，宗卷组的理解和使用

mac电脑里面的 磁盘分区，容器，宗卷，宗卷组的理解和使用

在mac电脑里面我们一般都是使用宗卷&#xff0c;他和我们常见的pc机器硬盘的分区是有区别的。 对于物理硬盘来说 不管是分区还是宗卷&#xff0c;他们都是逻辑上面的概念。 分区 mac电脑里面的分区 和 pc电脑中的分区差不多&#xff0c; 他们都是针对的物理硬盘&#xff0c;…
阅读更多...
Linux用户层I2C读取LSM6DSL陀螺仪记录

Linux用户层I2C读取LSM6DSL陀螺仪记录

硬件外设开发板Lubancat V2/dev/i2c-3LSM6DSL陀螺仪i2c(7bit地址0x6a) 开发板配置I2C 开发板采用Lubancat-V2&#xff0c;运行Linux内核4.19 使用I2C3外设 因为i2c3外设的设备树默认没有启用&#xff0c;所以在 /boot/uEnv/uEnv.txt 打开&#xff0c;也即取消i2c3-m0注释 随…
阅读更多...
LINUX网络编程：应用层和协议定制

LINUX网络编程：应用层和协议定制

目录 1.协议定制 2.序列化和反序列化 ​编辑 3.tcp为什么是全双工 4.Tcp保证接收数据的完整性 1.协议定制 定制协议就是通信双方都遵守的协定 加上 符合通信和业务处理的结构化数据&#xff0c;就是struct或class。 例&#xff1a;佩奇使用微信向乔治发送了【你好】&…
阅读更多...
51单片机——实时时钟

51单片机——实时时钟

1、DS1302介绍 DS1302是由美国DALLAS公司推出的具有涓细电流充电能力的低功耗实时时钟芯片。它可以对年、月、日、周、时、分、秒进行计时&#xff0c;且具有闰年补偿等多种功能 RTC(Real Time Clock)&#xff1a;实时时钟&#xff0c;是一种集成电路&#xff0c;通常称为时钟…
阅读更多...
华为OD机试真题 - 最长的顺子 - 动态规划（Java/Python/JS/C/C++ 2024 E卷 200分）

华为OD机试真题 - 最长的顺子 - 动态规划（Java/Python/JS/C/C++ 2024 E卷 200分）

华为OD机试 2024E卷题库疯狂收录中，刷题点这里 专栏导读 本专栏收录于《华为OD机试真题（Java/Python/JS/C/C++）》。 刷的越多，抽中的概率越大，私信哪吒，备注华为OD，加入华为OD刷题交流群，每一题都有详细的答题思路、详细的代码注释、3个测试用例、为什么这道题采用XX…
阅读更多...
【Linux修行路】进程通信——消息队列、信号量

【Linux修行路】进程通信——消息队列、信号量

目录 ⛳️推荐 一、消息队列 1.1 实现原理 1.2 消息队列接口 1.2.1 msgget——创建、获取一个消息队列 1.2.2 msgctl——释放消息队列、获取消息队列属性 1.2.3 msgsnd——发送数据 1.2.4 msgrcv——从消息队列中检索数据块 1.3 消息队列的指令操作 二、信号量 2.1 …
阅读更多...
Java、python、php版 保险业务管理与数据分析系统 社会保险档案管理系统（源码、调试、LW、开题、PPT）

Java、python、php版 保险业务管理与数据分析系统 社会保险档案管理系统（源码、调试、LW、开题、PPT）

&#x1f495;&#x1f495;作者&#xff1a;计算机源码社 &#x1f495;&#x1f495;个人简介&#xff1a;本人 八年开发经验&#xff0c;擅长Java、Python、PHP、.NET、Node.js、Android、微信小程序、爬虫、大数据、机器学习等&#xff0c;大家有这一块的问题可以一起交流&…
阅读更多...
700. 二叉搜索树中的搜索(迭代)

700. 二叉搜索树中的搜索(迭代)

目录 一&#xff1a;题目&#xff1a; 三&#xff1a;结果 二&#xff1a;代码&#xff1a;: 一&#xff1a;题目&#xff1a; 给定二叉搜索树&#xff08;BST&#xff09;的根节点 root 和一个整数值 val。 你需要在 BST 中找到节点值等于 val 的节点。 返回以该节点为根的…
阅读更多...
Ubuntu 超详细保姆级安装教程(每步都有截图)

Ubuntu 超详细保姆级安装教程(每步都有截图)

文章目录 下载安装VMware检查网络适配器Ubuntu下载创建虚拟机启动虚拟机安装 VWware Tools安装 SSH 连接工具配置静态IP 下载安装VMware Desktop Hypervisor Solutions | VMware 官网下载速度慢的可以使用我百度网盘分享的链接来下载 百度网盘 | VMware 17.5.2 百度网盘没有…
阅读更多...
vulnhub靶场-DC2

vulnhub靶场-DC2

一、环境配置 1.下载地址&#xff1a;https://www.vulnhub.com/entry/dc-2,311/ 2.靶场配置&#xff1a;Nat模式 更改hosts文件&#xff0c;官网提示需要更改hosts文件才能访问到网站&#xff0c;否则访问不了 kali进入编辑模式vim&#xff0c;添加上自己的靶机ip地址保存即可…
阅读更多...
Java进阶13讲__第八讲

Java进阶13讲__第八讲

集合&#xff1a;Collection&#xff0c;List&#xff0c;Set&#xff0c;Map 集合体系 集合结构 单列集合 1.Collection 1.初识Collection package cn.hdc.oop8.Collection;import java.util.ArrayList; import java.util.HashSet; import java.util.List;/*** 目标&#xf…
阅读更多...
前端面试模拟：常见的3个JavaScript经典考题

前端面试模拟：常见的3个JavaScript经典考题

在一次备受期待的前端开发高级岗位面试中&#xff0c;你紧张地走进了会议室&#xff0c;对面坐着的是一位经验丰富的技术面试官。窗外阳光明媚&#xff0c;屋内却有一丝令人紧张的静谧。 第一问&#xff1a;如何使用JavaScript实现事件委托&#xff1f; 面试官微微一笑&#xf…
阅读更多...
实战项目：俄罗斯方块(一)

实战项目：俄罗斯方块(一)

文章目录 &#x1f34a;自我介绍&#x1f34a;vt100 控制码1.概述2.数字格式①常用数字控制码②常用控制码 &#x1f34a;绘制方格 你的点赞评论就是对博主最大的鼓励 当然喜欢的小伙伴可以&#xff1a;点赞关注评论收藏&#xff08;一键四连&#xff09;哦~ &#x1f34a;自我…
阅读更多...
猫头虎分享：关于 Mac OS 系统 .DS_Store 文件的起源、作用及管理全指南

猫头虎分享：关于 Mac OS 系统 .DS_Store 文件的起源、作用及管理全指南

&#x1f42f;猫头虎分享&#xff1a;关于 Mac OS 系统 .DS_Store 文件的起源、作用及管理全指南 &#x1f42f; 猫头虎 分享&#xff1a;关于 Mac OS系统 .DS_Store 文件的起源和作用 今天猫头虎带您深入探讨 Mac OS 系统中的 .DS_Store 文件。作为一名开发者&#xff0c;您…
阅读更多...
科研绘图系列：R语言差异基因四分图（Quad plot）

科研绘图系列：R语言差异基因四分图（Quad plot）

介绍 四分图（Quad plot）是一种数据可视化技术，通常用于展示四个变量之间的关系。它由四个子图组成，每个子图都显示两个变量之间的关系。四分图的布局通常是2x2的网格，每个格子代表一个变量对的散点图。 在四分图中，通常： 第一个子图显示变量A和B的关系。第二个子图显示…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023