C ++：移动/转发/右值委托恶作剧[重复]

Question

尝试运行这个测试程序：

#include <iostream>

class A {
public:
    A()                          { std::cout << "empty constructor" << std::endl; }
    A(const A &a)                { std::cout << "copy constructor" << std::endl; }
    A(A &&a)                     { std::cout << "move constructor" << std::endl;  }
    ~A()                         { std::cout << "destructor" << std::endl; }
    A &operator=(const A &o)     { std::cout << "copy assignment" << std::endl; return *this; }
    A &operator=(A &&o)          { std::cout << "move assignment" << std::endl; return *this; }
};

A outside;

template <typename U>
void bar(U &&a) {
    outside = std::forward<U>(a);
}

void foo(A &&a) {
    bar(a);
}

int main(int argc, char *argv[]) {
    foo(A());
    return 0;
}

在我的编译器上，我认为是 GCC 4.4.1，输出是：

empty constructor
empty constructor
copy assignment // what??
destructor
destructor

在我看来，第三行很奇怪。为什么outside 在bar 中复制a 而不是移动它？换句话说，为什么foo 使用bar(A &a) 实例化bar 而不是bar(A &&a)？

我应该提到，通过将foo 更改为

，可以轻松解决此问题

template <typename U>
void foo(U &&a) {
    bar(std::forward<U>(a));
}

因此使用移动赋值运算符。

在我的代码中，我有很多委托方法，我不想将它们全部放在一个 .h 文件中并为它们制作模板。是否有另一种方式告诉编译器或使其了解a 在foo 中用作右值？

编辑：一些人指出了这一变化：

void foo(U &&a) {
    bar(std::move(a));
}

我太慢了，无法表明我希望foo 能够接受两者：

int main(int argc, char *argv[]) {
    foo(A());
    return 0;
}

和

int main(int argc, char *argv[]) {
    A a;
    foo(a);
    return 0;
}

在第二种情况下，建议的代码将错误地窃取a 在main 中的资源，应将其用作参考。

Answer 1

在你的 foo 函数中它应该是： bar(std::move(a)) 因为参数a 在那个时候是一个左值。