类模版std::function是一种通用、多态的函数封装。std::function的实例可以对任何可以调用的目标实体进行存储、复制、和调用操作,这些目标实体包括普通函数、Lambda表达式、函数指针、以及其它函数对象等。std::function对象是对C++中现有的可调用实体的一种类型安全的包裹(我们知道像函数指针这类可调用实体,是类型不安全的)。
通常std::function是一个函数对象类,它包装其它任意的函数对象,被包装的函数对象具有类型为T1, …,TN的N个参数,并且返回一个可转换到R类型的值。std::function使用 模板转换构造函数接收被包装的函数对象;特别是,闭包类型可以隐式地转换为std::function。
最简单的理解就是:
通过std::function对C++中各种可调用实体(普通函数、Lambda表达式、函数指针、以及其它函数对象等)的封装,形成一个新的可调用的std::function对象;让我们不再纠结那么多的可调用实体。
其中Lambda表达式也是C++11新增的内容。具体还不了解,应该类似于C Sharp中的Lambda表达式吧!
//代码出自链接:http://www.jellythink.com/archives/771
#include <functional>
#include <iostream>
using namespace std;
std::function< int(int)> Functional;
// 普通函数
int TestFunc(int a)
{
return a;
}
// Lambda表达式
auto lambda = [](int a)->int{ return a; };
// 仿函数(functor)
class Functor
{
public:
int operator()(int a)
{
return a;
}
};
// 1.类成员函数
// 2.类静态函数
class TestClass
{
public:
int ClassMember(int a) { return a; }
static int StaticMember(int a) { return a; }
};
int main()
{
// 普通函数
Functional = TestFunc;
int result = Functional(10);
cout << "普通函数:"<< result << endl;
// Lambda表达式
Functional = lambda;
result = Functional(20);
cout << "Lambda表达式:"<< result << endl;
// 仿函数
Functor testFunctor;
Functional = testFunctor;
result = Functional(30);
cout << "仿函数:"<< result << endl;
// 类成员函数
TestClass testObj;
Functional = std::bind(&TestClass::ClassMember, testObj, std::placeholders::_1);
result = Functional(40);
cout << "类成员函数:"<< result << endl;
// 类静态函数
Functional = TestClass::StaticMember;
result = Functional(50);
cout << "类静态函数:"<< result << endl;
return 0;
}
关于可调用实体转换为std::function对象需要遵守以下两条原则:
转换后的std::function对象的参数能转换为可调用实体的参数;
可调用实体的返回值能转换为std::function对象的返回值。
std::function对象最大的用处就是在实现函数回调(实际工作中就是用到了这一点),使用者需要注意,它不能被用来检查相等或者不相等,但是可以与NULL或者nullptr进行比较。
c++11之std::bind
作用:
对可调用实体(函数指针,仿函数,lambda表达式)的一种封装,这种封装能起到预绑定参数的作用。
使用示例:
#include <iostream>
using namespace std;
void global_func(int a){//全局函数
cout<<"call global_func:"<<a<<endl;
}
auto labmda = [](int a){cout<<"lambda:"<<a<<endl;};
class ClassA{
public:
void member_func(int a){//类成员函数
cout<<"call ClassA::member_func:"<<a<<endl;
}
static void static_member_func(int a){//类静态函数
cout<<"call ClassA::static_member_func:"<<a<<endl;
}
};
class Functor{//仿函数
public:
void operator()(int a){
cout<<"call Functor()"<<a<<endl;
}
};
int main(int argc, const char * argv[]) {
function<void(int)> func;
func = global_func;
func(10);
auto bindGlobalFunc = std::bind(global_func, 10);
bindGlobalFunc();
func = labmda;
func(11);
auto bindLabmdaFunc = std::bind(labmda, 11);
bindLabmdaFunc();
Functor testFunctor;
func = testFunctor;
func(12);
auto bindFunctorFunc = std::bind(testFunctor, 12);
bindFunctorFunc();
ClassA a_object;
func = std::bind(&ClassA::member_func, &a_object, std::placeholders::_1);
func(13);
auto bindClassMemberFunc = std::bind(&ClassA::member_func,&a_object, 13);
bindClassMemberFunc();
func = std::bind(&ClassA::static_member_func, std::placeholders::_1);
func(14);
auto bindClassStaticFunc = std::bind(&ClassA::static_member_func, 14);
bindClassStaticFunc();
return 0;
}
输出结果:
call global_func:10
call global_func:10
lambda:11
lambda:11
call Functor()12
call Functor()12
call ClassA::member_func:13,
call ClassA::member_func:13
call ClassA::static_member_func:14
call ClassA::static_member_func:14
注意事项:
-
预绑定的参数是以
值传递
的形式 -
不预绑定的参数要用
std::placeholders
(占位符)的形式占位,从_1
开始,依次递增,是以引用传递
的形式 -
std::bind
的返回值是可调用实体,可以直接赋给std::function
-
对于绑定的指针,引用类型参数,调用者需保证在调用之前生命周期还存在
-
std::placeholders
表示新的可调用对象的第几个参数和原函数的第几个参数进行匹配
bind原理图释
1. bind 可以用来将用户提供的需要一个参数的函数转换成不需要参数的函数对象。绑定的值(在这个例子中是123)存储在函数对象内并且会被自动传递给用户指定的函数:
2. 参数绑定也可以用于将类成员函数转换成零参数的函数对象。猿类们都知道,非静态成员函数需要一个隐式的 this 参数。这意味着需要绑定一个合适的类实例指针到这个函数对象:
3. 相应地,隐式的 this 指针也可以显式地传递给需要一个参数的函数对象:
4. 函数对象经常同时使用提前绑定的参数和调用时才提供的参数。这个可以用成员函数来实现:
5. 当然也可以使用非成员函数:
6. 有些时候函数对象被调用时会提供多余的参数,而这些参数是目标函数不需要的。bind 会自动忽略这些多余的参数:
7. 这些多余的参数不需要一定在函数对象签名的最后:
8. 最后, bind 还允许重新组织函数对象的参数顺序: