STL：函数模板

1.函数模板
使用模板 类型参数化 编写代码可以忽略类型

2.函数模板和类模板
函数模板针对仅参数类型不同的函数
类模板针对仅数据成员和成员函数类型不同的类

3.函数模板通式
template 只对其后的第一个函数有效

template <class 形参名，class 形参名，......>
返回类型 函数名(参数列表)
{
函数体
}

4.调用函数模板的两种方式

• 自动类型推导
• 显示的指定类型

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

//使用函数模板
void test01(){
	//1. 自动类型推导  编译器根据你传进去的值进行类型自动推导
	int a = 10;
	int b = 20;
	cout << "a:" << a << "  b:" << b << endl;
	mySwap(a, b);
	cout << "a:" << a << "  b:" << b << endl;

	double da = 1.13;
	double db = 1.14;
	cout << "da:" << da << "  db:" << db << endl;
	mySwap(da, db);
	cout << "da:" << da << "  db:" << db << endl;
 

	//2. 显示的指定类型
	a = 10;
	b = 20;
	cout << "a:" << a << "  b:" << b << endl;
	mySwap<int>(a, b);
	mySwap<>(a, b);   
	cout << "a:" << a << "  b:" << b << endl;

5.函数模板和普通函数的区别
普通函数可以进行自动类型转换 但是函数模板必须严格类型匹配
比如一个参数为int的普通函数 你可以传short和char作为参数 但是函数模板不行

6.函数模板和普通函数在一起的调用规则

• 函数模板可以像普通函数那样被重载

//1.模板重载
template<class T>
void myPrint(T a)
{
	cout << a << endl;
}

template<class T1, class T2>
void myPrint(T1 a, T2 b)
{
	cout << a << "  " << b << endl;
}

• C++编译器优先考虑普通函数
• 如果函数模板可以产生一个更好的匹配，那么选择模板
• 可以通过空模板实参列表的语法限定编译器只能通过模板匹配，例如 mySwap<>(a, b);
  7.函数模板编译过程
  编译器会对函数模板进行两次编译
• 在声明模板的地方对模板代码本身进行编译
• 在调用的地方对参数进行替换后的模板函数的代码进行编译
  通过函数模板产生模板函数，编译器会根据调用的参数类型，产生模板函数 。编译器并不是把函数模板处理成能够处理任何类型的函数。