Question

我一直在尝试使用boost :: bind将对成员函数的调用发布到io_strand上，但一直在收到错误。我已经设法创建了一个简单的等效示例，说明了我要做的事情，并在以下上下文中看到了相同的错误：

我有以下类包含我想调用的doThings（）成员函数：

class base
{
public:
  int x = 1;

  template<typename B>
  void doThings(B&& b)
  {}
};

然后有一个子类（为了准确地表示我遇到错误的情景 - 我觉得它没有区别）

class child : public base
{
  int y = 2;
};

我有以下代码尝试进行boost :: bind调用：

template<typename A>
void getInt(child c, A&& a)
{
  boost::bind((void(child::*)(A)) &child::doThings, &c, std::forward<A>(a))();
}

然后调用如下：

int main()
{
  child c = child();
  getInt(c, 7);
}

当我编译上面的代码时，我收到以下错误：

错误：没有匹配将函数'doThings'转换为'void'类型子:: *）（INT）”

如果我改变doThings（）的函数签名以采用常规B类型而不是通用引用，即 B而不是B&&然后它编译没有问题的运行我怀疑我的问题与我在getInt（）中的演员表有关：

(void(child::*)(A))

但我不知道我需要改变它。 A&&在这种情况下不起作用，因为我认为它将代表该背景下的r值参考。我尝试时得到的编译错误似乎证实了这一点：

错误：无法将'int'左值绑定到'int＆amp;＆amp;'

为了完整性：如果我不尝试执行强制转换，那么我会收到以下编译错误：

错误：没有匹配函数来调用'bind（未解析的重载 function type，child *，int）'

有人可以告诉我我需要做些什么才能使我的boost :: bind调用在这种情况下有效吗？

我正在使用C ++ 11

Answer 1

我建议不要使用boost::bind，因为lambda expressions可用于干净地绑定参数（避免this talk by STL中解释的bind的许多陷阱）

我假设你想：

如果将 rvalue-reference 传递给a，请移动。{/ p>
如果将左值参考传递给getInt，则按引用捕获a。

我也假设：

getInt在您的真实代码中不是A，否则完美转发就没有意义。
您希望避免不必要的int副本或a可能是仅限移动类型。
您只能访问C ++ 11 （而不是更新的标准）。

如果您需要“完美捕获” A （即如果a是左值参考，则按移动捕获，捕获 - 按引用如果A是左值引用，则需要某种包装器。

不幸的是这是非常重要的，即使它在C ++ 14和C ++ 17中变得更好。以下是最终语法的外观示例：

如您所见，您需要一个名为template<typename A> void getInt(child c, A&& a) { // `a_wrapper` stores an `A&` or an `A` depending on the value category // of `a`. Copying it should not copy `a` - it should conditionally move // it depending on the original value category of `a`. auto a_wrapper = forward_capture_wrapper(std::forward<A>(a)); // `forward_like` retains information about `a`'s value category so that // it can be used in the body of the lambda to forward the reference/value // stored inside `a_wrapper`. // vvvvvvvvvvvvvvv [&a, a_wrapper]{ c.doThings(forward_like<A>(a_wrapper.get()); }(); // ^^^^^^^^^^^^^^^ // `a_wrapper.get()` returns a reference that can then be moved or passed // to `c.doThings`. }的模板函数来处理“完美捕获”。您可以在以下资源中找到有关如何实现该信息的信息：

"Move capture in lambda" - 介绍如何在C ++ 11中实现catch-by-move。由于广义的lambda捕获，这在C ++ 14中是微不足道的。
"capturing perfectly-forwarded objects in lambdas" - 这是我写的一篇文章，内容涵盖了如何在C ++ 14/17中实现“完美捕获”。这是理解“完美捕获”问题的一个很好的起点，应该可以将代码转换为符合C ++ 11标准的内容。
"Capturing perfectly-forwarded variable in lambda" - 我前面问过的这个StackOverflow问题涵盖了在C ++ 14中实现“完美捕获”的一些方法。

通过组合上面的资源，您应该能够在C ++ 11中实现“完美的捕获包装器”。

您还需要一个forward_capture_wrapper辅助函数来保留forward_like参数的原始值类别。你可以找到一个实现：

在my vrm_core library。
在this StackOverflow answer by T.C.。

如何提升::绑定模板成员函数，该函数将通用引用作为参数

1 个答案: