c++ - 为什么我不需要 std::move 到 std::bind'ed 函数？

Question

假设我有一个函数，采用右值引用：

void whatever (std::unique_ptr<int>&&) {
    // Nothing!
}

...我将它的一个参数绑定到一个占位符。

auto f = std::bind(&whatever, _1);

我尝试了这样的调用，结果与我的预期相反。

std::unique_ptr<int> nothing;
f(std::move(nothing));  // Fails to compile!
f(nothing);             // Works, but seems wrong!

这是编译器错误吗？或者，工作调用是不安全的代码吗？或者为什么我不必将std::move这个指针指向绑定函数？

顺便说一句，gcc4.4 的编译错误是：

test.cxx:14: error: no match for call to '(std::_Bind<void (*(std::_Placeholder<1>))(std::unique_ptr<int, std::default_delete<int> >&&)>) (std::unique_ptr<int, std::default_delete<int> >)'

Answer 1

使用libc++时，我得到了相反的结果。

std::unique_ptr<int> nothing;
f(std::move(nothing));  // Works!
f(nothing);             // Fails to compile!

我相信这是一个 gcc4.4 错误。[func.bind.bind]/p10/b3 描述了这种情况：

• 如果 的值j不is_placeholder<TiD>::value为零，则参数为std::forward<Uj(uj)>且其类型Vi为Uj&&；

这可能会在更新的 gcc 中修复（我不知道）。