我试图理解以下示例,它与之前在SO
Help understanding boost::bind placeholder arguments上发布的示例相似(但不相同)：
#include <boost/bind.hpp>
#include <functional>
struct X {
int value;
};
int main() {
X a = { 1 };
X b = { 2 };
boost::bind(std::less<int>(),boost::bind(&X::value,_1),_2))
(a,b);
}
这怎么可能,最外层绑定函数知道它必须将第一个参数传递给第二个绑定(期望_1),第二个参数传递给第三个绑定(期望_2)？我看到这个的方式是首先评估内部绑定器,因此它们成为两个一元的功能对象,稍后传递给较少的< int>的绑定器.宾语.当使用两个对象调用新创建的功能对象时,a将转到第一个内部绑定,而b转到第二个内部绑定.如果我是对的,我们会使用_1两次.我一定是错的.我将再次重复我的问题以使我的问题清楚：外部绑定器如何知道哪个占位符用于哪个内部绑定器？
解决方法
参数包含在元组(a,b)中并传递给仿函数.然后内部函子决定它需要哪个元组元素,例如尝试：
boost::bind(&X::value,_1)(a,b) boost::bind(&X::value,_2)(a,b)
更一般地说,每个值,无论它是常量/引用/占位符,都表示为带有参数元组并返回值的函子.
bind(f,10)(a) // still functor which discards arguments
现在,我不是百分之百确定这是绑定的方式.然而,这就是凤凰实现其功能的方式.如果您正在尝试理解bind / lambda实现的机制,请查看phoenix,它是非常可扩展的并且具有出色的文档.
