十一、模板进阶
1. 非类型模板参数
模板参数分为类型形参和非类型形参 。类型形参即：出现在模板参数列表中，跟在class或者typename之类的参数类型名称 。非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用 。
// 第一个形参为类型形参，第二个缺省形参为非类型形参 template<class T, size_t N = 10>
#include<iostream> using namespace std; template<class T, size_t N> class arr { // N可以用来分配初始空间 }; int main() { arr<int, 10> a1; arr<int, 1000> a2; return 0; }
在C++20之前，只支持整形做非类型模板参数 。
2. 按需实例化
类模板在实例化这个类的时候，会按需实例化（调用了哪个成员函数就实例化哪个函数） 。
#include<iostream> using namespace std; template<class T, size_t N> class arr { public: T& operator[](size_t index) { // 该函数参数不匹配 size(1); return _array[index]; } const T& operator[](size_t index)const { return _array[index]; } size_t size()const { return _size; } bool empty()const { return 0 == _size; } private: T _array[N]; size_t _size; }; int main() { // 不去调用 operator[] 时，检查不出来错误 arr<int, 10> a1; arr<int, 1000> a2; return 0; }
当调用出错的部分的函数时才能检查出错误：
int main() { // 不去调用 operator[] 时，检查不出来错误 arr<int, 10> a1; arr<int, 1000> a2; // 调用operator[] a1[1]; return 0; }
3. 模板的特化
通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果。比如说我们有这样一个函数模板：
template<class T> bool less(T left, T right) { return left < right; }
该函数模板可以比较大小，但是假如有人错误的传入 地址 当实参，这里必然会出现不确定的结果。如果我们想要传地址也让其结果正确的话，我们就可以使用 模板的特化 。特化就是将模板特殊化，在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。即新增一个特化后的模板。
#include<iostream> using namespace std; // 函数模板 template<class T> bool Less(T left, T right) { return left < right; } // 特化后的模板 template<> bool Less<int*>(int* left, int* right) { return left < right; }
此时，要是实例化的参数更符合特化就使用特化模板进行实例化，否则使用普通的函数模板进行实例化。
函数模板的特化步骤：
- 必须要先有一个基础的函数模板
- 关键字template后面接一对空的尖括号<>
- 函数名后跟一对尖括号，尖括号中指定需要特化的类型
- 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误。
一般情况下如果函数模板遇到不能处理或者处理有误的类型，为了实现简单通常都是将该函数直接给出，即直接实现一个特殊的函数构成重载。
bool Less(Date* left, Date* right) { return *left < *right; }
该种实现简单明了，代码的可读性高，容易书写，因此函数模板不建议特化。
类模板的特化
类模板特化也分为 全特化 和 偏特化 。
全特化即是将模板参数列表中所有的参数都确定化。偏特化是任何针对模版参数进一步进行条件限制设计的特化版本
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; } private: int _d1; char _d2; }; // 半特化/偏特化 template<class T> class Data<T, char> // 不是全特化的特化 { public: Data() { cout << "Data<T, char>" << endl; } private: int _d1; char _d2; };
类模板的偏特化还可以这样使用：
//两个参数偏特化为指针类型 template <class T1, class T2> class Data<T1*, T2*> { public: Data() { cout << "Data<T1*, T2*>" << endl; } private: T1 _d1; T2 _d2; };
偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本 。
4. 模板的分离编译
模板不建议声明和定义分离 。当声明和定义分离时，声明处有调用，所以知道模板实例化的类型，但是没有实现功能，定义处没有调用，可以实现功能但是不知道实例化的类型，所以定义处在编译时，并不会生成地址，导致链接时找不到地址从而产生链接错误。
解决方法有两种：①模板定义的位置显式实例化。（这种方法不实用，不推荐使用）②不进行声明和定义分离，将定义也放在.h头文件里 。
