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

于 2024-09-01 08:37:46 发布
阅读量540 收藏 18
点赞数 14
分类专栏： C++知识分享 文章标签： c++ 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_45398836/article/details/141756616
版权

一、泛型编程

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

代码如下：

#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;

Dola_Pan
关注
  • 14
    点赞
  • 踩
  • 18
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
【C++初阶路】--- 模板初阶
一起学习，进大厂！！！
07-04 788
主要讲解模板，模板初见一些简单的用法
C++ ---------- 模板初阶
向未来❀去探索 的博客
05-11 418
一.泛型编程 实例:写一个交换两个数的函数 C语言的方法 // 交换两个整型 void Swapint(int* p1, int* p2) { int tmp = *p1; *p1 = *p2; *p2 = tmp; } // 交换两个双精度浮点型 void Swapdouble(double* p1, double* p2) { double tmp = *p1; *p1 = *p2; *p2 = tmp; } C++的方法，引入了函数重载 // 交换两个整型 vo.
C++模版初阶----函数模版、类模版
Zfox的博客
04-21 1476
C++函数模版与类模版（泛型编程）
c++初阶-------模板
m0_69984273的博客
08-07 675
​🎂 作者介绍： 🎂🎂🎂作者id：老秦包你会， 🎂简单介绍：🎂🎂🎂🎂🎂🎂🎂🎂🎂🎂🎂🎂🎂🎂🎂喜欢学习C语言、C++和python等编程语言，是一位爱分享的博主，有兴趣的小可爱可以来互讨 🎂🎂🎂🎂🎂🎂🎂🎂。
c++初阶学习----模板（初阶）
Joker10085的博客
07-22 420
初识c++模板
【与C++的邂逅】--- 模板初阶
2301_79448270的博客
08-27 1372
class 类模板名///...注意：类模板中函数放在类外进行定义时，需要加模板参数列表。public :, _size(0){}// 使用析构函数演示：在类中声明，在类外定义。~Vector();if(_pData)模板分为函数模板和类模板，他们不是具体的一个类或函数，而是代表一个家族。类模板 vs 模板类类模板是一个类家族，而模板类是通过类模板实例化出来的具体类。
C++---模板初阶
blue_jun_的博客
10-03 304
简要介绍C++中模板概念，函数模板，类模板。为后面学习STL库做基础。
c++模板初阶----函数模板与类模板
2301_81265915的博客
07-17 795
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果：注意：类模板中的成员函数若是放在类外定义时，需要加模板参数列表。return 0;
C++初级---模板初阶
weixin_63219391的博客
04-06 998
本文解释函数模板
C++ --函数模板初阶的知识总结
烟华的博客
10-08 150
一，泛型编程 编写与类型无关的通用代码，是代码复用的一种手段，模板是泛型编程的基础。 二，函数重载和函数模板的关联 函数重载：定义函数名相同而形参列表（形参个数或形参类别）不同的多个函数。。 函数模板：创建一类实现逻辑（函数体）一样，只是用到参数的类型不同的函数的公式。 区别： 1，函数重载用于定义功能相似的同名函数，提高函数的易用性，但代码复用率低，只要有新类型出现就要增加对应的函数，而且代码可...
C++之模板初阶
An_Mo的博客
09-23 307
一、泛型编程 泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础 模板：告诉编译器一个模子，让编译器根据不同类型利用该模子生成代码 模板分为：函数模板和类模板 二、 函数模板 1、函数模板概念 函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。 2、函数模板格式 template<typename T1, typename T2,…,typename Tn> 返回值类型 函数名(参数列表){} templ
C++初阶：STL之vector类模板
weixin_36194037的博客
12-14 1381
C++初阶：STL之vector类模板
C++初阶--vector模拟实现
Iiverson2000的博客
07-29 354
今天我们不直接上代码了，我们先来分析一下vector这个容器。 我们来看看这个东西 vector<vector> 这我们可以大概猜到是一个二维数组。 但并不完全是，二维数组是一个n*n 的矩形结构，而这里的vector套vector可不是这样， 我们来剖析一下它 当我们执行 vv [ i] [ j ] 这行代码时 首先执行 vv. operator [ i ],也就是vv [ i ] 这时候我们在一个大vector中找到了，很多很多的vector。每一个vector 是用i 控制的，一
C++ —— 模板初阶
m0_64240499的博客
10-20 497
C++ —— 模板初阶
c++命令模式
最新发布
qq_71286244的博客
08-30 645
c++命令模式详细介绍
【C/C++】C++程序设计基础（输入输出、数据类型、动态内存、函数重载、内联函数、常量、引用）
强者征服今天，懦夫哀叹昨天，懒汉坐等明天。
08-28 2090
在后面的章节中，会讲到类与对象，欢迎各位的关注~
C语言破墙镐对称飞迷宫
qq_69383179的博客
08-22 3318
这里有我用C语言编译的破墙镐对称飞迷宫和与之相关的一些东西
适用于 Visual Studio 的 C++ 万能头
Xi Xu 的博客
08-25 1476
修改版本是根据 GNU General Public License v3.0 or later 分发的。原始文件是根据 GNU General Public License v3.0 or later 分发的。用于在 Visual Studio 上预编译的 C++ 包含。文件的修改版本，与 Visual Studio 兼容。此文件是 GCC 13.1.0 中。此文件的配置方法可在互联网上搜索。修改由本文作者完成。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值