仿函数&模板特化

熬夜耿鬼

已于 2024-07-31 21:46:53 修改

阅读量1.1k

点赞数 19

分类专栏： c++ 文章标签： c++ 模板仿函数

于 2024-06-11 21:28:21 首次发布

本文链接：https://blog.csdn.net/m0_66304647/article/details/139603196

版权

c++ 专栏收录该内容

13 篇文章 0 订阅

订阅专栏

仿函数基本介绍

仿函数的本质就是一个类,此类中
运算符重载了括号()!所以它使用起来
和函数很相似,就叫做仿函数

在标准库的优先级队列的类模板中
有一个缺省参数叫less，

这个less就是一个仿函数,它会将
优先级队列变成大堆,在算法库的
sort函数默认是升序,其实就是用的less
与less对应的仿函数是greater,greater
可以将优先级队列变成小堆,

将sort变成降序（上一节有简单提过）

简单仿函数使用：

注：

放函数内部operator后只能跟()!

仿函数实际用途

使用库中的某些函数时
仿函数能很方便的改变升降序或大小堆

升序

降序

大堆

小堆

优先级队列的适配器参数在仿函数前面,

想要显示传仿函数,先将前面的参数传完整

//仿函数头文件
#include <functional>

Greater/Less实现

class Greater
{
public:
    bool operator()(int x, int y)
    {
        return x > y;
    }
};
class Less
{
public:
    bool operator()(int x, int y)
    {
        return x < y;
    }
};

模板的特化

通常情况下，使用模板可以实现一些与
类型无关的代码,但对于一些特殊类型的
可能会得到一些错误的结果需要特殊处理

比如：实现了一个专门用来进行小于比较的函数模板

template<class T>
bool Less(T left, T right)
{
	return left < right;
}

Less在绝大多数情况下可以比较，但是，

有部分场景不能适用，需要进行特殊化处理

比如这里我传入指针地址过来
这里的比较就会有问题,我想比较
的是指针指向的内容,然而传入指针
的话会比较指针的地址高低,就和数据无关

此时，就需要对模板进行特化。

即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。

模板特化中分为函数模板特化与类模板特化

函数模板特化深度剖析

函数模板的特化步骤：
1. 必须要先有一个基础的函数模板
2. 关键字template后面接一对空的尖括号<>
3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型
4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，

如果不同编译器可能会报一些奇怪的错误。

// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
 return left < right;
}
// 对Less函数模板进行特化
template<>
bool Less<int*>(int* left, int* right)
{
	return *left < *right;//比较指针指向的内容
}

当传参时给函数传了int类型的指针
那么就不会调用第一个函数,而是走
第二个特化的函数,特化也就是特殊处理

注:一般情况下如果函数模板遇到不能处理或者处理有误的类型
为了实现简单通常都是将该函数直接给出

所以实际上函数模板的特化是不常用的

bool Less(int* left, int* right)
{
	return *left < *right;
}

类模板特化深度剖析

模板的全特化

全特化即是将模板参数中所有参数类型都确定，

只要参数是对应的<int,double>类型就会被特化

//模板
template<class T1,class T2>
class Data 
{
public:
	Data() {
		cout << "Data<T1,T2>" << endl;
	}
private:
	T1 _d1;
	T2 _d2;
};

//模板的特化---全特化
template<>
class Data<int,double>
{
public:
	Data() {
		cout << "Data<int,double>" << endl;
	}
};

和函数模板特化一样,特化的部分
要加上template<>作为格式,上面
初始化时,<int,int>类型不会走模板特化
然而<int,char>类型会走模板特化

模板的偏特化

偏特化:
任何针对模版参数进一步进行条件限制设计的特化版本

然而偏特化又有两种表现形式:

部分特化
对参数做进一步限制

部分特化：

第二个参数是double就会被特化

//偏特化
template<class T1>
class Data<T1, double>
{
public:
	Data() {
		cout << "Data<T1,double>" << endl;
	}
};

对参数做进一步限制：

两个参数偏特化为指针类型

//也是偏特化
template<class T1, class T2>
class Data<T1*,T2*>
{
public:
	Data() {
		cout << "Data<T1*,T2*>" << endl;
	}
private:
	T1 _d1;
	T2 _d2;
};

模板分离编译

什么是分离编译：

一个程序（项目）由若干个源文件共同实现，

而每个源文件单独编译生成目标文件，

最后将所有目标文件链接起来形成单一的

可执行文件的过程称为分离编译模式。

模板的分离编译

模板的声明与定义分离开，在头文件中进行声明，源文件中完成定义

会出现错误

// a.h
template<class T>
T Add(const T& left, const T& right);
// a.cpp
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
// main.cpp
#include"a.h"
int main()
{
Add(1, 2);
Add(1.0, 2.0);
return 0;
}

分析：