对没有组合的嵌套 boost::bind 执行参数替换

Question

假设我有一个函数，它接受一个空函子作为参数：

void enqueue( boost::function<void()> & functor );

我有另一个函数，它接受一个 int 并在内部执行某些操作：

void foo( int a);

我想将它们嵌套，但不组合在一起，以便我得到一个带有签名的函子

boost::function<void(int)> functor

：当使用值调用时 - 比如说 4 - 执行以下操作：

enqueue( boost::bind(&foo, 4) )

我的第一次尝试如下：

boost::function<void(int)> functor = boost::bind(&enqueue, boost::bind(&foo,_1))

这失败了，因为在给定嵌套绑定时，bind 执行组合。 foo 被首先调用，然后值 void 被“返回”到队列中，但失败了。

我的第二次尝试如下：

boost::function<void(int)> functor = boost::bind(&enqueue, boost::protect( boost::bind(&foo, _1) ) )

这次失败了，因为 enqueue 接受空值，而不是一元函子。

我所追求的事情可以实现吗？

其他信息：

• 这与 6 年前未回答的 boost 论坛问题基本相同： http://lists.boost.org/boost-users/2004/07 /7125.php
• 一些阅读表明，使用 boost::lambda::bind 与 boost::lambda::unlambda 和 boost::lambda::protect 可能会达到我想要的效果。不幸的是，boost::lambda 允许的占位符数量（3）少得令人无法接受，而且编译时开销很高。

Answer 1

有趣的问题...

您基本上想要的是“绑定调用绑定”。与将调用绑定到 foo(x, y) 的方式相同，编写 bind(&foo, x, y)，将调用绑定到 bind (&foo, x) 应该类似于 bind(&bind, &foo, x)。然而，获取重载函数的地址很快就会变得丑陋，而且由于 boost::bind 的重载数量超出了我的计算能力，它变得非常丑陋：

// One single line, broken for "readability"
boost::function<void(int)> f = boost::bind(
  &enqueue, 
  boost::bind(
    static_cast<
      boost::_bi::bind_t<
        void, void(*)(int), boost::_bi::list_av_1<int>::type
      >
      (*)(void(*)(int), int)
    >(&boost::bind), 
    &foo, 
    _1
  )
);

你可能会同意，虽然“有趣” ，以上内容不会赢得可读性竞赛。将正确的绑定重载的获取与其余部分分开使事情更容易管理：

boost::_bi::bind_t<void, void(*)(int), boost::_bi::list_av_1<int>::type>
  (*bind_foo)(void(*)(int), int) = &boost::bind;

boost::function<void(int)> q = boost::bind(&enqueue, boost::bind(bind_foo, &foo, _1));

但我仍然犹豫是否推荐它；）

编辑：

回答OP关于C ++ 0x如何/如果会有所帮助的评论清理语法：它确实：

auto f = [](int i){enqueue([=](){foo(i);});};

Answer 2

手动“嵌套”：

class Enqueuer {
 std::function<void (int)> mFunc;

public:
 void operator()(int pVal) {
  enqueue(std::bind(mFunc, pVal));
 }

 Enqueuer(std::function<void (int)> pFunc)
  : mFunc(pFunc) {}
};

// usage:
Enqueuer e(foo);
e(1);
e(2);
e(3);