我正在尝试编译 a project这是针对 Boost 1.55 和较新的 Boost 1.63 编写的，我遇到了一个与 bind/function 相关的非常奇怪的错误。这是完整的、简化的测试用例:

#include <boost/bind.hpp>
#include <boost/function.hpp>

template < typename Arg1 = int, typename Arg2 = int, typename Arg3 = int >
class foo
{
public:
  using function_t = boost::function3< void, Arg1, Arg2, Arg3 >;

  void set_function( function_t f )
  {
    func_ = f;
  }

private:
  function_t func_;
};

class bar
{
public:
  bar()
  {
    foo_.set_function( boost::bind( &bar::func, this, _1, _2 ) );
  }

private:
  void func( int const&, int& ) {}

  foo< int, int > foo_;
};

int main()
{
  bar x;
  return 0;
}

...以及我遇到的一些错误片段:

/usr/include/boost/bind/bind.hpp:398:35: error: no match for call to ‘(boost::_mfi::mf2<void, bar, const int&, int&>) (bar*&, int, int)’
/usr/include/boost/bind/mem_fn_template.hpp:278:7: note: candidate: R boost::_mfi::mf2<R, T, A1, A2>::operator()(T*, A1, A2) const [with R = void; T = bar; A1 = const int&; A2 = int&] <near match>
/usr/include/boost/bind/mem_fn_template.hpp:278:7: note:   conversion of argument 3 would be ill-formed:
/usr/include/boost/bind/bind.hpp:398:35: error: cannot bind non-const lvalue reference of type ‘int&’ to an rvalue of type ‘int’
/usr/include/boost/bind/mem_fn_template.hpp:283:25: note: candidate: template<class U> R boost::_mfi::mf2<R, T, A1, A2>::operator()(U&, A1, A2) const [with U = U; R = void; T = bar; A1 = const int&; A2 = int&]
/usr/include/boost/bind/mem_fn_template.hpp:283:25: note:   template argument deduction/substitution failed:
/usr/include/boost/bind/bind.hpp:398:35: note:   cannot convert ‘(& a)->boost::_bi::rrlist3<int, int, int>::operator[](boost::_bi::storage3<boost::_bi::value<bar*>, boost::arg<1>, boost::arg<2> >::a3_)’ (type ‘int’) to type ‘int&’
/usr/include/boost/bind/mem_fn_template.hpp:291:25: note: candidate: template<class U> R boost::_mfi::mf2<R, T, A1, A2>::operator()(const U&, A1, A2) const [with U = U; R = void; T = bar; A1 = const int&; A2 = int&]
/usr/include/boost/bind/mem_fn_template.hpp:291:25: note:   template argument deduction/substitution failed:
/usr/include/boost/bind/bind.hpp:398:35: note:   cannot convert ‘(& a)->boost::_bi::rrlist3<int, int, int>::operator[](boost::_bi::storage3<boost::_bi::value<bar*>, boost::arg<1>, boost::arg<2> >::a3_)’ (type ‘int’) to type ‘int&’
/usr/include/boost/bind/mem_fn_template.hpp:299:7: note: candidate: R boost::_mfi::mf2<R, T, A1, A2>::operator()(T&, A1, A2) const [with R = void; T = bar; A1 = const int&; A2 = int&]
/usr/include/boost/bind/mem_fn_template.hpp:299:7: note:   no known conversion for argument 1 from ‘bar*’ to ‘bar&’

如果我在另一台装有 Boost 1.55 的机器上尝试，它编译得很好。 (当指向 Boost 1.55 的构建时，该项目在同一台机器上也编译正常，所以问题似乎不是编译器。)因此，显然 Boost 中发生了一些变化，最近导致失败。

这段代码不是我写的，我也不是很熟悉 boost::function 和 boost::bind 的内容。如果有人可以向我解释为什么这会破坏较新的 Boost，以及 a) 如何修复它，或 b) 为什么上面的代码被破坏，我将不胜感激!

最佳答案

问题是 boost::function在匹配函数签名方面变得更加严格(我认为更接近地匹配 std::function 的行为)。您的函数声明为 boost::function3< void, Arg1, Arg2, Arg3 > ，但是，您绑定(bind)到它的函数需要 int const&和 int& .

有几种方法可以解决这个问题。你可以:

1. 更改foo<int, int>的实例在 bar成为foo<int const&, int&> .
2. 更改function_t的声明成为boost::function3<void, Arg1, Arg2 const&, Arg3&> .
3. 更改 bar::func 的签名按值(value)接受其论点。

关于c++ - 自 1.55 以来 boost::bind/boost::function 的奇怪行为变化，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/45549724/