std::bind 的实现原理

发布时间:2024年01月24日

C++11 中有一个非常神奇的函数std::bind,它让你可以对函数进行适配,动态的绑定参 数。比如你有一个函数接收两个参数,一个算法接收单参数的callable object,那么通 过std::bind我们可以让两者协同工作。

void Foo(int a, int b);

template< class InputIt, class UnaryFunction >
UnaryFunction for_each( InputIt first, InputIt last, UnaryFunction f );

std::vector<int> v;
int b = 10;
for_each(v.begin(), v.end(), std::bind(Foo, _1, b))

那么这个神奇的 bind 函数和神奇的占位符到底是怎么实现的呢,它们的工作原理是什么 ?这个问题困扰我很久,最近在网上找到一篇讲解非常清晰的文章,这里对其中的 内容做简单的摘要和翻译,希望对于大家理解背后的工作原理会有帮助。

bind 是一个工厂方法

很显然 bind 是一个工厂方法,因为我们传递给 for_each 的是 bind 的返回值而不是 bind 本身。bind 创建的对象在 boost 实现中叫做 bind_t。因为 bind 要做的事情是适配 器,所以它返回的对象必然和它接受的对象是一样的—— callable object。因此,bind_t 中必然重载了函数调用符。

class bind_t {
public:
    template<typename A>
    operator()(A a);
};

此外,bind_t 需要以用户给定的参数调用原本的函数,所以它的内部实际还存储了另外两 个成员,也就是原本的函数和用户已经确定的参数。

template <typename F, typename L>
class bind_t {
    F f_;
    L l_;
public:
    bind_t(F f, L l) : f_(f), l_(l) {}

    template<typename A>
    operator()(A a);
};

参数

对于std::bind来说,参数分为两种,一种是用户创建bind_t的时候提供的,另一种是 调用 bind_t 的operator()()的时候提供的,前者在创建 bind_t 的时候就已经知道,而 后者是在调用bind_toperator()()的时候才知道,为了方便描述我们把它们分别叫做 L 和 A 。

很显然,L 和 A 都可能有多个,多个 A 可以通过重载不同版本的 operator() 来解决,比 如:

template <typename F, typename L>
class bind_t {
    F f_;
    L l_;
public:
    template<
文章来源:https://blog.csdn.net/chenyuping333/article/details/135753578
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。