boost::function 和 boost::bind 的工作原理

最新推荐文章于 2026-06-12 13:29:17 发布

转载最新推荐文章于 2026-06-12 13:29:17 发布 · 1k 阅读

本文详细解释了Boost::Bind在C++中的作用，包括如何通过它创建函数对象，以及其内部的工作原理。从函数签名推断返回类型和参数类型，以及如何将任意可调用对象绑定到Boost::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 的函数签名以及 bind 绑定式的参数列表推断出来的。

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 是在 heap 上动态分配的，使得任意大小的函数对象都可以绑定到 boost::function 上。

function_impl 只是个 abstract class

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

复制代码

负责具体工作的是派生自 boost::function_impl 的实现类，每种赋值给 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::function 将发生下面的事情：
1. 实例化一个函数对象类型 function_impl_concrete<void(int), unsepcified_type> (当然，这是发生在编译期)；
2. 在 heap 上动态创建一个该类型的对象；
3. 将该对象赋值给 boost::function 的成员f；

当调用该函数对象时，将执行实现类上的虚函数，进而执行原始的可调用物。

标签