绑定到成员变量

Question

我很困惑当我们绑定到成员变量时boost :: bind会做什么.通过绑定到成员函数,我们实际上创建了一个函数对象,然后调用它向它传递通过占位符提供或延迟并替换的参数.

但是这个表达在幕后做了什么:

boost::bind(&std::pair::second, _1); 

用什么替代占位符_1？

我从一篇关于boost :: bind的文章中读到这个例子时发现了这个:

void print_string(const std::string& s) {
  std::cout << s << '\n';
}

std::map<int,std::string> my_map;
my_map[0]="Boost";
my_map[1]="Bind";

std::for_each(
  my_map.begin(),
  my_map.end(),
   boost::bind(&print_string, boost::bind(
      &std::map<int,std::string>::value_type::second,_1)));

资源

Answer 1

它在幕后使用成员指针并将其应用于传入的参数。在绑定上下文中它相当复杂，因此这里是一个指向成员使用的简单示例：

int main()
{
   std::pair< int, int > p1 = make_pair( 1, 2 );
   std::pair< int, int > p2 = make_pair( 2, 4 );
   int std::pair<int,int>::*ptr = &std::pair<int,int>::second; // pointer to second member

   std::cout << p1.*ptr << std::endl; // 2 dereference pointer to member 
   std::cout << p2.*ptr << std::endl; // 4 dereference pointer to member
}

在幕后绑定正在编写不同的调用。生成的函子采用 std::map<>::iterator（类型为 std::pair< const key_type, value_type >）的取消引用。该值被传递到内部绑定，该内部绑定取消引用成员指针，从而返回(*it).second到外部绑定，该外部绑定将该值传递给print_string最终调用的方法：print_string( (*it).second )。

(*it)实际上是_1你问的。全部_#都是占位符，也就是说，bind 的结果将是一个函子，它将采用与占位符数量定义的顺序存在的不同占位符一样多的参数。在您给出的示例中，生成的函子采用单个参数_1。