bind解决函数只能传递一个参数的问题

引言

在C++ lambda表达式目录中的lambda优于普通函数的地方可以看到，有些情况你需要向函数传递两个参数才能完成功能，但是规定了只能传一个参数。所以这时候使用lambda表达式去捕获另一个参数。

但是还有办法使普通函数完成这个功能。

bool check_size(const string word, string::size size){
//该函数使用了两个参数，find_if规定该可调用对象只能传一个参数
	if(word.size() > size){
		return true;
	}else{
		return false;
	}
}

使用bind

bind定义在functional库中，

auto newcallable = bind(callable, arglist);

当我们调用newcallable时，newcallable会调用callable，并传递给它arg_list的参数。

arglist的参数会有像_n的名字，其中n是个整数。这些参数是占位符，表示newcallable的参数。

_1为newcallable的第一个参数，_2表示newcallable的第二个参数。

//check3是一个可调用对象。
//接受checksize的第一个参数 const string ，和一个值3
auto check3 = bind(checksize, _1, 3);

此bind调用只有一个占位符，表示check3只有一个参数。

占位符出现在 arglIst 的第一个位置，表示使用checksize的第一个参数。

//lambda
int size = 3;
auto iter = find_if(words.begin(), words.end(), 
	[size](const string word){ return word.size() > size});

可以改为

int size = 3;
auto iter = find_if(words.begin(), words.end(), 
	bind(checksize, _1,size));

bind还可以改变参数排序

//原函数
void func1(int a, int b,int c){
	cout << a << endl;
	cout << b << endl;
	cout << c << endl; 
}

auto func2 = bind(func1, _3, _2, _1);
func2(1,2,3)

通过这样的调用，func2的第一个参数变成了func1的第三个参数。

func2的第三个参数是func1的第一个参数

绑定参数

int b = 2;
auto func3 = bind(func1, _3, b, _1);

bind的值b是和func1的第二个参数绑定在一起的。

绑定引用参数

默认情况下， bind那些不是占位符的参数被拷贝到bind返回的可调用对象中。

但是，有时候对有些绑定的参数我们希望以引用方式传递，或者是要绑定的参数类型无法拷贝（如流对象）

//lambda
for_each(words.begin(), words.end(), [&os, c](const stirng &s){os << s <<c};);

//用bind
ostream &print(ostream &os, const string &s, char c){
	return os << s <<c;
}

for_each(words.begin(), words.end(), bind(print, os, _1, ' ')); //错误，不能拷贝os
//那在os加个& ?也不是，要使用ref函数
for_each(words.begin(), words.end(), bind(print, ref(os), _1, ' '));