绑定到成员变量

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 >）。 它被传递到内部绑定，该内部绑定取消引用成员指针，从而将 (*i​​t).second 返回到外部绑定，该外部绑定将该值传递给 print_string 方法最终调用：print_string( (*it).second )。

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

Answer 2

boost::bind(&std::pair<U,V>::second, _1);

功能上等同于

std::pair<U,V> p -> p.second

ie。 它是一个将对映射到其第二个成员的函数（对象）。