C++ 函数模板

最新推荐文章于 2023-04-24 18:19:09 发布
最新推荐文章于 2023-04-24 18:19:09 发布
阅读量728 收藏 7
点赞数 1
分类专栏： c++ 文章标签： c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/cpp_learner/article/details/104390433
版权

什么叫模板？

C++提供了模板(template)编程的概念。所谓模板，实际上是建立一个通用函数或类，其类内部的类型和函数的形参类型不具体指定，用一个虚拟的类型来代表。这种通用的方式称为模板。模板是泛型编程的基础,泛型编程即以一种独立于任何特定类型的方式编写代码。

为什么要使用函数模板？

为了使代码更加简明，提高开发效率！

例：
需要判断整型，字符型，浮点类型的大小，那么就必须写三个这样的判断函数，这样不仅在代码上，而且还在内存上造成一定的浪费，所以最好的解决办法就是用模板。

代码示例：

#include <iostream>
#include <Windows.h>

using namespace std;

// 模板说明
template <typename T>
// 函数实现
T Max(T a, T b) {
	return a > b ? a : b;
}

int main(void) {
	cout << "整型和整型比较" << endl;
	cout << Max(10, 20) << endl;
	// 相当于调用了：
	/*int Max(int a, int b) {
		return a > b ? a : b;
	}*/

	cout << endl << "字符型和字符型比较" << endl;
	cout << Max('a', 'b') << endl;
	// 相当于调用了：
	/*char Max(char a, char b) {
		return a > b ? a : b;
	}*/

	cout << endl << "浮点型和浮点型比较" << endl;
	cout << Max(10.5, 20.5) << endl;
	// 相当于调用了：
	/*float Max(float a, float b) {
		return a > b ? a : b;
	}*/

	system("pause");
	return 0;
}

运行截图：

在这里插入图片描述

可以看出使用函数模板和自己定义三个普通函数的效果是一模一样的！
使用函数模板，只需要一个函数就可以搞定了！

函数模板的语法

所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。 凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

函数模板的定义

1.模板说明

template < 类型形式参数表 >

类型形式参数表：
typename T1 , typename T2 , …… , typename Tn
或 class T1 , class T2 , …… , class Tn
(注：typename 和 class 的效果完全等同)， 建议使用 typename 关键字。

例：
template <typename T>

2.函数定义

类型 函数名 (形式参数表) {
// to do…
}
注意：模板说明的类属于参数，必须在函数定义之前出现一次；
函数参数表中可以使用类，属于类型参数，也可以使用一般类型参数。

例：

T function(T a, T b, Tc) {
	// T是模板说明中的类型
}
3.函数模板调用

1.function<int>(10, 20, 30); // 显式类型调用
2.function(10, 20, 30); // 自动数据类型推导

调用后，函数模板自动声明T为 int类型！

4.模板函数

在这里插入图片描述

自己在代码中说明的叫 函数模板；
编译器自动生成的叫模板函数。

函数模板的多种形参

在上面 为什么要使用函数模板？ 中，我们声明函数模板只是声明一种类型，那么可以声明多种吗？
答案是可以的。

例：
使用函数模板，比较整型和浮点型的大小，并以浮点型作为返回值类型。

代码示例：

#include <iostream>
#include <Windows.h>

using namespace std;

// 模板说明
template <typename T, typename Y>
// 函数实现
Y Max(T a, Y b) {
	return a > b ? a : b;
}

int main(void) {
	int n = 10;
	float f = 10.5;

	cout << "比较结果：" << Max(n, f) << endl;
	// 实际上调用了：
	/*float Max(int a, float b) {
		return a > b ? a : b;
	}*/

	system("pause");
	return 0;
}

运行截图：

在这里插入图片描述

定义再多的形参都是可以的！

函数模板可以比较类吗？

答案是可以的!

例：

  1. 我们先定义一个类, 再定义私有数据成员 k ；
  2. 定义成员函数返回 k 的值；
  3. 重载 > 运算符（因为不重载没法比较）
  4. mian函数实现

代码实例：

#include <iostream>
#include <Windows.h>

using namespace std;

class demo {
public:
	demo(int k = 0) { this->k = k; }

	int getK() const { return k; }

	bool operator>(demo& de) {
		if (this->k > de.k) return true;
		return false;
	}
private:
	int k;
};

template <typename T>
T Max(T a, T b) {
	return a > b ? a : b;
}
// 也可以写成这样******************
//template <typename T, typename Y>
//Y Max(T a, Y b) {
//	return a > b ? a : b;
//}


int main(void) {

	cout << "类与类的比较：" << endl;
	demo d1(10);
	demo d2(20);
	cout << Max(d1, d2).getK() << endl;
	// 实际上调用了：
	/*demo Max(demo a, demo b) {
		return a > b ? a : b;
	}*/

	system("pause");
	return 0;
}

运行截图：

在这里插入图片描述

函数模板与函数重载

到了这里，我们有两个问题：

  1. 函数模板定义的函数 和 普通定义的函数名字相同（即重载）可以并存吗？
  2. 函数模板可以自动类型转化吗？

带着这个问题，我们开始上代码：

问题一：

  1. 函数模板定义的函数 和 普通定义的函数名字相同（即重载）可以并存吗？

例：

定义一个函数模板用于交换字符型和整型，再定义一个普通函数也是用于交换字符型和整型（其中，两个函数的名字一样）

代码示例：

#include <iostream>
#include <Windows.h>

using namespace std;

// 函数模板函数
template <typename T, typename Y>
void swop(T& a, Y& b) {
	T c;

	c = a;
	a = b;
	b = c;

	cout << "函数模板被调用了" << endl;
}

// 普通函数
void swop(char& a, int& b) {
	int c;

	c = a;
	a = b;
	b = c;

	cout << "普通函数被调用了" << endl;
}

int main(void) {
	int n = 65;
	char c = 'a';

	// 函数模板和普通函数并存，参数类型和普通函数重载更匹配
	// 调用普通函数
	swop(c, n);

	system("pause");
	return 0;
}

运行截图：

在这里插入图片描述
由运行结果我们可以知道：两者允许并存
但为什么是调用普通函数而不是调用模板函数呢？
这个问题会在下面 函数模板和普通函数的调用顺序 有详细解析！

问题二：

  1. 函数模板可以自动类型转化吗？

例：

接着上面的代码，我们把普通函数去掉会怎么？

代码示例：

#include <iostream>
#include <Windows.h>

using namespace std;

template <typename T, typename Y>
void swop(T& a, Y& b) {
	T c;

	c = a;
	a = b;
	b = c;

	cout << "函数模板被调用了" << endl;
}

//void swop(char& a, int& b) {
//	int c;
//
//	c = a;
//	a = b;
//	b = c;
//
//	cout << "普通函数被调用了" << endl;
//}

int main(void) {
	int n = 65;
	char c = 'a';

	// 函数模板和普通函数并存，参数类型和普通函数重载更匹配
	// 调用普通函数
	//swop(c, n);

	// 可以运行，没有报错
	swop(c, n);

	system("pause");
	return 0;
}

运行截图：

在这里插入图片描述

我们可以发现，没有报错，且可以运行！

所以，第二个问题答案是：
函数模板允许自动类型转化？

No，No， 还有另外一种情况：

上面我们定义函数模板的是使用两个类型：

template <typename T, typename Y>	// 两种类型
void swop(T& a, Y& b) {
	T c;

	c = a;
	a = b;
	b = c;

	cout << "函数模板被调用了" << endl;
}

那么，如果我们使用一种类型会怎么样呢？

template <typename T>		// 一种类型
void swop(T& a, T& b) {
	T c;

	c = a;
	a = b;
	b = c;

	cout << "函数模板被调用了" << endl;
}

我们不敢胡乱推测，下面我们用编译器说话：

修改后的代码：

#include <iostream>
#include <Windows.h>

using namespace std;

template <typename T>
void swop(T& a, T& b) {
	T c;

	c = a;
	a = b;
	b = c;

	cout << "函数模板被调用了" << endl;
}

//void swop(char& a, int& b) {
//	int c;
//
//	c = a;
//	a = b;
//	b = c;
//
//	cout << "普通函数被调用了" << endl;
//}

int main(void) {
	int n = 65;
	char c = 'a';

	// 函数模板和普通函数并存，参数类型和普通函数重载更匹配
	// 调用普通函数
	//swop(c, n);

	// 如果把普通的函数注释掉，那么，将会报错
	// 函数模板不提供隐式的数据类型转换，必须是严格的匹配
	swop(c, n);

	system("pause");
	return 0;
}

没想到，居然出错了…

出错截图：

在这里插入图片描述
现在还敢不敢妄下推论了？

我们从这个例子中，可以得到：函数模板不允许自动类型转化

所以，有两个结论，到底该选哪个好？

其实各有春秋，这得看定义了什么样的模板函数，就会有与其对应的结论。

  1. 如果是两个参数的模板函数，那么结论是：函数模板允许自动类型转化；
  2. 如果是一个参数的模板函数，那么结论是：函数模板不允许自动类型转化。

函数模板和普通函数的调用顺序

经过以上的示例，我们已经学会了函数模板的基本使用，那么，函数模板和普通函数的调用顺序是怎么样的呢？

我们也通过编译器推出答案。

例：

  1. 定义函数模板，用于比较两个整数的大小（用一个参数）
  2. 定义普通函数，用于比较两个整数的大小（和函数模板重名，即重载）
  3. main 函数测试

代码示例：

#include <iostream>
#include <Windows.h>

using namespace std;

// 当普通函数比函数模板更加精确时，会优先调用普通函数
template <typename T>
T compare(T a, T b) {
	cout << "调用了模板函数:T compare(T a, T b)" << endl;
	return a > b ? a : b;
}

int compare(int a, int b) {
	cout << "调用了普通函数:int compare(int a, int b)" << endl;
	return a > b ? a : b;
}


int main(void) {
	int a = 10;
	int b = 20;

	compare(a, b);



	// 可以指定调用函数模板
	cout << endl << endl << "---此处是验证是否可以指定使用哪个函数---（不计入测试结果）" << endl;
	compare<int>(a, b);

	system("pause");
	return 0;
}

运行截图：

在这里插入图片描述

由运行结果我们可以知道：即使函数模板也符合调用，但是，编译器会选择更加精确的普通函数来调用！

因为调用函数模板还存在一个类型转换的过程！

==

还有一个问题，如果把普通函数定义为不精确，那么编译器会调用哪个函数呢？

我们还是以编译器来推论：

还是上面的代码，我们把模板函数定义为两个参数，且在mian函数中，测试一个整型和一个浮点型的比较，那么，普通函数就变成不精确了。

代码示例：

#include <iostream>
#include <Windows.h>

using namespace std;

 // 当函数模板比普通函数更精确时，调用函数模板
template <typename T, typename Y>
T compare(T a, Y b) {
	cout << "调用了模板函数:T compare(T a, Y b)" << endl;
	return a > b ? a : b;
}

int compare(int a, int b) {
	cout << "调用了普通函数:int compare(int a, float b)" << endl;
	return a > b ? a : b;
}


int main(void) {

	int a = 10;
	float b = 20.5;

	compare(a, b);




	// 可以指定调用函数模板
	cout << endl << endl << "---此处是验证是否可以指定使用哪个函数---（不计入测试结果）" << endl;
	compare<int, float>(a, b);

	system("pause");
	return 0;
}

运行截图：

在这里插入图片描述

由运行截图我们可以知道：当函数模板比普通函数更精确时，则调用函数模板。

函数模板也可以像普通函数一样叠加调用

代码示例：

#include <iostream>
#include <Windows.h>

using namespace std;

template <typename T, typename Y>
T Max(T a, Y b) {
	cout << "调用了模板函数:T Max(T a, Y b)" << endl;
	return a > b ? a : b;
}

template <typename T>
T Max(T a, T b, T c) {
	cout << "调用 T Max(T a, T b, T c)" << endl;
	return Max(Max(a, b), c);
}
	


int main(void) {

	float a = 10.5;
	float b = 20.5;
	float c = 30.5;

	Max(a, b, c);


	system("pause");
	return 0;
}

运行截图：

在这里插入图片描述

总结：
函数模板和普通函数在一起，调用规则：
1 函数模板可以像普通函数一样被重载
2 C++编译器优先考虑普通函数
3 如果函数模板可以产生一个更好的匹配，那么选择模板
4 可以通过空模板实参列表的语法限定编译器只通过模板匹配

结论：

  1. 编译器并不是把函数模板处理成能够处理任意类型的函数
  2. 编译器从函数模板通过具体类型产生不同的函数
cpp_learners
关注
  • 1
    点赞
  • 踩
  • 7
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 1
    评论
专栏目录
C/C++--模板类实现.h和.cpp分离
zlQQhs（莫落）的专栏
06-24 2309
用VS2012创建控制台工程 代码如下：
C++里什么是函数模板
YH_24H的博客
09-14 490
作用便是可以不理会形参的类型，不管是什么数据类型都可以调用模板函数。 所以也可以用一个模板函数去完成不同类型数据的运算。 代码： #include using namespace std; template void display(T a)//输出 { cout << a << endl; } template A add(A m, A n)//模板加法函数 { ret
CPP_函数模板
weixin_33727510的博客
07-26 308
2019独角兽企业重金招聘Python工程师标准>>> ...
C++函数模板详解
朱里安
01-24 295
如何实现一个函数要求返回两个数之和？ 1.由于宏定义没有类型要求，宏定义符合此题要求；    #define Sum(a,b) ((a)+(b)) 2.函数重载，重载次数太多，不可取； 3.泛型编程，函数设计复杂，有难度； 4.考虑c++的函数模板。 函数模板的使用 在学习函数模板之前，需要明确函数模板和模板函数两个概念。 函数模板：一个通用的函数，以支持多种不同的形参
黑马C++笔记——模板(CPP)
感觉画质不如...原神的博客
12-01 693
C++模板的常见操作
c++函数模板
02-16
其中，template为关键字，表示定义一个模板（可以是函数模板或类模板），尖括号表示模板参数，模板类型参数使用关键字class或typename开始，其后是一个用户定义的合法的标识符。 如果用户在调用函数模板时显式标识...
C++函数模板
01-14
利用C++中的函数模板实现输出一列数的最大、最小值。
c++函数模板使用
04-03
谭浩强老师c++课本函数模板例题，c++函数模板使用，供大家学习使用。
详解C++函数模板与分离编译模式
01-19
1.分离编译模式 ...下面的程序由三个文件组成：func.h用来对函数模板进行申明，func.cpp用来定义函数模板，main.cpp包含func.h头文件并调用相应的函数模板。 /***func.h***/ template<class> void
C++函数模板与类模板实例解析
01-20
本文针对C++函数模板与类模板进行了较为详尽的实例解析，有助于帮助读者加深对C++函数模板与类模板的理解。具体内容如下： 泛型编程（Generic Programming）是一种编程范式，通过将类型参数化来实现在同一份代码上...
CPP的函数模板
qq_43287651的博客
10-06 290
CPP的学习笔记
C++模板使用
最新发布
2201_75352618的博客
04-24 440
类模板声明与定义不要分离（声明在.h，定义在.cpp ）也就是说，一个类模板实现，函数的声明与定义不能分别在不同的文件中。但是同一个文件可以实现类模板成员函数声明定义分离。但是我们在类域外定义的时候也要进行模板的操作！！
C++中的模板
Vast_Sea的专栏
11-07 949
From: http://www.cnblogs.com/BeyondAnyTime/archive/2012/08/13/2636963.html template int CompareNums(T1 num1, T2 num2) {     if(num1     {         return 1;     }     else if(num2 > num1)
C++学习笔记（二）内联函数、引用、默认参数、函数重载、函数模板、函数具体化
a568713197的博客
10-02 1421
    1、C++的返回值不能是数组，可以是其他任何类型，但是可以将数组作为结构或对象组成部分来返回     2、原型描述函数到编译器的接口    C++中原型是必不可少的     3、C++禁止将const变量的地址赋给非const的指针  将非const变量的地址赋给const的指针是允许的     4、内联函数是C++为了提高程序运行速度做出的改进，与普通函数的区别在于编译器如何将其组合到程...
C++模板元编程详细教程（之三）
fl2011sx的博客
12-15 2656
《C++模板元编程详细教程》系列文章的第3篇，主要介绍的是模板的链接方式和模板的特化
C/C++【函数模板&类模板】
m0_54469145的博客
04-18 829
为了适应泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础，引入了模板，函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器
C++ 在.h文件中声明，在.cpp文件中定义 模板函数和模板类
热门推荐
Expressing Youself Using Code
05-05 1万+
C++ 需要模板函数的定义和声明要放在一起，这样才能根据调用需要选择编译具体的实例。如果我们需要多种实例，每个实例要编译一次，就需要编译多次。在模板函数实现妥当以后，当我们在其它文件中使用某些模板函数的时候，基本所有实例都会被重新编译。如果每次编译时间过长，势必会停滞我们的思维，拖长开发进度。所以在模板函数实现妥当以后，我们希望他只编译一次，在非当前模块被修改时，他也不会被重新编译。这篇博客就是介绍

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

cpp_learners

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值