std::bind实现原理

(原文:http://blog.think-async.com/2010/04/bind-illustrated.html)

https://blog.csdn.net/xiexievv/article/details/50517964

本文解释了bind 是如何工作的。为了清晰，我对图中的语法作了一些简化（例如，省略函数调用操作符的参数类型），并且简化了 bind 的实现.

1. bind 可以用来将用户提供的需要一个参数的函数转换成不需要参数的函数对象。绑定的值（在这个例子中是123）存储在函数对象内并且会被自动传递给用户指定的函数：

1. 参数绑定也可以用于将类成员函数转换成零参数的函数对象。猿类们都知道，非静态成员函数需要一个隐式的 this 参数。这意味着需要绑定一个合适的类实例指针到这个函数对象：
   

2. 相应地，隐式的 this 指针也可以显式地传递给需要一个参数的函数对象：
   

3. 函数对象经常同时使用提前绑定的参数和调用时才提供的参数。这个可以用成员函数来实现：
   

4. 当然也可以使用非成员函数：
   

5. 有些时候函数对象被调用时会提供多余的参数，而这些参数是目标函数不需要的。bind 会自动忽略这些多余的参数：
   

6. 这些多余的参数不需要一定在函数对象签名的最后：
   

7. bind 还允许重新组织函数对象的参数顺序：
   

8. 献上一个示例，有助于理解bind机制，其实bind对象可以是引用的方式，而且可以bind对象的成员变量。http://www.cplusplus.com/reference/functional/bind/