1. 关于std::function()
在C语言的时代,我们可以使用函数指针来吧一个函数作为参数传递,这样我们就可以实现回调函数的机制。到了C++11以后在标准库里引入了std::function模板类,这个模板概括了函数指针的概念
函数指针只能指向一个函数,而std::function对象可以代表任何可以调用的对象,比如说任何可以被当作函数一样调用的对象。
当你创建一个函数指针的时候,你必须定义这个函数签名(表征这个函数的入参,返回值等信息);同样的,当你创建一个std::function对象的时候,你也必须指定它所代表的可调用对象的函数签名。这一点可以通过std::function的模板参数来实现。
举个例子来说,如果要定义一个std::function对象func,这个对象可以表示任何有如下函数签名的可调用对象的,
bool(const std::unique_ptr<Widget>)&, // C++11里面用来比较两个
const std::unique_ptr<Widget>&) //std::unique_ptr<Widget>对象的函数签名
你可以这么写,
std::function<bool(const std::unique_ptr<Widget>&,
const std::unique_ptr<Widget>&)> func;
这是因为lambda表达式产生了可调用的对象,这个对象这里称做一个闭包(closure),可以保存在std::function对象里面。
closure(闭包)的定义是,一个函数和它所引用的非本地变量(非lambda表达式内部定义的变量)的一个集合。
2. 使用std::function作为函数入参
2.1 基于传值的方式传递参数
参看下面一段代码,实现了一个注册回调函数的机制,
#include <fonctional>
void registerCallBack(std::function<void()>);
入参std::function<void()>是一个模板类对象,它可以用一个函数签名为void()的可调用对象来进行初始化;上述实现里面是一个传值调用。我们来看一下它的调用过程,
// 方法(A)
registerCallBack([=]{
.... // 回调函数的实现部分
})
这里使用了lambda表达式作为函数的入参,正如前面所说的lambda表达式会生成一个匿名的闭包(closure),基于这个闭包构造了一个std::function<void()>的对象,然后通过传值调用的方式把这个对象传递registerCallBack函数中使用。
2.2 基于引用的方式传递参数
当然我们还可以如下实现这个注册函数,入参通过const引用的方式传递,这里的引用必须是const的,这是因为调用registerCallBack函数的地方生成了一个临时的std::function()对象,是一个右值,否则编译会报错。
//方法(B)
void registerCallBack(std::function<void()> const&)
这两者的区别就在于,在registerCallBack函数内部怎么使用这个入参,如果只是简单的调用一下std::func()类,那么两种都没有问题,可能使用引用的效率更高;如果register函数内部需要保存这个std::func(),并用于以后使用,那么方法A直接保存没有问题,方法B就必须做一次拷贝,否则方法B中,当临时的对象销毁时,有可能出现引用悬空的问题。
2.3 传值方式下的std::function对象保存
如果我们要在registerCallBack函数内部保存这个传入的function对象,我们可以使用转移操作std::move,这样的效率更高,
class CallBackHolder
{
public:
void registerCallBack(std::function<void()> func)
{
callback = std::move(func);
}
private:
std::function<void()> callback;
}
3. 类的成员函数作为函数入参
类的成员函数都会默认有个隐藏的this指针,所以不像普通的函数直接作为入参就可以了。
3.1 使用std::bind()和std::function来实现
std::function是通用的多态函数封装器,它的实例可以存储、复制以及调用任何可以调用的目标:函数,lambda表达式/bind表达式或其他函数对象,还有指向成员函数指针和指向数据成员指针;
std::bind接受一个函数(或者函数对象),生成一个重新组织的函数对象;
看下面一个例子,classA提供了一个注册函数,用来注册一个回调函数
class classA
{
typedef std::function<void(int i)> callback_t;
...
void registCb(callback_t func)
{cbHandle = std::move(func);}
private:
callback_t cbHandle;
};
另一个类classB需要注册自己的一个成员函数作为回调函数到classA中,这里就可以使用std::bind函数来实现,
class classB
{
public:
classB(classA& cA)
{
cA.registCb(std::bind(&classB::handle, this, std::placeholders::_1));
}
};
- bind函数中显示的传递classB的this指针作为第一个参数给回调函数;
- std::placeholders:_1代表一个占位符,用于回调函数显式的入参;
Effective Modern C++中专门有一节解释过std::bind的方式比较繁琐,并且有时侯会有一些局限性,所以在引入了lambda表达式后就可以用lambda表达式来替代std::bind实现函数回调注册。
3.2 使用lambda表达式实现
使用lambda表达式的方式可以简化这一个过程,参看如下一段代码,classB注册一个成员函数作为回调函数到classA中,classA会保存这个回调函数(std::function对象)到成员变量中,用于后面使用,
#include <iostream>
#include <functional>
#include <memory>
class classA
{
typedef std::function<void(int i)> callback_t;
public:
classA() {}
~classA() {}
void handle(int i)
{
std::cout << "classA::handle" << std::endl;
cbHandle(i);
}
void registCb(callback_t func)
{cbHandle = std::move(func);}
private:
callback_t cbHandle;
};
class classB
{
public:
classB(classA& cA)
{
cA.registCb([this](int i){classB::handle(i);});
}
~classB() {}
void handle(int i)
{
std::cout << "classB, handle message" << i << std::endl;
}
};
int main()
{
classA testa;
classB testb(testa);
testa.handle(10);
}
- lambda表达式中捕获了classB的this指针
- 使用std::move的方式保存function对象到classA中