[转] [翻译]图解boost::bind

http://kelvinh.github.io/blog/2013/12/03/boost-bind-illustrated/

其实这是很久之前留的一个坑了，一直没有填。。

记得在刚开始看到 boost::bind 的使用的时候，我整个人都惊呆了：天哪，C++还能这样！！

于是去google搜索其原理，然后看到一篇 好文 ，这篇博客的作者也是 Boost.Asio 的作者。博客中的几张图非常到位，于是就想将其翻译成中文（其实是用于在将来自己忘记了的时候方便再看:-p），结果这个坑一直没有填，今天终于把填上了。

下面是翻译，未完全遵守原文一字一句翻译（其实不仅是不遵守，某些地方我完全按自己的想法来了:-D）：

void handler();

但异步等待操作的handler的签名则如下：

void handler(error_code ec);

而异步读/写操作则需要如下签名的函数：

void handler(error_code ec, size_t length);

事实上，应用程序可能需要传递某种应用环境（context）给这个completion handler，例如 this 指针。用 boost::bind, std::tr1::bind 或者C++0x的 std::bind 等函数对象适配器来达到这个目的，不失为一种办法。

不幸的是，对于许多C++猿类来说， bind 代表了某种魔法。你在使用它时，如果稍有不慎，编译器就会给你一大堆编译错误，关键是你还不知道你错在哪儿。并且，根据我的经验，它的基本概念（有些函数参数预先被绑定，而有些则是在调用时才被绑定）的学习曲线非常陡峭。

为此，我画了一些图来解释 bind 是如何工作的。为了清晰，我对图中的语法作了一些简化（例如，省略函数调用操作符的参数类型），并且简化了 bind 的实现。最后，the examples are limited to those likely to be useful with Asio（译者注：这句根本不知道是什么意思好吗。。）。欢迎大家给我提建议和留言。

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

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

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

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

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

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

最后， bind 还允许重新组织函数对象的参数顺序：