【C++】函数模版（1）

引入

void Swap(int& a, int& b)  //整型数据交换
{
	int tmp = a;
	a = b;
	b = tmp;
}
void Swap(double& a, double& b)  //double型数据交换
{
	double tmp = a;
	a = b;
	b = tmp;
}
void Swap(char& a, char& b)   //char型数据交换
{
	char tmp = a;
	a = b;
	b = tmp;
}
void Swap(string& a, string& b)   //string型数据交换
{
	string tmp = a;
	a = b;
	b = tmp;
}

以上代码表示交换相同数据类型的两个数据，虽然C++支持函数重载，但这种写法重复性的工作太多，以上数据除了数据类型不无二致，我们何不自己写一个函数模版，让其编译器根据数据类型自己去匹配呢？
此时C++函数模版就来实现该功能。

基本概念

解释：函数模板是通用的函数描述，使用任意类型（泛型)来描述函数。
编译的时候，编译器推导实参的数据类型，根据实参的数据类型和函数模板，生成该类型的函数定
义。生成函数定义的过程被称为实例化。
两个关键字：template和typename
定义方法：

template <typename T1>
void Swap(T1 & a, T1 &b)
{
	T1 tmp = a;
	a = b;
	b = tmp;
}

T1只是一个自定义的数据类型，名字没有要求。
用法：（和平常函数一样）

template <typename T1>
void Swap(T1 & a, T1 &b)
{
	T1 tmp = a;
	a = b;
	b = tmp;
}

int main()
{
	int a = 10, b = 20;
	Swap(&a, &b);
	cout << "a = " << a << ", b = " << b << endl;
	return 0;
}

template <typename T1>
void Swap(T1 & a, T1 &b)
{
	T1 tmp = a;
	a = b;
	b = tmp;
}

int main()
{
	string a ="嘿嘿", b = "嘻嘻";
	Swap(a, b);
	cout << "a = " << a << ", b = " << b << endl;
	cout << a + b;
	return 0;
}

补充：在C++98添加关键字typename之前，C++使用关键字class来创建模板。
如果考虑向后兼容，函数模板应使用typename，而不是class。

注意事项

1.可以为类的成员函数创建模板,但不能是虚函数和析构函数。

class CGril
{
public:
	template <typename T2>
	CGril(T2 a)
	{
		cout << "a = " << a << endl;
	}
	template <typename T2>
	void show(T2 b)
	{
		cout << "b = " << b << endl;
	}
};
int main()
{
	CGril g1("哈哈哈");
	g1.show(1);
	g1.show(3);
}

当成员函数前面添加virtual时报错，

2.使用函数模板时，必须明确数据类型，确保实参与函数模板能匹配上。

3.使用函数模板时，推导的数据类型必须适应函数模板中的代码。

函数模版可以接收任意数据类型，但是函数中的代码不一定适应该数据类型

4.使用函数模板时，如果是自动类型推导，不会发生隐式类型转换，如果显式指定了函数模板的数据类型，可以发生隐式类型转换。

我们知道C++中char类型可以隐式转化成int的，但这里第一张图why报错？看来编译器没有对b进行隐式转化；在第二张图中我们对齐进行化显式转换后即可

5.函数模板支持多个通用数据类型的参数。

6.函数模板支持重载，可以有非通用数据类型的参数。

---

函数模版具体化

函数模版分文件编写

函数模版声明和定义均在头文件
具体化的函数模版和普通函数头文件中声明、源文件中定义

补：在网上也有将函数模版的声明和源文件分开的写法，意义不大。