知识前导

头文件

#include <functional>

bind介绍

bind函数：

使用规则：

auto newCallable = bind(callable, arg_list);

bind简述：

bind函数看做一个通用的函数适配器，它接受一个可调用对象callable，生成一个新的可调用对象newCallable。

它可以把原可调用对象callable的某些参数预先绑定到给定的变量中（也叫参数绑定），然后产生一个新的可调用对象newCallable。

网络编程中， 经常要使用到回调函数。 当底层的网络框架有数据过来时，往往通过回调函数来通知业务层。 这样可以使网络层只专注于 数据的收发， 而不必关心业务。

在c语言中， 回调函数的实现往往通过函数指针来实现。 但是在c++中 ， 如果回调函数是一个类的成员函数。这时想把成员函数设置给一个回调函数指针往往是不行的。

因为类的成员函数，多了一个隐含的参数this。 所以直接赋值给函数指针肯定会引起编译报错。

placeholders

placeholders,占位符。表示新的函数对象中参数的位置。

当调用新的函数对象时，新函数对象会调用被调用函数，并且其参数会传递到被调用函数参数列表中持有与新函数对象中位置对应的占位符。

举个例子：

void function(arg1,arg2,arg3,arg4,arg5)
{//do something
}
auto g = bind(function,a,b,_2,c,_1);

新的函数对象：g
被调用函数：function

当调用函数对象g时候，函数对象g会调用function函数，并把其参数传给function函数，g的第一个参数会传给function的持有占位符_1的位置，即arg5。第二个参数会传给function的持有占位符_2的位置，即arg3。

void g(X,Y);

相对于调用下面函数

function(function,a,b,Y,c,X);

其中的arg1,arg2,arg4已经被绑定到a,b,c上。

---

placeholders是一个命名空间，其本身定义在std命名空间中。

placeholder中有名字_n (1,2,3,4,……n)。为了使用这些名字，两个命名空间都必须写上。例如：

using namespace std::placeholders;
using namespace std;

与bind函数一样，placeholders命名空间也定义在functional中。

用法探究

单个参数

#include <iostream>
#include <functional>using namespace std::placeholders;
using namespace std;void fun1(int n1, int n2, int n3)
{cout << n1 << " " << n2 << " " << n3 << endl;
}int main()
{//原fun1接受三个参数，其中绑定了2个，第三个参数由新的可调用对象指定  auto f1 = bind(fun1, 11, 22, _1);f1(33);
}

运行结果为：

多个参数

#include <iostream>
#include <functional>using namespace std::placeholders;
using namespace std;void fun1(int n1, int n2, int n3,int n4)
{cout << n1 << " " << n2 << " " << n3<< " " << n4 << endl;
}int main()
{//_1表示这个位置是新的可调用对象的第一个参数的位置//_2表示这个位置是新的可调用对象的第二个参数的位置  auto f1 = bind(fun1, _2, 22, _1,33);f1(44, 55);
}

运行结果为：

成员函数

注意：类成员函数需要绑定该类的this指针

例如：

bind(&类::类中函数(callback), &当前对象的this指针, arg_list);

代码案例：

#include <iostream>
#include <functional>using namespace std::placeholders;
using namespace std;class A
{
public:void print(int n1, int n2, int n3){cout << n1 << " " << n2 << " " << n3 << endl;}
};int main()
{A a;// 类成员函数需要绑定该类的this指针  auto f1 = bind(&A::print, &a, _2, 22, _1);f1(44, 55);
}

运行结果为：