通过std :: bind传递rvalues
我想通过
std::bind
#include <utility>
#include <functional>
template<class Type>
void foo(Type &&value)
{
Type new_object = std::forward<Type>(value); // move-construct if possible
}
class Movable
{
public:
Movable(Movable &&) = default;
Movable &operator=(Movable &&) = default;
};
int main()
{
auto f = std::bind(foo<Movable>, Movable());
f(); // error, but want the same effect as foo(Movable())
}
没有找到相关结果
已邀请:
5 个回复
纤洞需匪
时，你绑定的函数是：void foo(Movable&&) // *must* be an rvalue { }传递的值不是rvalue，而是一个左值（在结果仿函数中的某个位置存储）。那，生成的仿函数类似于：struct your_bind { your_bind(Movable arg0) : arg0(arg0) {} void operator()() { foo<int>(arg0); // lvalue! } Movable arg0; };。所以你可以看到这个失败，因为不能绑定到。† 一个简单的解决方案可能是这样：因为现在你正在调用的函数是：void foo(Movable& /* conceptually, this was Movable& && and collapsed to Movable& */) { }）。但一个有趣的问题是，如果我们可以让你的原始绑定工作，我们可以通过：auto f = std::bind(foo<Movable>, std::bind(static_cast<Movable&&(&)(Movable&)>(std::move<Movable&>), Movable()));是一个重载函数，因此我们必须通过强制转换为所需类型来指定我们想要的重载，从而消除其他选项。 如果没有超载，它实际上不会那么糟糕，好像我们有类似的东西：Movable&& my_special_move(Movable& x) { return std::move(x); } auto f = std::bind(foo<Movable>, std::bind(my_special_move, Movable()));，其中是一个模板参数，可以推导出任何东西，如果你允许的话。）眠缝
template <typename P> class MovableBinder1 { typedef void (*F)(P&&); private: F func_; P p0_; public: MovableBinder1(F func, P&& p) : func_(func), p0_(std::forward<P>(p)) { std::cout << "Moved" << p0_ << "n"; } MovableBinder1(F func, P& p) : func_(func), p0_(p) { std::cout << "Copied" << p0_ << "n"; } ~MovableBinder1() { std::cout << "~MovableBinder1n"; } void operator()() { (*func_)(std::forward<P>(p0_)); } };悸翠疮武昏
僻朵庙惩竣
auto f = [](){ foo(Movable()); };珊畴炮贩号
auto f = std::bind( foo<Movable>, std::bind(std::move<Movable&>, Movable()) );