目录
1. 函数模板
语法
template<typename T1,typename T2....>
（模板参数可以做返回值、做参数、在函数中使用）
注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)
一个通用Swap函数模板
template<typename T>
void Swap(T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}T代表自定的类型，具体类型传参后编译器对应替换成对应类型，不同类型是不同函数
隐式实例化和显式实例化
不同类型的参数使用函数模板时，称为函数模板的实例化
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
//隐式实例化，让编译器自动推演
//Add(1.0, 2);报错，编译器推演实例化无法推导，一个double一个int无法对应一个T
Add((int)1.0, 2);
Add(1.0, (double)2);
//显式实例化,<>是指定模板参数T的类型，主动告诉编译器
Add<int>(1.1, 2);
Add<double>(1.1, 2);
return 0;
}非模板函数可以和同名的函数模板同时存在（优先调用非模板函数），而且该函数模板还可以被实例化为这个非模板函数
2. 类模板
template<class T1, class T2, ..., class Tn>
class 类模板名
{
// 类内成员定义
};注意事项：
1.函数调用实参传给形参还可以推导类型，但类模板都得显示实例化
2.类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<> 中即可，类模板名字不是真正的类，而实例化的结果才是真正的类
3.类模板不支持分离编译（声明.h，定义.cpp），可以在当前文件声明定义分离，类模板中函数放在类外进行定义时，需要加模板参数列表，申明模板参数
template <class T>//申明模板参数
Vector<T>::~Vector()
{
if(_pData)
delete[] _pData;
_size = _capacity = 0;
}4.模板也可以给缺省参数，给的是类型
3.非类型模板参数
用一个常量作为类/函数模板的一个参数，在类/函数模板中可将该参数当成常量来使用?
template<class T,size_t N = 10>
class Array
{
private:
T _array[N];
};浮点数、类对象以及字符串是不允许作为非类型模板参数，一般允许整形家族。
非类型的模板参数必须在编译期就能确认结果
补充：C11新增array容器，等价于C语言中的数组，其作用是更加严格的越界检查
4.模板特化
通常情况下，使用模板可以实现不同逻辑，但对于一些特殊类型的逻辑可能会得到一些错误的结果，这时需要特殊处理在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。
模板特化中分为函数模板特化与类模板特化
特化注意事项：
1.不能单独存在，必须要先有一个基础的函数模板
2.关键字template后面接一对空的尖括号<>
3.函数名后跟一对尖括号，尖括号中指定需要特化的类型
函数模板特化
实现一个用来进行小于比较的函数模板
template<class T>
bool Less(T left, T right)
{
return left < right;
}可以比较(1,2)，可以比较Date(重载operator<即可),无法比较取地址后日期类的两个类大小
写法：针对Less的特殊处理：当Date*调用Less时，走下面的函数模板特化
template<class T>
bool Less(T left, T right)
{
return left < right;
}
// 对Less函数模板进行特化
template<>
bool Less<Date*>(Date* left, Date* right)
{
return *left < *right;
}类模板特化
与上文同理，例如less/greater仿函数中遇到取地址指针比较，此时特化即可
或者容器中存放的是指针，传入仿函数，内部数据需要解应用进行比较大小的话也需要特化
注意类型匹配
template<class T>
struct less
{
bool operator()(const T& x1, const T& x2) const
{
return x1 < x2;
}
};
// 特化
template<>
struct less<Date*>
{
bool operator()(Date* x1, Date* x2) const
{
return *x1 < *x2;
}
};
类模板全特化
将模板参数列表中所有的参数都确定化
template<class T1, class T2>
class Data
{
public:
Data() { cout << "Data<T1, T2>" << endl; }
private:
T1 _d1;
T2 _d2;
};
template<>
class Data<int, char>//将模板参数列表中所有的参数都确定化
{
public:
Data() { cout << "Data<int, char>" << endl; }
};
int main()
{
Data<int, int> d1;//正常
Data<int, char> d2;//走特化
return 0;
}类模板偏特化
?任何针对模版参数进一步进行条件限制设计的特化版本
template<class T1, class T2>
class Data
{
public:
Data() { cout << "Data<T1, T2>" << endl; }
private:
T1 _d1;
T2 _d2;
};
template<class T1>
class Data<T1, char>
{
public:
Data() { cout << "Data<T1, char>" << endl; }
};
int main()
{
Data<int, char> d1;//走特化
Data<char, char> d2;//走特化，因为<>中包含所需特化参数
Data<char, int> d3;//正常模板参数，因为<>中不包含所需特化参数
return 0;
}更进一步偏特化，模板参数只要是指针就特化为该类特化
//两个参数偏特化为指针类型
template <class T1, class T2>
class Data <T1*, T2*>
{
public:
Data() { cout << "Data<T1*, T2*>" << endl; }
};
?
?模板参数还能是引用，或者引用/指针
