C++模板初了解

模板是编写与类型无关的通用代码，是泛型编程的基础

1. 泛型编程

2. 函数模板

3. 类模板

1、泛型编程

泛型编程顾名思义：可以通泛的使用，比如我们要使用一个Add加法函数，

void Add(int& a, int& b)
{
	return a + b;
}
void Add(double& a, double& b)
{
	return a + b;
}
void Add(float& a, float& b)
{
	return a + b;
}
...

那我们可以通过函数重载来实现，但是函数重载有不好的地方，那就是 ：
  1、重载的函数只是参数类型不同，代码的复用率较低，而且只要出现新类型，就要增加相应的函数。
  2、代码的可维护性比较低，一个出错可能导致所有重载都出错。

所以c++中提供了模板，我们通过给模板中填充不同的“材料”，来生成我们所需要的不同的代码。

2、函数模板

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参产生函数的指定函数版本。（也就是说，我们在使用的时候，模板会根据我们填充的类型来生成相应的代码）

  函数模板格式：
template<typename T1, typename T2,…typename Tn>
返回值类型 函数名(参数列表)

template<class T>
T Add(const T& left, const T& right)
{
    return left + right;
}

这里的 typename 是用来定义模板参数关键字，也可以用 class 来替换，但是不能用 struct 来替换（C++保留struct是为了兼容C，但是C没有模板，所以没有必要再支持struct声明模板形参）

要注意：模板只是一个蓝图，它本身不是函数，是编译器使用这种方式产生特定类型函数的模板。
  在编译器编译阶段，对于函数模板的使用，编译器根据传入实参的类型来推演生成对应类型的函数以供调用。比如：当传入函数模板的实参的类型是double，那么编译器通过对实参类型的推演，将 T 确定为 double 类型，然后产生一份专门处理 double 类型的代码，对字符类型也是如此 （可以查看汇编语言调用过程，调用不同类型是不同函数）

像上图这样调用模板叫做隐式实例化
但是当这样调用Add(a1, d1)时，编译器不知道如何推演，不知道推演成int 还是double，所以就会报错，这种情况有两种处理方式：
1、用户自己强制类型转换

cout << Add(a1, (int)d1) << endl; //类型强转为int
cout << Add((double)a1, d1) << endl;//类型强转为double

2、显示实例化

cout << Add<double>(a1, d1) << endl;   //显式实例化

还有这种情况需要注意：

//两个加法函数不构成重载
T Add(const T& left, const T& right)
{
    return left + right;
}
int Add(int left, int right)
{
    return left + right;
}

这种，只能在模板推演后可能构成重载，如果用 int 的参数调用加法函数，优先调用 int 型的，而非模板，因为模板还要推演，效率变低。但是显式实例化调用的是模板。

Add(a1, d1);   //调用int型Add
Add<int>(a1, d1);  //调用模板

3、类模板

类模板的定义格式：

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

在STL中的容器都是模板，我们在实例化的时候是这样写的：

Vector<int> s;
list<double> l;
queue<float> q;

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

注意：在类中初始化是按需实例化，就是说当对象没有调用某一个函数时，编译器不会生成这个函数的代码，即使这个函数没有定义完全或者定义出错，编译器也不会报错。但是当对象调用的函数出错，编译器就会报错。