bind的思想实际上是一种延迟计算的思想,将可调用对象保存起来,然后在需要的时候再调用。
std::bind可以说是一个可调用实体的adapter。它可以预先把指定可调用实体的某些参数绑定到已有的变量,产生一个新的可调用实体,这种机制在回调函数的使用过程中颇为有用。
bind的语法格式:
auto newCallable = bind(callable, arg_list);
一个简单的例子:
#include <iostream>
#include <functional>
using namespace std;
int Func(int x, int y)
{
cout << x << " " << y << endl;
}
class A
{
public:
int Func(int x, int y)
{
cout << x << " " << y << endl;
}
};
int main()
{
auto bf1 = std::bind(&Func, 10, std::placeholders::_1);
bf1(20); // same as Func(10, 20)
A a;
auto bf2 = std::bind(&A::Func, a, std::placeholders::_1, std::placeholders::_2);
bf2(10, 20); // same as a.Func(10, 20)
std::function< int(int)> bf3 = std::bind(&A::Func, a, std::placeholders::_1, 100);
bf3(10); // same as a.Func(10, 100)
}
// 注意,对于普通函数Func,前面的&可加可不加;
// 对于成员函数A::Func,前面的&必须加,同时需要传入this参数(上例中是&a),写a或者&a都是可以的。
bf1把一个两个参数的普通函数的第一个参数绑定为10,生成了一个新的一个参数的可调用实体体;
bf2把一个类成员函数绑定了类对象,生成了一个像普通函数一样的新的可调用实体;
bf3把类成员函数绑定了类对象和第二个参数,生成了一个新的std::function对象。
bind的参数里带下划线的数字称为placeholder,表示新函数的第几个参数。std::placeholders是一个占位符。
比如:
auto g = bind(f, a, b, _2, c, _1);
g(X, Y); //same as f(a, b, Y, c, X);
bind默认是传值的,如果想要用引用,需要ref或cref函数,后者是常引用,也都位于functional头文件。