C++ 模板 函数模板的基本概念、使用方式以及注意事项

C++ 模板

在这个阶段主要针对C++泛型编程和STL技术做详细讲解，探讨C++更深层的使用。
这个阶段主要学习的内容有三大块，模板、STL以及综合所学内容实战两个系统。

1 模板的概念

意义：建立通用的模具，大大提高复用性

示例：PPT模板、案例模板、证件照模板等

特点：

• 模板不可以直接使用，它只是一个框架
• 模板的通用并不是万能的

C++另一种编程思想称为泛型编程 ，主要利用的技术就是模板

两种模板机制：函数模板和类模板

2 函数模板

函数模板作用：建立一个通用函数，其函数返回值类型和形参类型可以不具体制定，用一个虚拟的类型来代表。

语法：

template<typename T>
函数声明或定义

解释：

• template — 关键字，声明创建模板
• typename — 关键字，表面其后面的符号是一种数据类型，可以用class代替
• T — 通用的数据类型，名称可以替换，通常为大写字母
  例如，平时写一个函数时，void swap(int a)，如果使用模板，那么viod可以用一个字符代替，不声明返回值类型；形参a的类型int也可以用一个字符代替，不声明形参的类型。使用模板，可以在函数声明时不具体写函数返回值类型以及形参类型，在函数实现时才定义函数返回值类型以及形参类型。

2.1 函数模板场景描述

当写交换两个类型的数据时，通常需要写函数返回值类型以及形参类型，例如，交换两个整型数据、交换两个浮点型的数据

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;
}

对于上面这两个交换函数而言，只有传入的形参类型、返回值类型不一样，其他大致相同（函数名字也可以改成一样的，函数重载）。但是C++内置的数据类型有很多，不可能把每一种数据类型的数值交换函数都写一遍。因此，可以把函数主体抽象出来作为一个模板，只有传入的形参类型和返回值类型不一样，通过同一个函数实现所有内置数据类型的数据交换，采用模板可以大大提高函数的复用性。

2.2 函数模板代码展示

//函数模板
template<typename T> //声明模板，template typename都是关键字，T是一个通用的数据类型，可以用其他字母替换，通常为大写
void mySwap(T& a, T& b)
{
	T temp = a;
	a = b;
	b = temp;
}

void test()
{
	cout << "交换前" << endl;
	int a = 55;
	int b = 54;
	cout << "a = " << a << "\t\tb = " << b << endl;
	//SwapInt(a, b);

	double c = 55.3;
	double d = 54.3;
	cout << "c = " << c << "\t\td = " << d << endl;
	//SwapDouble(c, d);

	cout << "\n交换后" << endl;
	//函数模板使用-方式1，自动类型推导，mySwap(a, b);
	mySwap(a, b);//直接传入形参，编译器根据之前实参定义的类型推导形参的类型
	cout << "a = " << a << "\t\tb = " << b << endl;

	//函数模板使用-方式2，显示指定类型，mySwap<double>(c, d);
	mySwap<double>(c, d);//指定函数模板的类型，再传入形参
	cout << "c = " << c << "\t\td = " << d << endl << endl;
}

效果

和前面解释的一样，首先声明函数模板，再用一个字符T来代替没有具体定义的形参的数据类型
注意点：
template<typename T>声明模板；
template、typename都是关键字；
T是一个通用的数据类型，可以用其他字母替换，通常为大写，一般使用T；
函数模板有两种使用方式，自动推导类型和显示指定类型；
自动类型推导：直接传入形参，编译器根据之前实参定义的类型推导形参的类型；
显示指定类型：指定函数模板的类型，再传入形参。

总结：

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

3 函数模板的注意事项

注意事项：

• 自动类型推导，必须推导出一致的数据类型T，才可以使用
• 模板必须要确定出T的数据类型，才可以使用
  情景描述及代码展示：

template<typename T> //声明模板，template typename都是关键字，T是一个通用的数据类型，可以用其他字母替换，通常为大写
void mySwap(T& a, T& b)
{
	T temp = a;
	a = b;
	b = temp;
}

//1、自动类型推导，必须推导出一致的数据类型T，才可以使用
void test1()
{
	int a = 55;
	int b = 54;
	double c = 55.3;
	cout << "a = " << a << "\t\tb = " << b << "c = " << c << endl;

	//函数模板的自动类型推导，mySwap(a, b);
	//mySwap(a, b);//正确使用，数据类型一致
	//mySwap(a, c);//错误，无法推导出一致的数据类型
}

template<class T>
void func()
{
	cout << "调用func" << endl;
}
// 2、模板必须要确定出T的数据类型，才可以使用
void test2()
{
	//func();//错误，func中没有使用func，并且没有指定func的数据类型，不能使用自动推到类型
	//两个调用func函数的方法
	//1、注释template<class T>
	//2、使用显示指定类型
	func<int>();//由于func中没有使用T，所以传任何一种内置的数据类型都可以调用func
}

总结：

• 使用模板时必须确定出通用数据类型T，并且能够推导出一致的类型；
• 对于没有使用T的函数模板，只能使用显示指定类型来调用函数模板。