C++ bind参数绑定

       对于那种只在一两个地方使用的简单操作，lambda表达式是最有用的。如果我们需要在很多地方使用相同的操作，通常应该定义一个函数，而不是多次编写相同的lambda表达式。类似的，如果一个操作需要很多语句才能完成，通常使用函数更好。
       如果lambda的捕获列表为空，通常可以用函数来代替它。既可以用一个lambda，也可以用函数isShorter来实现将vector中的单词按长度排序。类似的，对于打印vector内容的lambda，编写一个函数来替换它也是很容易地事情，这个函数只需要接受一个string并在标准输出上打印它既可。
       但是，对于捕获局部变量的lambda，用函数来替换它就不是那么容易了。例如，我们在find_if调用中的lambda比较一个string和一个给定大小。可以很容易地编写一个完成同样工作的函数：

bool check_size(const string &s,string::size_type sz)
{
     return s.size()>=sz;
}

       但是，我们不能用这个函数作为find_if的一个参数。find_if接受一个一元谓词。因此传递给find_if的可调用对象必须接受单一参数。biggies传递给find_if的lambda使用捕获列表来保存sz。为了用check_size来代替lambda,必须解决如何向sz形参传递一个参数的问题。
 

标准库bind函数
       解决向check_size传递一个长度参数的问题，方法是使用一个新的命名为bind的标准库函数，它定义在头文件functional中。可以将bind函数看做一个通用的函数适配器，它接受一个可调用对象，生成一个新的可调用对象来“适应”原对象的参数列表。
调用bind的一般形式为：

auto newCallable=bind(callable,arg_list);

其中，newCallable本身是一个可调用对象，arg_list是一个逗号分隔的参数列表，对应给定的callable的参数。即，当我们调用newCallable时，newCallable会调用callable,并传递给arg_list中的参数。
      arg_list中的参数可能包含形如_n的名字，其中n是一个整数。这些参数时“占位符”，表示newCallable的参数，它们占据了传递给newCallable的参数的“位置”。数值n表示生成的可调用对象中参数的位置：_1为newCallable的第一个参数，_2为第二个参数，以此类推。
 

绑定check_size的sz参数
       作为一个简单的例子，我们将使用bind生成一个调用check_size的对象，如下所示，它用一个定值作为其大小参数来调用check_size:

//check6是一个可调用对象，接受一个string类型的参数
//并用此string和值6来调用check_size
auto check6=bind(check_size,_1,6);

       此bind调用只有一个占位符，表示check6只接受单一参数。占位符出现在arg_list的第一个位置，表示check6的此参数对应check_size的第一个参数。此参数是一个const string&。因此，调用check6必须传递给它一个string类型的参数，check6会将此参数传递给check_size。

 string s="hello";
 bool b1=check6(s);//check6(s)会调用check_size(s,6);

使用bind，我们可以将原来基于lambda的find_if调用：

auto wc=find_if(words.begin(),words.end(),[sz](const string &a))

替换为如下使用check_size的版本：

auto wc=find_if(words.begin(),words.end(),bind(check_size,_1,sz));

       此bind调用生成一个可调用对象，将check_size的第二个参数绑定到sz的值。当find_if对words中的string调用这个对象时，这些对象会调用check_size，将给定的string和sz传递给它。因此，find_if可以有效地对输入序列中每个string调用check_size,实现string的大小与sz的比较。
 

使用placeholders名字
      名字_n都定义在一个名为placeholders的命名空间中，而这个命名空间本身定义在std命名空间中。为了使用这些名字，两个命名空间都要写上。与我们的其他例子类似，对bind的调用代码假定之前已经恰当地使用了using声明。例如，_1对应的using声明为：

using std::placeholders::_1;

此声明说明我们要使用的名字_1定义在命名空间placeholders中，而此命名空间有定义在命名空间std中。
       对每个占位符名字，我们都必须提供一个单独的using声明。编写这样的声明很烦人，也很容易出错。可以使用另外一种不同形式的using语句，而不是分别声明每个占位符，如下所示：

using namespace namespace_name;

这种形式说明希望所有来自namespace_name的名字都可以在我们的程序中直接使用。例如：

using namespace std::placeholders;

使得由placeholders定义的所有名字都可以使用。与bind函数一样，placeholders命名空间也定义在functional头文件中。
 

bind的参数
       可以用bind绑定给定可调用对象中的参数或重新安排其顺序。例如，假定f是一个可调用对象，它有5个参数，则下面对bind的调用：

 //g是一个有两个参数的可调用对象
 auto g=bind(f,a,b,_2,c,_1);

       生成一个新的可调用对象，它有两个参数，分别用占位符_2和_1表示。这个新的可调用对象将它自己的参数作为第三个和第五个参数传递给f。f的第一个、第二个和第四个参数分别被绑定到给定的值a、b和c上。
       传递给g的参数按位置绑定到占位符。即，第一个参数绑定到_1,第二个参数绑定到_2。因此，当我们调用g时，其第一个参数将被传递给f作为最后一个参数，第二个参数将被传递给f作为第三个参数。实际上，这个bind调用会将
       g(_1,_2)
映射为
       f(a,b,_2,c,_1)
即，对g的调用会调用f,用g的参数代替占位符，再加上绑定的参数a,b和c。例如，调用g(X,Y)会调用
       f(a,b,Y,c,X)
 

用bind重排参数顺序
下面是用bind重排参数顺序的一个具体例子，我们可以用bind颠倒isShorter的含义：

 //按单词长度由短至长排序
 sort(words.begin(),words.end(),isShorter);
 //按单词长度由长至短排序
 sort(words.begin(),words.end(),bind(isShorter,_2,_1));

       在第一个调用中，当sort需要比较两个元素A和B时，它会调用isShorter(A,B)。在第二个对sort的调用中，传递给isShorter的参数被交换过来了。因此，当sort比较两个元素时，就好像调用isShorter(B,A)一样。
 

绑定引用参数
       默认情况下，bind的那些不是占位符的参数被拷贝到bind返回的可调用对象中。但是，与lambda类似，有时对有些绑定的参数我们希望以引用方式传递，或是要绑定参数的类型无法拷贝。
例如，为了替换一个引用方式捕获ostream的lambda:

//os是一个局部变量，引用一个输出流
//c是一个局部变量，类型为char
for_each(words.begin(),words.end(),[&os,c](const string &s){os<<s<<c;})

可以很容易地编写一个函数，完成相同的工作：

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

但是，不能直接用bind来代替对os的捕获：

 //错误：不能拷贝os
 for_each(words.begin(),words.end(),bind(print,os,_1,' '));

        原因在于bind拷贝其参数，而我们不能拷贝一个ostream。如果我们希望传递给bind一个对象而又不拷贝它，就必须使用标准库ref函数：

for_each(words.begin(),words.end(),bind(print,ref(os),_1,' '));

       函数ref返回一个对象，包含给定的引用，此对象是可以拷贝的。标准库中还有一个cref函数，生成一个保存const引用的类。与bind一样，函数ref和cref也定义在头文件functional中。