在使用模板的时候,我们往往需要针对特殊的类型进行特殊的处理,特殊情况特殊处理,因此就产生了特化模板这个概念
理解起来很简单,STL库学过C++的应该没少用,遇到问题去看源码一看一堆知识点,sort排序的话是借助比较器对参数进行比较的,如果比较的对象是pair这种数据的话呈现出的效果需要和一般数据类型不同,使用sort的时候参数可以用两个也可以用三个,这些都是借助特化实现的
泛型版本
sort泛型模板,_RanIt需要是迭代器类型,_Pr需要是比较器类型,类型检测放代码里了,sort的参数瞎传会在运行期间报错,提示没有可用的重载
template <class _RanIt, class _Pr>
_CONSTEXPR20 void sort(const _RanIt _First, const _RanIt _Last, _Pr _Pred) {
// order [_First, _Last)
_Adl_verify_range(_First, _Last);
const auto _UFirst = _Get_unwrapped(_First);
const auto _ULast = _Get_unwrapped(_Last)