C++模板

1、泛型编程

• 编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。
• 模板分为两种：函数模板 与 类模板

2、函数模板

• 函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定 类型版本。
• 函数模板格式：

template < typename  T1, typename T2 ,..., ftypename Tn>（T为参数类型）
返回值类型 函数名(参数列表){ }

其中，typename 可以用 class 代替 (不能用 struct 代替），但是我们更多用 class

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

• 模板函数的原理：模板它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就 是将本来应该我们做的重复的事情交给了编译器,在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供 调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将 T 确定为double类型，然 后产生一份专门处理double类型的代码，对于字符类型也是如此。

• 函数模板的实例化

  用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。

①：隐式实例化：让编译器根据实参推演模板参数的实际类型

template <class T>
T Add(T& x, T& y)
{
	return x + y;
}
int main()
{
	int a = 10, b = 20;
	double c = 1.2, d = 1.3;
	Add(a, b);//正常运行
	Add(c, d);//正常运行

	Add(a, c);//无法编译，编译器报错
	该语句不能通过编译，因为在编译期间，当编译器看到该实例化时，需要推演其实参类型
	通过实参a1将T推演为int，通实参d1将T推演为double类型，但模板参数列表中只有一个T,
	编译器无法确定此处到底该将T确定为int 或者 double类型而报错
	return 0;

     但是如果想要解决这种问题，也是有办法的：
     1. 用户自己来强制转化
     Add（a,(int)b）;
     2. 使用显式实例化(下面介绍） 
}

②：显式实例化：在函数名后的<>中指定模板参数的实际类型

int main()
{
	int a = 10,b = 10;
	double c = 1.2;
	printf("%d\n", Add<int>(a, c));
	//我在 VS2013 下编译时候报错了
	return 0;
}
如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。
 

• 模板函数的匹配原则

  1.函数模板可以像普通函数一样被重载。

  2.当普通函数和函数模板都符合调用时，会优先选择普通函数调用。

  3.可以通过空模板实参列表(<>)的语法限定编译器只通过模板匹配。

  4.如果函数模板能产生更好的匹配（当普通函数需要隐式转换），使用函数模板。

  5 .模板函数不允许自动类型转换，但普通函数可以进行自动类型转换（隐式转换）。

3、类模板

• 类模板格式

template <class T1,class T2,...,class Tn>
class 类模板名
{
	//类成员定义
}

• 使用类模板函数的说明：类模板中的成员函数既可以类模板内定义，也可以类模板外定义。在类模板类部定义成员函数的方法与普通成员函数的定义方法相同。但是在类模板外定义成员函数时，必须要加模板参数列表，举个例子：

template<class T> 
class Vector 
{
public:
    Vector(size_t capacity = 10)
        : _pData(new T[capacity])
        , _size(0)
        , _capacity(capacity)
     {}
private:
    T* _pData;
    size_t _size;
    size_t _capacity; 
}

// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
template <class T>
size_t Vector<T>::size()
{
   return _size;
}

注意：Vector不是具体的类，是编译器根据被实例化的类型生成具体类的模具

• 类模板的实例化

  类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<> 中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

 // Vector类名，Vector<int>才是类型
  Vector<int> s1;
  s1.PushBack(1);
  s1.PushBack(2);
  s1.PushBack(3);
 
 Vector<double> s2;
 s2.PushBack(1.0);
 s2.PushBack(2.0);
 s2.PushBack(3.0);