为什么 `boost::bind()` 在这里不能用 `std::bind()` 代替？ [复制]

Question

这部分代码来自example：

int main()
{
  boost::asio::io_service io;
  printer p(io);
  boost::thread t(boost::bind(&boost::asio::io_service::run, &io));
  io.run();
  t.join();

  return 0;
}

如果我将boost::bind(&boost::asio::io_service::run, &io) 替换为std::bind(&boost::asio::io_service::run, &io)，则会出现编译错误：

.../usr/lib/c++/v1/functional:1843:1: note: candidate template
  ignored: couldn't infer template argument '_Fp'
bind(_Fp&& __f, _BoundArgs&&... __bound_args)
^
/usr/lib/c++/v1/functional:1852:1: note: candidate template
  ignored: couldn't infer template argument '_Rp'
bind(_Fp&& __f, _BoundArgs&&... __bound_args)
^
1 error generated.

为什么会出现这个错误？

为什么std::bind(&printer::print1, &p) 有效，而std::bind(&boost::asio::io_service::run, &io) 无效？

Answer 1

编译器告诉您它无法确定std::bind 的第一个参数的类型。

如果您查看io_service::run，您会发现它已超载。编译器有一个选择，这可能是编译器无法确定类型的原因。要对此进行测试，您可以使用演员表：

std::bind(static_cast<size_t (boost::asio::io_service::*)()>(&boost::asio::io_service::run), &io)

这种方式使选择在代码中明确。

使用现代编译器，您根本不需要使用 bind。你可以这样做：

[&]() { io.run(); }

这避免了std::bind 模板的所有问题。您需要考虑变量生命周期和副本与引用。