C++核心编程:P12->模板----函数模板

本系列文章为黑马程序员C++教程学习笔记,前面的系列文章链接如下
C++核心编程:P1->程序的内存模型
C++核心编程:P2->引用
C++核心编程:P3->函数提高
C++核心编程:P4->类和对象----封装
C++核心编程:P5->类和对象----对象的初始化和清理
C++核心编程:P6->类和对象----C++对象模型和this指针
C++核心编程:P7->类和对象----友元
C++核心编程:P8->类和对象----运算符重载
C++核心编程:P9->类和对象----继承
C++核心编程:P10->类和对象----多态
C++核心编程:P11->文件操作


一、模板的概念

C++中不光有面向对象编程思想,还有泛型编程思想。泛型编程思想的核心内容就是模板。

模板

模板的概念:模板就是建立通用的模具,大大提高复用性。C++中的模板包含函数模板类模板
生活中的模板案例
①一寸照片模板
当你入职一家新公司时,需要提供一寸证件照。你可以去照相馆照一张,但是比较麻烦。为了省事省钱,你可以找一些证件照的模板,然后把自己的头P上去。
在这里插入图片描述
②PPT模板
年底需要开总结大会,你需要向大家展示一年的工作内容。你可以在网上下载关于年终总结的PPT,然后将内容填进去即可。
在这里插入图片描述
模板的特点:
①模板的通用并不是万能的
比如对于第1个例子,你要给你的宠物狗拍证件照,肯定就不能用人的证件照模板,需要用狗的证件照模板。
②模板不可以直接使用,它只是一个框架
比如对于第2个例子,年终总结的时候你不能直接只使用PPT模板,你还需要向里面添加内容。


二、函数模板基本语法

函数模板

概念:建立一个通用函数,其函数返回值类型和形参类型可以不具体制定,用一个虚拟的类型来代表。比如现在有个函数func的声明为void func(int a),我们可以让其成为一个模板,形参类型与返回值类型用个虚拟的T来表示,则func函数模板的声明为T func(T a)
语法:
template<typename T>
函数声明或定义
解释:
template ---- 声明创建模板
typename ---- 表面其后面的符号是一种数据类型,可以用class代替
T ---- 通用的数据类型,名称可以替换,通常为大写字母


案例

现在我们想实现一个能够交换两个变量的值的函数。如果不使用函数模板,针对整形、浮点型、字符型等不同数据类型的变量,我们都需要分别给出对应的函数定义。

不使用模板实现的代码如下:

#include <iostream>
using namespace std;

//交换整型函数
void swapInt(int& a, int& b) {
	int temp = a;
	a = b;
	b = temp;
}

//交换浮点型函数
void swapDouble(double& a, double& b) {
	double temp = a;
	a = b;
	b = temp;
}

void test01()
{
	int a = 10;
	int b = 20;
	double c = 10;
	double d = 20;
	swapInt(a, b);
	swapDouble(c, d);
	cout << "a = " << a << endl;
	cout << "b = " << b << endl;
	cout << "c = " << c << endl;
	cout << "d = " << d << endl;

}

int main() {
	test01();
	system("pause");
	return 0;
}

运行,可以看到成功交换了变量的值。
在这里插入图片描述
使用模板实现的代码如下

#include <iostream>
using namespace std;

//交换函数
template<typename T> 
void mySwap(T &a, T &b)
{
	T temp = a;
	a = b;
	b = temp;
}

void test01()
{
	int a = 10;
	int b = 20;
	double c = 10;
	double d = 20;
	//利用模板实现交换
	//1、自动类型推导
	mySwap(a, b);
	mySwap(c, d);
	//2、显示指定类型
	//mySwap<int>(a, b);
	//mySwap<int>(c, d);
	cout << "a = " << a << endl;
	cout << "b = " << b << endl;
	cout << "c = " << c << endl;
	cout << "d = " << d << endl;
}

int main() {
	test01();
	system("pause");
	return 0;
}

运行,可以看出正确实现了交换,代码量也大大减少。
在这里插入图片描述


总结:

函数模板利用关键字 template
使用函数模板有两种方式:自动类型推导、显示指定类型
模板的目的是为了提高复用性,将类型参数化


三、函数模板注意事项

注意事项

①自动类型推导,必须推导出一致的数据类型T,才可以使用。比如对于前面第1个例子,我们不能在人的证件照模板上放一个狗头。
案例: 假设现在我们交换int类型的变量和char类型的变量,则推导不出一致的数据类型T,会报错。
在这里插入图片描述
②模板必须要确定出T的数据类型,才可以使用。比如对于前面第1个例子,我们不能直接把证件照模板拿去做我们的证件照,因为确认不到是谁的证件照。
案例: 如果我们在函数模板中没有使用到变量,即T的数据类型确定不出,则会报错。
在这里插入图片描述
解决方案:利用显示指定类型的方式,给T一个类型,才可以使用该模板
在这里插入图片描述


四、函数模板案例- 数组排序

案例描述

①利用函数模板封装一个排序的函数,可以对不同数据类型数组进行排序
②排序规则从大到小,排序算法为选择排序
③分别利用char数组int数组进行测试


思路

①首先实现选择排序。选择排序的思想为:首先固定首元素为最大值,然后依次让右边的元素去与首元素进行对比,只要比首元素大就更新首元素的值为当前这个较大的值。一轮循环结束后,将最大值元素向右移动一位。最后将上述步骤重复执行即可,直到最大值元素为末尾元素。
②在执行选择排序过程中会使用到交换两个变量值的操作,于是直接使用上面我们实现过的交换函数模板即可。
③最后需要打印结果,我们自己写一个打印函数模板即可。


代码

#include <iostream>
using namespace std;

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

template<typename T>
void mySort(T arr[], int len)
{
	for (int i = 0; i < len; i++)
	{
		int max = i;
		for (int j = i + 1; j < len; j++)
		{
			if (arr[j] > arr[max]) {
				max = j;
			}
		}
		if (max != i)
		{
			mySwap(arr[max], arr[i]);
		}
	}
}

template<typename T>
void myprint(T arr[], int len)
{
	for (int i = 0; i < len; i++)
	{
		cout << arr[i] << " ";
	}
	cout << endl;
}

void test01()
{
	char arr[] = "dfaebc";
	int len = sizeof(arr) / sizeof(arr[0]);
	mySort(arr, len);
	myprint(arr, len);
}

void test02()
{
	int arr[] = {1, 4, 2, 5, 3};
	int len = sizeof(arr) / sizeof(arr[0]);
	mySort(arr, len);
	myprint(arr, len);
}

int main() {
	test01();
	test02();
	system("pause");
	return 0;
}

运行,可以看到成功实现了对不同数据类型的数组按从大到小的顺序进行排序。
在这里插入图片描述


五、普通函数与函数模板的区别

普通函数与函数模板区别:

①普通函数调用时可以发生自动类型转换(隐式类型转换)
②函数模板调用时
----如果利用自动类型推导,不会发生隐式类型转换
----如果利用显示指定类型的方式,可以发生隐式类型转换
③建议使用显示指定类型的方式,调用函数模板,因为可以自己确定通用类型T


区别①示例: 定义一个函数实现两个整形变量相加。现在我们向这个函数传入一个整形变量和一个字符型变量

#include <iostream>
using namespace std;

//普通函数
int myAdd01(int a, int b)
{
	return a + b;
}

void test01()
{
	int a = 10;
	char c = 'c';
	cout << myAdd01(a, c) << endl; //正确,将char类型的'c'隐式转换为int类型  'c' 对应 ASCII码 99
}

int main() {
	test01();
	system("pause");
	return 0;
}

运行,可以看出普通函数自动完成了隐式类型转换
在这里插入图片描述


区别②示例: 定义一个函数模板实现两个变量相加。现在我们向这个函数传入一个整形变量和一个字符型变量

#include <iostream>
using namespace std;

//函数模板
template<class T>
T myAdd02(T a, T b)
{
	return a + b;
}

//使用函数模板时,如果用自动类型推导,不会发生自动类型转换,即隐式类型转换
void test01()
{
	int a = 10;
	int b = 20;
	char c = 'c';
	myAdd02(a, c); // 报错,使用自动类型推导时,不会发生隐式类型转换
	//myAdd02<int>(a, c); //正确,如果用显示指定类型,可以发生隐式类型转换
}

int main() {
	test01();
	system("pause");
	return 0;
}

运行,可以看到利用自动类型推导时会报错
在这里插入图片描述
如果用显示指定类型,可以发生隐式类型转换
在这里插入图片描述


六、普通函数与函数模板的调用规则

调用规则如下:

①如果函数模板和普通函数都可以实现,优先调用普通函数
②可以通过空模板参数列表来强制调用函数模板
③函数模板也可以发生重载
④如果函数模板可以产生更好的匹配,优先调用函数模板


调用规则①案例: 编写一个普通函数实现打印传入的两个整数形参,编写一个函数模板实现打印传入的两个形参。

#include <iostream>
using namespace std;

//普通函数与函数模板调用规则
void myPrint(int a, int b)
{
	cout << "调用的普通函数" << endl;
}

template<typename T>
void myPrint(T a, T b)
{
	cout << "调用的模板" << endl;
}

void test01()
{
	//1、如果函数模板和普通函数都可以实现,优先调用普通函数
	int a = 10;
	int b = 20;
	myPrint(a, b); //调用普通函数
}

int main() {
	test01();
	system("pause");
	return 0;
}

运行,可以看到默认调用的是普通函数
在这里插入图片描述


调用规则②案例: 如果告诉编译器普通函数是有的,但只是声明没有实现,或者不在当前文件内实现,就会报错找不到。
在这里插入图片描述
如果仍然要正确实现,则要通过空模板参数列表去调用函数模板

#include <iostream>
using namespace std;

//普通函数与函数模板调用规则
void myPrint(int a, int b);

template<typename T>
void myPrint(T a, T b)
{
	cout << "调用的模板" << endl;
}

void test01()
{
	//1、如果函数模板和普通函数都可以实现,优先调用普通函数
	//注意:如果告诉编译器  普通函数是有的,但只是声明没有实现,或者不在当前文件内实现,就会报错找不到
	int a = 10;
	int b = 20;
	//2、可以通过空模板参数列表来强制调用函数模板
	myPrint<>(a, b); //调用函数模板
}

int main() {
	test01();
	system("pause");
	return 0;
}

运行,可以看出成功调用了函数模板。
在这里插入图片描述


调用规则③案例: 函数模板可以重载,我们编写一个两个参数的函数模板,然后写一个重载版本(三个参数),最后调用三个参数的函数。

#include <iostream>
using namespace std;

template<typename T>
void myPrint(T a, T b)
{
	cout << "调用的模板" << endl;
}

template<typename T>
void myPrint(T a, T b, T c)
{
	cout << "调用重载的模板" << endl;
}

void test01()
{
	int a = 10;
	int b = 20;
	//3、函数模板也可以发生重载
	int c = 30;
	myPrint(a, b, c); //调用重载的函数模板
}

int main() {
	test01();
	system("pause");
	return 0;
}

运行,可以看出正确调用了重载的函数模板
在这里插入图片描述


调用规则④案例: 我们使用调用规则①案例中的普通函数与函数模板,然后向函数中传入两个char类型的变量,看看会调用哪一个。

#include <iostream>
using namespace std;

//普通函数与函数模板调用规则
void myPrint(int a, int b)
{
	cout << "调用的普通函数" << endl;
}

template<typename T>
void myPrint(T a, T b)
{
	cout << "调用的模板" << endl;
}

template<typename T>
void myPrint(T a, T b, T c)
{
	cout << "调用重载的模板" << endl;
}

void test01()
{
	//4、 如果函数模板可以产生更好的匹配,优先调用函数模板
	char c1 = 'a';
	char c2 = 'b';
	myPrint(c1, c2); //调用函数模板
}

int main() {
	test01();
	system("pause");
	return 0;
}

普通函数可以通过隐式类型转换成功调用,函数模板则可以直接推导出T为char。所以最后会直接调用函数模板。
在这里插入图片描述


总结: 既然提供了函数模板,最好就不要提供普通函数,否则容易出现二义性


七、模板的局限性

局限性: 模板的通用性并不是万能的

案例: 我们编写一个函数模板实现对比两个形参,如果相等则返回true。对于内置的数据类型(如int、char、long、double等等)可以直接使用==进行对比,然而对于一些自定义的数据类型就不能直接使用==进行对比。例如我们有个Person类,里面有string类型的成员变量name,还有int类型的成员变量age,如果这两个成员变量都相等则表明这两个变量相等。如果直接向函数模板传入Person类并进行对比,则会报错。

#include <iostream>
#include <string>
using namespace std;

class Person
{
public:
	Person(string name, int age)
	{
		this->m_Name = name;
		this->m_Age = age;
	}
	string m_Name;
	int m_Age;
};

//普通函数模板
template<class T>
bool myCompare(T& a, T& b)
{
	if (a == b)
	{
		return true;
	}
	else
	{
		return false;
	}
}

void test02()
{
	Person p1("Tom", 10);
	Person p2("Tom", 10);
	bool ret = myCompare(p1, p2);
	if (ret)
	{
		cout << "p1 == p2 " << endl;
	}
	else
	{
		cout << "p1 != p2 " << endl;
	}
}

int main() {
	test02();
	system("pause");
	return 0;
}

运行,可以看到会报错
在这里插入图片描述
解决方案: 为这些特定的类型提供具体化的模板

#include<iostream>
using namespace std;

#include <string>

class Person
{
public:
	Person(string name, int age)
	{
		this->m_Name = name;
		this->m_Age = age;
	}
	string m_Name;
	int m_Age;
};

//普通函数模板
template<class T>
bool myCompare(T& a, T& b)
{
	if (a == b)
	{
		return true;
	}
	else
	{
		return false;
	}
}

//具体化,显示具体化的原型和定意思以template<>开头,并通过名称来指出类型
//具体化优先于常规模板
template<> bool myCompare(Person &p1, Person &p2)
{
	if ( p1.m_Name  == p2.m_Name && p1.m_Age == p2.m_Age)
	{
		return true;
	}
	else
	{
		return false;
	}
}

void test01()
{
	int a = 10;
	int b = 20;
	//内置数据类型可以直接使用通用的函数模板
	bool ret = myCompare(a, b);
	if (ret)
	{
		cout << "a == b " << endl;
	}
	else
	{
		cout << "a != b " << endl;
	}
}

void test02()
{
	Person p1("Tom", 10);
	Person p2("Tom", 10);
	//自定义数据类型,不会调用普通的函数模板
	//可以创建具体化的Person数据类型的模板,用于特殊处理这个类型
	bool ret = myCompare(p1, p2);
	if (ret)
	{
		cout << "p1 == p2 " << endl;
	}
	else
	{
		cout << "p1 != p2 " << endl;
	}
}

int main() {
	test01();
	test02();
	system("pause");
	return 0;
}

运行,可以看到当传入自定义的Person类型数据时,调用具体化的Person数据类型的模板
在这里插入图片描述


总结:

①利用具体化的模板,可以解决自定义类型的通用化
②学习模板并不是为了写模板,而是在STL能够运用系统提供的模板

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

打赏作者

知初与修一

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

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

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

打赏作者

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

抵扣说明:

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

余额充值