【C++奇遇记】函数模板

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

🎬 博客主页:博主链接
🎥 本文由 M malloc 原创,首发于 CSDN🙉
🎄 学习专栏推荐:LeetCode刷题集 数据库专栏 初阶数据结构
🏅 欢迎点赞 👍 收藏 ⭐留言 📝 如有错误敬请指正!
📆 未来很长,值得我们全力奔赴更美好的生活✨

【C++奇遇记】函数模板,c++奇遇记,c++,开发语言
【C++奇遇记】函数模板,c++奇遇记,c++,开发语言

😇本章详情

🐤本篇文章将讲授C++的函数模板相关的知识

😇函数模板的前情介绍

😁现在的C++编译器实现了C++新增的一项特性—函数模板。函数模板。函数模板是通用的函数描述,也就是说,它们使用泛型来定义函数,其中的泛型可用具体的类型(如int或double)替换。通过将类型作为参数传递给模板,可使编译器生成该类型的函数。由于模板允许以泛型(而不是具体类型)的方式编写程序,因此有时也被称为通用编程。由于类型是用参数表示的,因此模板特性有时也被称为参数化类型。

😇利用函数模板来定义交换函数

📝建立交换模板

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

解析

第一行指出,要建立一个模板,并将类型命名为T。关键字template和typename是必需的,除非可以使用关键字class代替typename。另外,必须使用尖括号。类型名可以任意选则(这里为T),只要遵守C++命名规则即可。模板并不创建任何函数,而只是告诉编译器如何定义函数。需要交换int的函数时,编译器将按模板模式创建这样的函数,并用int代替T。同样交换double的函数时,编译器将按模板模式创建这样的函数,并有double代替T。


C++98之前的定义方式
在标准C++98添加关键字typename之前,C++使用关键字class来创建模板

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

typename关键字使得参数T表示类型这一点更为明显;然而,有大量的代码库是使用关键字class开发的。这两种关键字等价的。

✉重载的模板

💐需要多个对不同类型使用同一种算法的函数时,可使用模板,然而并且所有的类型都使用相同的算法。为满足这种需求,可以向重载常规函数定义那样重载模板定义。和常规重载一样,被重载的模板的函数特征标必须不同。例如,在下方代码中新增了一个交换模板,用于交换两个数组中的元素。原模板的特征标为(T&, T&),而新模板的特征标为(T[], T[], int)。在后一个模板中,最后一个参数的类型为具体类型int,而不是泛型。并非所有的模板参数都必须是模板参数类型。


代码演示

#define _CRT_SECURE_NO_WARNINGS 1
#include<iostream>
#include<list>
using namespace std;
template <typename T>
void Swap(T& a,T& b);// new templatetemplate 

template <typename T>
void Swap(T *a,T *b,int n);

void Show(int a[]); 
const int Lim = 8; 
int main()
{
	int i = 10, j = 20;
	cout << "i, j =" << i << ", " << j << "\n";
	Swap(i, j);
	cout << i << j << endl;

	int d1[Lim] = { 0,7,0,4,1,7,7,6 };
	int d2[Lim] = { 0,7,2,0,1,9,6,9 };
	cout << "original arrays:\n";
	Show(d1);
	Show(d2);
	Swap(d1, d2, Lim);
	cout << "Swapped array:\n";
	Show(d1);
	Show(d2);

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

template <typename T>
void Swap(T a[], T b[], int n)
{
	T temp;
	for (int i = 0; i < n; i++)
	{
		temp = a[i];
		a[i] = b[i];
		b[i] = temp;
	}
}

void Show(int a[])
{
	cout << a[0] << a[1] << "/";
	cout << a[2] << a[3] << "/";
	for (int i = 4; i < Lim; i++)
	{
		cout << a[i];
	}
	cout << endl;
}
	

输出
【C++奇遇记】函数模板,c++奇遇记,c++,开发语言

📋模板的局限性

💐假设有如下模板函数:

template <class T>
void f(T a,T b)
{}

通常,代码假定可执行那些操作。例如,下面的代码假定定义了赋值,但
如果T为数组,这种假设将不成立:

a = b

同样,下面的语句假设定义了>,但如果T 为结构,该假设便不成立:

if(a>b)

另外,为数组名定义了运算符>,但由于数组名为地址,因此他比较的是数组的地址,而这可能不是您希望的。

注意

名称空间可以是全局的,也可以位于另一个名称空间中,但不能位于代码块中。因此,在默认的情况下,在名称空间中声明的名称的链接性为外部的(除非它引用了常量)

😇显示具体化

📖假设定义了如下结构:

struct job
{
	char name[40];
	double salary;
	int floor;-
};

🌼;另外,假设希望能够交换两个这种结构的内容。原来的模板使用下面的代码来完成交换:

temp = a;
a = b;
b = temp;

由于C++允许将一个结构赋给另一个结构,因此即使T是一个job结构,上述代码也适用。然而,假设只想交换salary和floor成员,而不交换name成员,则需要使用不同的代码,但Swap()的参数将保持不变(两个job结构的引用),因此无法使用模板重载来提供其他的代码。

然而,可以提供一个具体化函数定义----称为显示具体化(explicit specialization),其中包含所需的代码。当编译器找到与函数调用匹配的具体化定义时,将使用该定义,而不再寻找模板。


第三代具体化(ISO/ANSI C C++标准)

  1. 对于给定的函数名,可以有非模板函数、模板函数和显式具体化模板函数以及它们的重载版本。
  2. 显式具体化的原型和定义应以template<>打头,并通过名称来指出类型。
  3. 具体化优先于常规模板,而非模板函数优先于具体化和常规模板

下面是用于交换job结构的非模板函数、模板函数和具体化的原型:

void Swap(job &, job &);

template <typename T>
void Swap(T&, T&);

template <> void Swap<job>(job&, job&);

📃如何巩固学习

提示:在学习的过程中,我们需要先自行进行思考,并且多去阅读一些大佬的书籍,俗话说的好,书籍是人类进步的阶梯!

📃本文小结

  1. C++鼓励程序员在开发程序时使用多个文件。一种有效的组织策略是,使用头文件来定义,为操纵用户类型的函数提供函数原型;并将函数定义放在一个独立的源代码文件中。头文件和源代码文件一起定义和实现了用户定义的类型及其使用方式。最后,将main()和其他使用这些函数的函数放在第三个文件中。

好啦今日的分享到这里就结束啦,我是爱你们的M malloc希望可以帮助到你们噢,最后别忘记三连啦!!

【C++奇遇记】函数模板,c++奇遇记,c++,开发语言

【C++奇遇记】函数模板,c++奇遇记,c++,开发语言文章来源地址https://www.toymoban.com/news/detail-675423.html

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

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

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

相关文章

  • 【C++】——模板(泛型编程+函数模板+类模板)

    之前我们学习了函数重载,让我们在写相似函数的时候非常方便,但函数重载还有很多不足的地方,比如,每次写相似函数的时候,都要我们重新重载一个逻辑、代码几乎一样的函数,这就导致了我们的效率变低,所以我们今天来学习C++模板的相关知识点,学习完模板之后,

    2024年02月05日
    浏览(48)
  • C++ 函数模板与类模板

    现在的C++编译器实现了C++新增的一项特性–函数模板。函数模板是通用的函数描述,也就是说它们使用泛型来定义函数,其中的泛型可以是具体的类型(如int或double)。通过将类型作为参数传递给模板,可使编译器生成该类型的函数。用于模板允许以泛型的方式编写程序,因

    2023年04月19日
    浏览(48)
  • 【C++】什么是函数模板/类模板?

    函数模板简单来说就是一个模板,与函数参数的类型无关,是一个模子,不是真正的函数,实例化的函数会根据实参的类型 自动 推导类型。 函数模板是一个模板,并不是真正的函数,它是根据传递过来的实参的类型实例化一个具体的函数,相当于我们将重复的事情交给了编

    2024年02月07日
    浏览(60)
  • C++——函数模板与类模板

    C++知识合集 目录 1.泛型编程 2.函数模板 2.1函数模板实例化 2.2函数模板参数的匹配原则 3.类模板 4.模板的分离编译 实际上泛型编程的难度是比较高的,但我们泛型编程的初学者,当然要从简单的地方开始入手。 我们可以写出很多份交换函数,这些函数之间构成函数重载,这

    2024年02月08日
    浏览(44)
  • C++函数模板和类模板

    C++另一种编程思想称为泛型编程,主要利用的技术是模板 C++提供两种模板机制:函数模板和类模板 即:我们提供一个抽象的函数或类,并不具体指定其中数据的类型,而是某个虚拟类型代替。只提供基本的功能。其具体的数据类型,只在其被调用时视具体情况实例化。 举个

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

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

    2024年02月19日
    浏览(39)
  • 【C++】模板初阶——函数模板和类模板

    🚀 作者简介:一名在后端领域学习,并渴望能够学有所成的追梦人。 🚁 个人主页:不 良 🔥 系列专栏:🛸C++  🛹Linux 📕 学习格言:博观而约取,厚积而薄发 🌹 欢迎进来的小伙伴,如果小伙伴们在学习的过程中,发现有需要纠正的地方,烦请指正,希望能够与诸君一同

    2024年02月10日
    浏览(45)
  • 【C++从入门到放弃】模板介绍(函数模板、类模板)

    🧑‍💻作者: @情话0.0 📝专栏:《C++从入门到放弃》 👦个人简介:一名双非编程菜鸟,在这里分享自己的编程学习笔记,欢迎大家的指正与点赞,谢谢!   以我们之前所学的知识,假如要实现一个通用的加法函数,那么可以通过函数重载的方式来实现。 使用函数重载虽

    2023年04月14日
    浏览(46)
  • C++基础(10)——函数模板和类模板

    本文主要介绍了C++中函数模板和类模板基本知识 模板函数的定义 templatetypename T+函数的定义或声明 模板函数的两种使用方法(编译器自动推测、显示指定T的类型) 注意事项: 模板一定要确定指出T的数据类型才可以使用;T由编译器自动推导出来,如果类型不一致也不可以使

    2024年02月09日
    浏览(40)
  • 【C++初阶】八、初识模板(泛型编程、函数模板、类模板)

    ========================================================================= 相关代码gitee自取 : C语言学习日记: 加油努力 (gitee.com)  ========================================================================= 接上期 : 【C++初阶】七、内存管理 (C/C++内存分布、C++内存管理方式、operator new / delete 函数、定位new表

    2024年02月04日
    浏览(46)

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

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

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

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

二维码1

领取红包

二维码2

领红包