一.std::function
C++中的可调用对象虽然具有比较统一操作形式(除了类成员指针之外,都是后面加括号进行调用),但定义方法五花八门。为了统一泛化函数对象,函数指针,引用函数,成员函数的指针的各种操作,让我们可以按更统一的方式写出更加泛化的代码,C++11推出了std::function。
std::function是可调用对象的包装器。它是一个类模板,可以容纳除了类成员(函数)指针之外的所有可调用对象。通过指定它的模板参数,它可以用统一的方式处理函数,函数对象,函数指针,并允许保存和延迟执行它们。
#1include <iostream>
#include <functional>
using namespace std;
void func(void){
cout << __FUNCTION__ << "(" << a << ") ->: ";
}
class Foo
{
public:
static int foo_func(int a){
cout << __FUNCTION__ << "(" << a << ") ->: ";
return a;
}
};
class bar
{
public:
int operator()(int a){
cout << __FUNCTION << "(" << a << ") ->: ";
return a;
}
};
int main(){
//绑定一个普通函数
std::function<void(void)> fry = func;
fr1();
//绑定一个类的静态成员函数
std::function<int(int)> fr2 = Foo::foo_func;
cout << fr2(123) << endl;
//绑定一个仿函数
Bar bar;
fr2 = bar;
cout << fr2(123) <<endl;
return 0;
}
std::function的使用方法:我们给std::function填入合适的函数签名(即一个函数类型,只需要包括返回值和参数表)之后,它就变成了一个可以容纳所有这一类调用方式的“函数包装器”。
#include <iostream>
#include <functional>
using namespace std;
class A
{
public:
A(const std::function<void()>& f){
:callback_(f){}
void notify(void){
callback_();
}
private:
std::function<void()> callback_;
};
class Foo
{
public:
void operator()(void){
cout << __FUNCTION__<< endl;
}
};
int main(){
Foo foo;
A aa(foo);
aa.notify();
return 0;
}
从上面的例子看,std::function可以取代函数指针的作用。因为它可以保存函数延迟执行,所以比较适合作为回调函数,也可以把它看做类似于C#中特殊的委托(只有一个成员的委托)。
#include <iostream>
#include <functional>
using namespace std;
void call_when_even(int x, const std::function<void(int)>& f){
if(!(x & 1)){
f(x);
}
}
void output(int x){
cout << x <<" ";
}
int main(void){
for(int i=0;i<10;i++){
call_when_even(i, output);
}
cout<<endl;
return 0;
}
std::function还可以作为函数入参,这样可以在函数外部控制函数的内部行为了,让我们的函数变得更加灵活。
二.std::bind绑定器
std::bind用来将可调用对象与其参数一起进行绑定。绑定后的结果可以使用std::function进行保存,并延迟调用到任何我们需要的时候。通俗来讲,它主要有两大作用:
1).将可调用对象与其参数一起绑定成一个仿函数。
2).将多元(参数个数为n,n>1)可调用对象转成一元或者(n-1)元可调用对象,即只绑定部分参数。
function模板类和bind模板函数,都可以实现类似函数指针的功能,但却却比函数指针更加灵活,特别是函数指向类的非静态成员函数时。
1).std::function可以绑定到全局函数/类静态成员函数(类静态成员函数与全局函数没有区别)。
2).绑定到类的非静态成员函数,则需要使用std::bind。
#include <iostream>
#include <functional>
using namespace std;
void call_when_even(int x, const std::function<void(int)>& f){
if(!(x & 1)){
f(x);
}
}
void output(int x){
cout << x << " ";
}
void output_add_2(int x){
cout << x +2 << " ";
}
int main(){
{
auto fr = std::bind(output, std::placeholders::_1);
for(int i=0;i<10;i++){
call_when_even(i, fr);
}
cout << endl;
}
{
auto fr = std::bind(output_add_2, std::placeholders::_1);
for(int i=0;i<10;i++){
call_when_even(i, fr);
}
cout << endl;
}
return 0;
}
"std::placeholders::_1"是一个占位符对象,用于表示当函数output(output_add_2)通过函数fr进行调用时,函数fr的第一个参数在函数output(output_add_2)的参数列表中的位置。
下面是两个样例:
#include <iostream>
#include <functional>
using namespace std;
class A
{
public:
int i_=0;
void output(int x, int y){
cout << x << " " << y <<endl;
}
};
int main(){
A a;
std::function<void(int, int)> fr = std::bind(&A::output, &a, std::placeholders::_1,std::placeholders::_2);
fr(1,2);
std::function<int&(void)> fr_i = std::bind(&A::i_, &a);
fr_i() = 123;
cout << a.i_ << endl;
return 0;
}
//使用组合bind函数,找出集合中大于5小于10的元素个数
#include <iostream>
#include <functional>
using namespace std;
auto f = std::bind(std::logical_and<bool>(),std::bind(std::greater<int>(),_1,5),std::bind(std::less_equal<int>(), _1, 10));
int main(){
set<int> se={1,2,3,4,5,6,7,8,9};
int count = std::count_if(se.begin(), se.end(), f);
cout << count <<endl;
return 0;
}
std::bind需要注意的一些事项:(http://www.cnblogs.com/slysky/p/3822640.html)
1).std::bind预先绑定的参数需要传具体的变量或值进去,对于预先绑定的参数,是pass-by-value的
2).对于不事先绑定的参数,需要传std::placeholders进去,从_1开始,依次递增。placeholder是pass-by-reference的
3).bind的返回值是可调用实体,可以直接赋给std::function对象
4).对于绑定的指针、引用类型的参数,使用者需要保证在可调用实体调用之前,这些参数是可用的
5).类的this可以通过对象或者指针来绑定