boost :: function和boost :: bind如何工作

我不喜欢魔术盒散布在我的所有代码中...这两个类究竟如何工作，以使基本上任何函数都可以映射到函数对象，即使function <>的参数设置与传递给一个im的参数完全不同 boost::bind

它甚至有不同的调用约定有效（即成员方法都是__thiscallVC之下，但“正常”的功能，通常是__cdecl或__stdcall为那些需要与兼容C.

boost::function允许将operator()具有正确签名的带有的任何内容绑定为参数，并且可以使用参数调用绑定的结果int，因此可以将其绑定到function<void(int)>。

它是这样工作的（此描述适用于std::function）：

boost::bind(&klass::member, instance, 0, _1) 返回这样的对象

struct unspecified_type
{
  ... some members ...
  return_type operator()(int i) const { return instance->*&klass::member(0, i);
}

其中，return_type和int从签名推断klass::member，函数指针和绑定参数其实都是存储在对象中，但是这并不重要

现在，boost::function不进行任何类型检查：它将接受您在其模板参数中提供的任何对象和任何签名，并根据您的签名创建一个可调用的对象并调用该对象。如果那不可能，那就是编译错误。

boost::function 实际上是这样的对象：

template <class Sig>
class function
{
  function_impl<Sig>* f;
public:
  return_type operator()(argument_type arg0) const { return (*f)(arg0); }
};

其中return_type和argument_type是从中提取的Sig，并f在堆上动态分配。允许将大小完全不同的完全不相关的对象绑定到boost::function。

function_impl 只是一个抽象类

template <class Sig>
class function_impl
{
public:
  virtual return_type operator()(argument_type arg0) const=0;
};

完成所有工作的类是从派生的具体类boost::function。分配给每种类型的对象都有一个boost::function

template <class Sig, class Object>
class function_impl_concrete : public function_impl<Sig>
{
  Object o
public:
  virtual return_type operator()(argument_type arg0) const=0 { return o(arg0); }
};

在您的情况下，这意味着对boost功能的分配：

1. 实例化一个类型function_impl_concrete<void(int), unspecified_type>（当然是编译时间）
2. 在堆上创建该类型的新对象
3. 将此对象分配给boost :: function的f成员

当您调用函数对象时，它会调用其实现对象的虚函数，该虚函数会将调用定向到您的原始函数。

免责声明：请注意，此说明中的名称是故意构成的。任何与真实人物或角色的相似之处……您都知道。目的是说明原理。