C++学习笔记14 bind原理

C++学习笔记14

bind的基本原理

bind的思想实际上是一种延迟计算的思想，将可调用对象保存起来，然后在需要的时候再调用。而且这种绑定是非常灵活的，不论是普通函数、函数对象、还是成员函数都可以绑定，而且其参数可以支持占位符，比如你可以这样绑定一个二元函数auto f = bind(&func, _1, _2);，调用的时候通过f(1,2)实现调用。

要实现一个bind需要解决两个问题，第一个是保存可调用对象及其形参，第二个是如何实现调用。下面来分析如何解决这两个问题。

保存可调用对象

实现bind的首先要解决的问题是如何将可调用对象保存起来，以便在后面调用。要保存可调用对象，需要保存两个东西，一个是可调用对象的实例，另一个是可调用对象的形参。保存可调用对象的实例相很简单，因为bind时直接要传这个可调用对象的，将其作为一个成员变量即可。而保存可调用对象的形参就麻烦一点，因为这个形参是变参，不能直接将变参作为成员变量。如果要保存变参的话，我们需要用tuple来将变参保存起来。

可调用对象的执行

bind的形参因为是变参，可以是0个，也可能是多个，大部分情况下是占位符，还有可能占位符和实参都有。正是由于bind绑定的灵活性，导致我们不得不在调用的时候需要找出哪些是占位符，哪些是实参。如果某个一参数是实参我们就不处理，如果是占位符，我们就要将这个占位符替换为对应的实参。比如我们绑定了一个三元函数：auto f = bind(&func, _1, 2, _2);调用时f(1,3);由于绑定时有三个