C++——模板

一、泛型编程

  我们在编写程序时，可能会遇到实现同一个功能但是所传的参数不同的函数的场景，举个例子

void Swap(int& a, int& b){
	int tmp = a;
	a = b;
	b = tmp;
}
void Swap(float& a, float& b){
	float tmp = a;
	a = b;
	b = tmp;
}
void Swap(double& a, double& b){
	doubletmp = a;
	a = b;
	b = tmp;
}

  通过上面的例子我们可以看出当我们需要交换两种不同类型的参数时，需要定义多个函数来进行实现，这样很不方便，增加了代码量，因此程序猿们就发明了模板来进行代码的简化。

二、模板

（一）函数模板

  1、函数模板格式

		template <typename/class T1, typename/class T2, ...>

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

  函数模板也可以与普通函数共存

template <class T>
T Add(const T& a, const T& b)
{
	return a + b;
}
int Add(const int& a, const float& b)
{
	return a + b;
}

  2、函数模板的实例化
  程序执行实际上并不是执行这个模板，而是由模板推演出模板参数的实际类型，在编译的时候会将参数的各个实际类型的函数链接到代码段，所以使用模板实际上并不会减少代码量，只是减少程序员书写代码的量。

  （1）隐式实例化

		函数(参数);

int main(){
	int a = 1;
	int b = 2;
	float c = 3;

	Add(a, b);
	
	return 0;
}

  （2）显示实例化

		函数<类型>(参数);

int main(){
	int a = 1;
	int b = 2;
	float c = 3;

	Add<int>(a, b);

	return 0;
}

  3、注意

	（1）隐式实例化时，优先调用普通函数，不会执行函数模板实例化;
	（2）隐式实例化时，普通函数不匹配，再执行函数模板实例化;
	（3）显式实例化，则必定调用函数模板;

（二）类模板

  格式

template <class T>
class sqList{
	T* _array;
	size_t _size;
	size_t _capacity;
};

int main(){
	sqList<int> sl;
	return 0;
}

  注意：

	类模板在创建对象时必须进行显示实例化
	此对象的类型是：sqList<int> 而不是sqList，即类型 != 类名