C++泛型编程：模板(1)-函数模板

模板

模板的概念：

模板就是建立通用的模具，大大提高复用性；

• 模板的特点：
  1.不可以直接使用，它只是一个框架
  2.模板的通用并不是万能的；

函数模板

• C++ 另一种编程思想称为 泛型编程，主要利用的技术就是模板；
• C++提供两种模板机制： 函数模板 和 类模板；

函数模板语法：

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

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

解释：
template ---- 声明创建模板
typename ----表示其后面的符号是一种数据类型，可以用class代替；
T ---- 通用的数据类型,名称可以替换，通常为大写字母；

#include<iostream>
using namespace std;
#include<string>
//函数模板
//声明一个模板，告诉编译器后面代码中紧跟着的T不要报错，T是一个通用数据类型；
template<typename T>	//typename可以替换成class
void mySwap(T& a, T& b) {
	T temp = a;
	a = b;
	b = temp;
}

int main() {
	int a = 10, b = 20;
	//1.自动类型推到
	//mySwap(a, b);
	//2.显示指定类型；
	mySwap<int>(a, b);

	cout << "a=" << a << endl;
	cout << "b=" << b << endl;

	system("pause");
	return 0;
}

总结：

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

函数模板注意事项：

• 自动类型推导，必须推到出一致的数据类型T，才可以使用；
• 模板必须要确定出T的数据类型，才可以使用；
  
• 要么用 自动类型推导 要么.显示指定类型来确定出T的数据类型，才可以使用；
  因为上述函数无法进行自动类型推导，所以只能通过显示指定数据类型来确定T的数据类型；
  
• 总结：使用模板时必须确定出通用数据类型T，并且能够推出到一致的类型；

函数模板案例：

//交换函数模板
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++) {
	//		//认定的最大值 比 遍历出的数值要小，说明j下标的元素才是真正的最大值
	//		if (arr[max] < arr[j]) {
	//			max = j;
	//		}
	//	}
	//	if (max != i) {
	//		mySwap(arr[i], arr[max]);
	//	}
	//}
	//冒泡排序
	for (int i = 0; i < len; i++) {
		for (int j = 0; j < len - 1 - i; j++) {
			if (arr[j] > arr[j + 1]) {
				mySwap(arr[j], arr[j + 1]);
			}
		}
	}
}
template<typename T>
void printArr(T arr[],int len) {
	for (int i = 0; i < len; i++) {
		cout << arr[i] << ' ';
	}
	cout << endl;
}
int main() {
	
	char charArr[] = "badcadk";
	int charLen = sizeof(charArr) / sizeof(char);
	mySort(charArr, charLen);
	printArr(charArr, charLen);

	int intArr[] = { 2,3,325,6,32,6 };
	int intLen = sizeof(intArr) / sizeof(int);
	mySort(intArr, intLen);
	printArr(intArr, intLen);

	system("pause");
	return 0;
}

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

普通函数与函数模板的区别：

• 普通函数调用是可以发生自动类型转换（隐式类型转换）
• 函数模板调用时，如果利用自动类型推导，不会发生隐式类型转换；
• 如果利用显示指定类型的方式，可以发生隐式类型转换；
  
  

int myAdd01(int a,int b) {
	return a + b;
}
template<typename T>
int myAdd02(T a, T b) {
	return a + b;
}
int main() {
	int a = 10, b = 10;
	char c = 'a';
	cout<<myAdd01(a, b)<<endl;
	cout<<myAdd01(a, c)<<endl;
	//自动类型转换——不会发生隐式转换
	//cout << myAdd02(a, c) << endl;

	//显示指定类型——会发生隐式类型转换
	cout << myAdd02<int>(a, c) << endl;
	system("pause");
	return 0;
}

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

调用规则如下：
1.如果函数模板和普通函数都可以实现，优先调用普通函数
2.可以通过空模板参数列表来强制调用函数模板
3.函数模板可以发生重载；
4.如果函数模板可以产生更好的匹配，优先调用函数模板；


以上证明：优先调用普通函数；

通过空模板参数列表，强制调用函数模板

函数模板可以发生重载

因为函数模板不用进行隐式转换，可以产生更好的匹配，优先调用函数模板
总结：既然提供了函数模板，最好就不要提供普通函数，否则容易出现二义性；