c++ 模板函数和模板类（初阶）

函数模板和类模板（初阶）

函数模板和类模板的意义：在编写函数和类时，我们希望形参的数据类型是可变的，这样可以提供程序的复用率。即：使函数或类的使用不再受数据类型的限制。

1、模板语法

template<class Type1>

template：关键字（固定，不可更改）

class：关键字（固定，可以写class或typename，这两个是等效的）

Type1：模板数据类型名（名字随便起）

1、函数语法

void myswap(Type1 &x, Type1 &y)

2、模板类语法

使用函数模板或模板数据类型名的类都叫类模板。

2、模板的本质是局部的宏替换

1、模板基于宏替换

函数模板或类模板中，我们并没有指定数据类型，所以函数模板并不是运行代码。实际上：在我们调用函数模板时，编译器根据我们输入参数的数据类型，自身生成一段具有特定数据类型的模板函数（模板函数：数据类型确定的函数模板）。需要注意的是：我们每调用一次函数模板，就会生成对应的模板函数。（也就是说：我们写的函数模板其实没有几行代码，但程序运行的时候，运行代码可能很长）

#define _CRT_SECURE_NO_WARNINGS 1
#include <string.h>
#include <iostream>
using namespace std;

template<class Type1>
void myswap(Type1 &x, Type1 &y)
{
	Type1 n = 0;
	n = x;
	x = y;
	y = n;
}
int main()
{
	int a = 1;
	int b = 12;
	myswap(a, b);//对应的汇编指令：myswap<int> (0EB1442h)
	cout << "a = " << a << "b = " << b << endl;
	double aa = 1.0;
	double bb = 12.6;
	myswap(aa, bb);//对应的汇编指令：myswap<double> (0EB1447h) 
	cout << "aa = " << aa << "bb = " << bb << endl;
	int aaa = 1;
	int bbb = 12;
	myswap(aaa, bbb);// 对应的汇编指令：myswap<int> (0EB1442h) 
	cout << "aaa = " << aaa << "bbb = " << bbb << endl;
	return 0;
}

上面的代码，每次调用函数模板时，我都给出了对应的反汇编代码。

第一次调用时：反汇编代码是myswap<int> (0EB1442h) 。  后续的调用都给出了反汇编指令。

这说明在程序运行时，运行的就是实例化后的模板函数（数据类型已经确定）。

并且，如果某种数据类型的模板函数已经被实例化，那么后续不会再次生成重复的模板函数。

2、模板遵循最佳匹配原则（函数模板可以重载）

模板函数可以重载，程序调用时，如果某个普通函数也满足调用条件，则优先调用普通函数。（因为，调用函数模板时，其实就是生成对应的模板函数，这无疑会与普通函数有重叠，所以无论是从代码效率方面还是语法方面，都应该是优先调用普通函数）

3、函数模板的实例化

模板函数的实例化分为：隐式实例化和显式实例化

隐式实例化：输入参数的数据类型不会产生歧义时，不需要注明具体的数据类型，系统可以自动识别。

就比如刚刚给出的代码中，两个相同数据类型的数进行交换，不需要注明数据类型。

显式实例化：输入参数的数据类型会导致函数模板产生歧义，此时就需要进行显式实例化。

template<class Type1>
Type1 myadd( Type1 x,  Type1 y)
{
	return x + y;
}
int main()
{
	int a = 1;
	int b = 12;
	cout << "sum = " << myadd(a, b)<< endl;  //隐式实例化
	int aa = 1;
	double bb = 2.5;
	cout << "sum = " << myadd<double>(aa, bb) << endl; //显式实例化
	return 0;
}

注意：在进行显式实例化时，其流程是先将参数的数据类型转换为指定的数据类型，再调用函数模板。

也就是说：进行显示实例化时，不能再进行传址（引用）操作，因为引用操作本质是指针，不同数据类型的地址是不能强转的。如下图：