前言
最新看了一些库,大多都写了自己的function类,由于自己长期的不学无术,对此事不太理解。为什么要重新定义一个函数类?
需要函数的时候直接调用函数不就行了?而且函数指针不就够用了么?带着这个两个问题我从从标准库的 std::function学起。查了一些资料,让我明白了这两个问题。
std::function
std::function是在C++11才加入的新特性。为什么要有它呢。它完成type erase(类型清除),删除了什么类型呢?
说点通俗的话,在C++中某种东西给它在中括号内传入一个int类型,它可以再返回给你一个int型,这个东西会是什么呢?
1)普通函数
int func(int a)
{
return a+1;
}
int value = func(3);
2)类的非静态成员函数
class Cclass
{
public:
int func(int a)
{
return a+1;
}
}
Cclass a;
int value = a.func(5);
3)类的静态成员函数
class Cclass2
{
public:
static int func(int a)
{
return a+1;
}
}
int value = Cclass::func(5);
4)重载了()操作运算符的类的对象
struct oper
{
int operator ()(int a)
{
return a+1;
}
};
oper a;
int value = a(5);
5)lambda表达式
auto lm = [](int a)->int{return a+1};
int value = lm(6);
再总结一下:
- 普通函数
- 类的非静态成员函数
- 类的静态成员函数
- 重载了()操作运算符的类的对象
- lambda表达式
std::function的作用就是将上述5种东西统一起来了。
using functorTest = std::function<int(int)>;
using namespace std::placeholders;
functorTest fun1 = func; //适配普通函数
Cclass cc;
functorTest fun2 = std::bind(&Cclass::func, &cc,_1); //类的非静态函数比较特殊,因为需要一个对象来调用。
functorTest fun3 = Cclass2::func; //适配类的静态函数
oper cf;
functorTest fun4 = cf; //适配重载了()操作运算符的类的对象
functorTest fun5 = lm; //适配lambda表达式
可以看到除了类的非静态函数由于必须绑定一个对象,其他几种情况std::function都很容易适配。