非类型模板参数
模板参数有类型形参和非类型形参；
类型形参：使用typename或者class修饰的参数类型名称
非类型形参：一个普通常量作为模板参数形参，不能为浮点数，字符类型以及类对象；
#include<iostream>
using namespace std;
template<class T, size_t N = 64>
class test {
private:
T data = 10;
public:
void print()
{
cout << data << endl << N << endl;
}
};
int main()
{
test<int> a;
a.print();
return 0;
}上面的代码中，T就是典型的类型形参，N为非类型形参，这个N我们在类函数成员中可以直接使用
模板的特化
我们都知道，使用模板能够很方便的做出能够适应各种场景的函数，比如比较大小，加减法等函数：
template<class T>
bool Less(T a, T b)
{
return a < b;
}
int main()
{
cout << Less(1, 2) << endl;
Date a(2022, 7, 8);
Date b(2022, 7, 7);
cout << Less(a, b)<< endl;
return 0;
}
比如这样，就能够比较 int，double 之类的类型，但是有时候我们的类型可能无法满足我们的需求
比如：
我们需要比较的是Date类中的日期大小，但是我们传 Date* 类型进行比较时；
却发现比较的结果实际上是按照地址的大小来进行比较的。
对于这种情况，就需要我们的函数模板的特化出场了；
函数模板特化的步骤
1.有一个基础的函数模板
2.有一个template关键字，后面跟着一个空的<>
3.函数名后跟着一个<>,尖括号中指定需要特化的类型
4.函数形参表必须和模板函数的基础参数类型完全相同，否则会报错
比如上面的 Less 模板函数如何特化？
template<class T>
bool Less(T a, T b)
{
return a < b;
}
template<>
bool Less<Date*>(Date* a, Date* b)
{
return *a < *b;
}我们对比基础函数模板，我们发现，特化的函数模板不仅template后面跟着空的 <> ，而且函数名后还有一个 <> ，并且里面有特化的类型，且形参名都是相同的；
这样我们就能够顺利比较 Date* 类型的参数了；
即然有函数的模板特化，那么就有类的模板特化
类的模板特化和函数的模板特化的规则类似。
类的模板特化
类的模板特化分为两种——全特化和偏特化；
我们先了解简单的全特化
全特化
template<class T1,class T2>
class Test {
public:
Test()
{
cout << "Test(T1,T2)" << endl;
}
private:
T1 a;
T2 b;
};
template<>
class Test<char, char> {
public:
Test()
{
cout << "Test(char,char)" << endl;
}
};
int main()
{
Test<int, int> t1;
Test<char, char> t2;
return 0;
}
全特化和函数特化一样，需要有基础的类模板，并且还得有其他一些条件才能实现特化；
若是创建的类对象和特化的类型一致，就会使用特化的类；
偏特化
所谓偏特化就是指这个类并非全都是指定一个类型，而是有特化有没特化的。
template<class T1>
class Test<T1, int> {
public:
Test()
{
cout << "Test(T1,int)" << endl;
}
};
就比如这个，我们指定特化第二个参数是 int 类型的，因此若是后面使用 int 类型当做第二个模板参数，就会使用这个类型；
int main()
{
Test<int, int> t1;
Test<char, char> t2;
Test<char, int> t3;
return 0;
}
而偏特化里面还有一个更特殊的——针对模板参数进一步条件限制设计出来的特化版本
这个和普通的偏特化不同，它的规则不同，我们先来看看实例；
template<class T1,class T2>
class Test<T1&, T2&> {
public:
Test()
{
cout << "Test(T1&,T2&)" << endl;
}
};我们发现，它的template后不是跟着空 <>,其内部有正常的模板参数；
但是类名后面跟着不同指定特化的类型。
这就是进一步限制条件的特化版本。
模板特化应用示例
比如我们使用一个仿函数用来比较函数时，我们有时单纯靠模板无法满足需求，就需要特化版本来满足需求；
template<class T>
class Less {
bool operator()(const T&x,const T& y)const
{
return x < y;
}比如这个，我们比较普通的类型无所谓，但是若是比较的是 Date* 的类型时，就会比较地址大小导致出错，因此需要特化。
template<>
class Less<Date*>
{
bool operator()(const Date* x, const Date* y)
{
return *x < *y;
}
};
模板分离编译
当我们写模板类的时候需要注意一个点——模板类不能分离编译。
什么是分离编译？就是指模板函数或者模板类的函数声明和定义分别在不同的文件。
而模板函数和模板类的声明和定义在不同位置会导致出错。
这是因为编译器对于每个源文件都是独立编译的，若是分离编译则会导致源文件之间没有交互，导致对应的模板没有实例化，从而出错。
具体解决办法就是将声明定义放在一起，从而避免出错。
