假设我有一个函数,采用右值引用:
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> >)'
答案 0 :(得分:5)
使用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中修复(我不知道)。