🔥个人主页: Forcible Bug Maker
🔥专栏: C++
前言
本篇博客主要内容:初步接触C++模板语法。
在进行完类和对象内容之后,就可以开始我们C++学习的第二个阶段:STL库的学习。不过在进入STL内容的深度学习之前,需要给大家简单补充一下C++模板部分的知识。话不多说,开始我们今天的内容。
泛型编程
C语言中,我们经常会编写和使用到一些函数,比如Swap
函数,用来交换两个变量的值。但,如果你的需求是要交换各种类型数据,可能就需要多写几个接口,如下:
// 提供能交换整型变量的函数
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++中,存在这样一个模具,通过给这个模具中填充不同材料(类型),来获得不同材料的铸件(即生成具体类型的代码)。
泛型编程
:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。
模板
在C++中,你可能会遇到一些函数或类,它们需要处理不同的数据类型,但算法或逻辑是相似的。为了避免为每个数据类型都编写一个专门的函数或类,C++引入了模板
的概念。通过使用模板
,你可以编写一个通用的函数或类,并在需要时指定数据类型。
C++中的模板
分为函数模板
和类模板
两种。
函数模板
概念及简单使用
概念:
函数模板
代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
函数模板的格式:
template<typename T1, typename T2,…,typename Tn>
返回值类型 函数名(参数列表){ }
例如,以下是一个简单的函数模板
,实现了所有类型的Swap函数,同时提供了几个测试用例:
#include<iostream>
using namespace std;
template<typename T>
void Swap(T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
int main()
{
int a = 1