// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
return left < right;
}
// 对Less函数模板进行特化
template<>
bool Less<Date*>(Date* left, Date* 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;
};
void TestVector()
{
Data<int, int> d1;
Data<int, char> d2;
}

        我们看到我们类模板的全特化与函数模板的特化区别就是我们类名后没有<>直接是跟着我们的类成员的。并且我们的特化类的<>中写出来我们初始化的模板中写了两种参数类型，所以我们在特化的成员中可以写出两种参数类型。这就是全特化，将初始模板的参数成员全部都改掉。就是我们前面说的将模板参数中的参数全部确定。

        那么我们的全特化是将模板参数中的参数全部确定，那么我们的偏特化就是参数不全部确定。

//半特化 / 偏特化（）半特化不是特化一半
//1、将部分模板参数列表中的一部分参数特化
template<class T1>
class Data<T1, char>
{
public:Data() { cout << "Data<T1, char>" << endl; }
};//2、偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本
//只要T1 和 T2是指针就走这个 -- 针对指针特殊化处理
template<class T1, class T2>
class Data<T1*, T2*>
{
public:Data() { cout << "Data<T1*, T2*>" << endl; }
};template<class T1, class T2>
class Data<T1&, T2&>
{
public:Data() { cout << "Data<T1&, T2&>" << endl; }
};int main()
{Data<int, int> d1;Data<int, double> d2;//只要第二个是char都会匹配：半特化/偏特化Data<int, char> d3;Data<char, char> d4;//只要是两个指针Data<int*, int*> d5;Data<int*, char*> d6;Data<int*, string*> d7;Data<int*, void*> d8;//void不是类型，但是void*是一个类型，void*是不能解引用不能++Data<int*, int> d9;//匹配原生的指针Data<int&, char&> d10;return 0;
}

        像我上面的这个例子一样我们我们偏特化就是将将部分模板参数列表中的一部分参数特化。如果全部特化的话，就是我们前面的全特化了，但是我们不用值特化一半，这个没有明确规定，只要是有特化和未特化的那么就是偏特化了。

         我相信很多人都在想我们特化有什么用啊，那么大家看看下面的这个例子后在思考一下：

#include<vector>
#include<algorithm>
template<class T>
struct Less
{
bool operator()(const T& x, const T& y) const
{
return x < y;
}
};
int main()
{
Date d1(2022, 7, 7);
Date d2(2022, 7, 6);
Date d3(2022, 7, 8);
vector<Date> v1;
v1.push_back(d1);
v1.push_back(d2);
v1.push_back(d3);
// 可以直接排序，结果是日期升序
sort(v1.begin(), v1.end(), Less<Date>());
vector<Date*> v2;
v2.push_back(&d1);
v2.push_back(&d2);
v2.push_back(&d3);
// 可以直接排序，结果错误日期还不是升序，而v2中放的地址是升序
// 此处需要在排序过程中，让sort比较v2中存放地址指向的日期对象
// 但是走Less模板，sort在排序时实际比较的是v2中指针的地址，因此无法达到预期
sort(v2.begin(), v2.end(), Less<Date*>());
return 0;
}

          通过观察上述程序的结果发现，对于日期对象可以直接排序，并且结果是正确的。但是如果待排序元素是指针，结果就不一定正确。因为：sort最终按照Less模板中方式比较，所以只会比较指针，而不是比较指针指向空间中内容，此时可以使用类版本特化来处理上述问题，就像下面的代码一样

// 对Less类模板按照指针方式特化
template<>
struct Less<Date*>
{
bool operator()(Date* x, Date* y) const
{
return *x < *y;
}
};

        所以我们特化就是在面对一些情况的时候是很有作用的哦。

总结

      好了，上面就是我们这篇博客想与大家分享的模板进阶了，我们这篇博客其实主要讲模板参数中不一定是   参数类型模板，然后就是我们的特化，以及特化的使用。