【C++】C++泛型编程 | 模板初阶

这篇具有很好参考价值的文章主要介绍了【C++】C++泛型编程 | 模板初阶。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

【C++】C++泛型编程 | 模板初阶


  •   🧑‍🎓个人主页:简 料

  •   🏆所属专栏:C++

  •   🏆个人社区:越努力越幸运社区

  •   🏆简       介:简料简料,简单有料~在校大学生一枚,专注C/C++/GO的干货分享,立志成为您的好帮手 ~


C/C++学习路线 (点击解锁)
❤️C语言
❤️初阶数据结构与算法
❤️C++
❤️高阶数据结构
❤️Linux系统编程与网络编程


☑️前言

🌀 本章给大家带来的是C++泛型编程—模板C++C语言的扩展,注重面向对象编程及泛型编程。泛型编程是一种基于参数化的编程方式,简单来说就是编写具有通用性,可以适用于不同类型数据的代码。模板就是C++中实现泛型编程的一种重要手段。
🌀 C++中的模板允许程序员编写一套泛型代码,可以适用于不同的数据类型,因此称之为“模板”。模板可以分为函数模板和类模板两种形式。函数模板可以让程序员编写一个通用的函数(函数的参数或返回值是泛型类型),可以适用于各种不同的数据类型。类模板可以让程序员定义一个通用的类(类的数据成员或成员函数是泛型类型),可以适用于各种不同的数据类型。
🌀 使用模板可以让程序员编写简洁、清晰、高效的代码,避免了因为重复的代码而产生的维护和修改的麻烦,提高了代码的复用性和可读性。因此,C++中的模板是一种非常有用的编程工具,在现代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;
}
......

可以看到,上面的几个函数构成了重载,的确可以实现通用的交换,但是,上面这样写有几个不好的地方:

  1. 重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数。
  2. 代码的可维护性比较低,一个出错可能所有的重载均出错。

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

就比如下面这样:

【C++】C++泛型编程 | 模板初阶

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

【泛型编程】:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。而模板又分为函数模板和类模板。

【C++】C++泛型编程 | 模板初阶


🧑‍🎓函数模板

1. 函数模板概念

  1. 函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
  2. 函数模板是一种通用的函数定义,可以用来创建多个功能类似但参数类型不同的函数实例。在函数模板中,函数的参数类型和返回值类型不需要指定具体的类型,而是使用一个或多个类型参数来表示。

2. 函数模板格式

  • 函数模板的格式如下:
template<typename T>
返回类型 函数名(参数列表){
    // 函数体
}

其中,template<typename T> 表示定义了一个模板,<typename T> 表示定义了一个名为 T 的类型参数,可以在函数体中使用这个类型参数来声明变量类型等。返回类型 表示这个函数的返回值类型,函数名 表示函数的名称,参数列表 表示函数的参数列表。

举个例子,下面是一个简单的函数模板:

template<typename T>
T max(T a, T b){
    return a > b ? a : b;
}

这个函数模板可以比较两个同类型的变量,返回其中的较大值。使用时,可以将不同类型的变量传递给这个函数模板,因为在调用时编译器会根据实际参数的类型实例化出相应的函数版本。

  • 当然,函数模板的格式也可以这样写:
template<class T>
返回类型 函数名(参数列表){
    // 函数体
}

可以用class代替typename,效果是一样的~


3. 函数模板原理

【原理】:C++ 编译器会根据函数模板在编译期间生成多个函数版本,这些函数版本分别对应不同的传入类型,也就是说,函数模板本质上是代码生成的一种方式,它会根据模板参数类型动态生成不同的函数定义。

⭐例如,给定一个函数模板:

template<typename T>
T max(T a, T b){
    return a > b ? a : b;
}

当编译器看到这个模板的时候,它并不会立即生成一个函数定义,而是把这个模板存储在编译器的内部,直到遇到一个函数调用时,编译器才实例化这个模板,生成一个具体的函数定义。例如,当我们调用 max(3, 5) 时,编译器会实例化一个 max(int a, int b) 函数,把 ab 的类型都指定为 int,然后再把这个函数定义插入到程序中。同样的,当我们调用 max(3.5, 1.2) 时,编译器会实例化一个 max(double a, double b) 函数,把 ab 的类型都指定为 double,然后再把这个函数定义插入到程序中。这是函数模板的运行机制。

这个机制也说明了函数模板是一个蓝图,重点在于它本身并不是函数,而是编译器用使用方式产生特定具体类型的函数的模具。所以模板其实就是将本来应该我们做的重复的事情交给了编译器。因此马云的那句话说的没错:世界是懒人创造的。

⭐再给定一个函数模板:

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

其推演函数实例的图解如下:

【C++】C++泛型编程 | 模板初阶

这样看,是不是对模板的理解更为深刻了呢~


4. 函数模板的实例化

函数模板的实例化是指编译器根据函数模板和实际参数类型生成一个具体的函数的过程。模板参数实例化分为:隐式实例化显式实例化

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

例如:

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

int main()
{
 	int a1 = 10, a2 = 20;
 	double d1 = 10.0, d2 = 20.0;
 	Add(a1, a2);
 	Add(d1, d2);
 
 	/*
 	该语句不能通过编译,因为在编译期间,当编译器看到该实例化时,需要推演其实参类型
 	通过实参a1将T推演为int,通过实参d1将T推演为double类型,但模板参数列表中只有一个T,
 	编译器无法确定此处到底该将T确定为int 或者 double类型而报错
 	注意:在模板中,编译器一般不会进行类型转换操作,因为一旦转化出问题,编译器就需要背黑锅
 	Add(a1, d1);
 	*/
 
 	// 此时有两种处理方式:1. 用户自己来强制转化 2. 使用显式实例化
 	Add(a, (int)d);
 	
  	return 0;
}

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

例如:

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

int main()
{
 	int a = 10;
 	double b = 20.0;
 
 	// 显式实例化
 	Add<int>(a, b);
 	
 	return 0;
}

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


5. 模板参数的匹配原则

  1. 一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。

例如:

// 专门处理int的加法函数
int Add(int left, int right)
{
 	return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{
 	return left + right;
}
void Test()
{
 	Add(1, 2); // 与非模板函数匹配,编译器不需要特化
 	Add<int>(1, 2); // 调用编译器特化的Add版本
}
  1. 对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板。

例如:

// 专门处理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函数
}
  1. 模板函数不允许自动类型转换,但普通函数可以进行自动类型转换。

🧑‍🎓类模板

1. 类模板的定义格式

类模板和函数模板的定义格式有些类似,但是在关键字和参数的使用上有一些区别。类模板的定义格式如下:

template <typename T>
class 类名 {
    // 成员变量和成员函数的定义
}

其中,typename关键字也可以替换为class关键字,表示声明一个模板类型参数。T是一个占位符,表示在使用类模板时需要传入的实际类型参数。在类模板中可以使用T作为成员变量的类型和成员函数的参数类型。

需要注意的是,在定义类模板时,只是声明了一个模板类,还没有实际创建一个可以使用的类。当需要使用模板类时,需要进行实例化操作。也就是根据需要传入的类型参数,生成特定的类。


2. 类模板的实例化

类模板的实例化是指根据传入的模板实参,生成特定的类的过程。实例化类模板的方法有两种:隐式实例化和显式实例化。

⭐【隐式实例化】是指在使用模板类时,自动推导模板实参的过程。例如下面的代码:

template <typename T>
class MyClass {
    // ...
};

MyClass<int> obj; // 隐式实例化

在实例化过程中,将类模板中的T替换为int,形成特定的类型MyClass<int>

⭐【显式实例化】是指手动进行实例化操作。需要在类模板声明的外部显式地声明一个实例化的类。例如下面的代码:

template <typename T>
class MyClass {
    // ...
};

template class MyClass<int>; // 显式实例化

在实例化过程中,将类模板中的T替换为int,形成特定的类型MyClass<int>

需要注意的是,在类模板中可以有成员函数和静态成员变量的定义,因此,在实例化过程中,这些成员也会一并进行实例化

最后需要注意一点,类模板的实例化与函数模板的实例化不同,类模板实例化的时间是在编译时期,而函数模板的实例化是在调用时期。因此,在类模板中,无法推导出模板实参类型的操作将会导致编译错误。


☑️写在最后

💝本章主要讲解的是C++泛型编程—模板。模板在我们后面C++的学习当中将会持续的出现,尤其是在STL阶段,STL将泛型编程思想体现的淋漓尽致。所以,我们不仅要理解泛型编程思想,还要能够熟练的使用模板~!再看标题,本章只是模板的初阶,虽然是初阶,但在平常的写代码中已经够用。之后,简料将会先推出一些STL的文章,而进阶将会在讲解完这些STL后推出!😊


❤️‍🔥后续将会继续输出有关C++的文章,你们的支持就是我写作的最大动力!

感谢阅读本小白的博客,错误的地方请严厉指出噢~

【C++】C++泛型编程 | 模板初阶文章来源地址https://www.toymoban.com/news/detail-478014.html

到了这里,关于【C++】C++泛型编程 | 模板初阶的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • C++泛型编程之模板

    目录 一、什么是泛型编程  二、函数模板 2.1函数模板的概念 2.2函数模板格式 2.3函数模板的原理  2.5函数模板的实例化 2.6模板参数的匹配原则 三、类模板 3.1类模板的定义格式 3.2 类模板的实例化 四、非类型模板参数 五、模板的特化 5.1模板特化的概念: 5.2函数模板特化 5

    2024年02月07日
    浏览(41)
  • 【C++】泛型编程——模板进阶

    在之前的文章里,我们进行了模板初阶的学习( 【C++】泛型编程——模板初阶),了解了什么是泛型编程,学习了函数模板和类模板。 那这篇文章,我们继续学习模板进阶的内容的学习。 首先我们来回顾一下: 我们在模板初阶的学习中,定义模板参数是怎么定义的? 是不

    2024年02月16日
    浏览(36)
  • C++ 泛型编程:函数模板

    当需要编写通用的代码以处理不同类型的数据时,C++ 中的函数模板是一个很有用的工具。函数模板允许我们编写一个通用的函数定义,可以用于多种不同的数据类型,从而提高代码的重用性和灵活性。 泛型编程 是一种编程范式,旨在实现可重用、通用性高的代码。它允许我

    2024年02月12日
    浏览(41)
  • 【C++】泛型编程 ② ( 函数模板与普通函数区别 )

    函数模板与普通函数区别 : 主要区别在于它们能够处理的 数据类型数量 和 灵活性 ; 自动类型转换 : 函数模板 不允许 自动类型转化 , 会进行严格的类型匹配 ; 普通函数 能够进行 自动类型转换 , 内含隐式的类型转化 ; 参数 / 返回值 数据类型 : 普通函数 只接受 特定类型 参数

    2024年02月20日
    浏览(36)
  • 【C++】泛型编程 ③ ( 函数模板 与 普通函数 调用规则 | 类型匹配 | 显式指定函数模板泛型类型 )

    上一篇博客 【C++】泛型编程 ② ( 函数模板与普通函数区别 ) 中 , 分析了 函数参数 类型匹配 下的 普通函数 与 函数模板 的调用规则 ; 为 函数模板 重载了 普通函数 , 普通函数有指定的类型 ; 传入实参 , 调用 普通函数 还是 模板函数 , 是有一定的规则的 ; 普通函数 与 传入实

    2024年02月21日
    浏览(42)
  • 【c++ primer 笔记】第 16章 模板与泛型编程

    🎉作者简介:👓 博主在读机器人研究生,目前研一。对计算机后端感兴趣,喜欢 c + + , g o , p y t h o n , 目前熟悉 c + + , g o 语言,数据库,网络编程,了解分布式等相关内容 textcolor{orange}{博主在读机器人研究生,目前研一。对计算机后端感兴趣,喜欢c++,go,python,目前熟悉c+

    2024年02月20日
    浏览(41)
  • C++、STL标准模板库和泛型编程 ——适配器、补充(侯捷)

    侯捷 C++八部曲笔记汇总 - - - 持续更新 ! ! ! 一、C++ 面向对象高级开发 1、C++面向对象高级编程(上) 2、C++面向对象高级编程(下) 二、STL 标准库和泛型编程 1、分配器、序列式容器 2、关联式容器 3、迭代器、 算法、仿函数 4、适配器、补充 三、C++ 设计模式 四、C++ 新标准 五、

    2023年04月27日
    浏览(72)
  • C++、STL标准模板库和泛型编程 ——迭代器、 算法、仿函数(侯捷)

    侯捷 C++八部曲笔记汇总 - - - 持续更新 ! ! ! 一、C++ 面向对象高级开发 1、C++面向对象高级编程(上) 2、C++面向对象高级编程(下) 二、STL 标准库和泛型编程 1、分配器、序列式容器 2、关联式容器 3、迭代器、 算法、仿函数 4、适配器、补充 三、C++ 设计模式 四、C++ 新标准 五、

    2023年04月25日
    浏览(52)
  • 【C++】泛型编程 ① ( 函数模板 | 函数模板概念 | 函数模板意义 | 函数模板定义语法 | 函数模板调用语法 | 显式类型调用 | 自动类型推导 )

    在 C++ 语言中 , 泛型编程 的 核心就是 函数模板 和 类模板 ; 函数模板 Function Template 是 C++ 语言 中的 重要特性 ; 函数模板概念 : 建立一个 \\\" 通用函数 \\\" , 不指定该函数的 函数返回值类型 和 函数参数类型 , 仅使用 \\\" 虚拟类型 \\\" 代表 上述 两种类型 , 该 \\\" 通用函数 \\\" 就是 \\\" 函数模

    2024年02月19日
    浏览(39)
  • 【C++初阶】第六站 : 模板初阶

    前言: 本章知识点:泛型编程、函数模板、类模板 专栏: C++初阶 目录 泛型编程 函数模板 1.函数模板概念 2.函数模板格式 3.函数模板的原理 4.函数模板的实例化 5.模板参数的匹配原则 类模板 类模板的定义格式 类模板的实例化 如何实现一个通用的交换函数呢? 代码如下:

    2024年03月17日
    浏览(46)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包