c++ - 为什么这需要一个明确的 std::move？

Question

假设我有一个包含 std::vector 的 Foo 类，该类由另一个类的 std::unique_ptr 对象构造，栏。

typedef std::unique_ptr<Bar> UniqueBar;

class Foo {
    std::vector<UniqueBar> bars;
public:
    void AddBar(UniqueBar&& bar);
};

void Foo::AddBar(UniqueBar&& bar) {
    bars.push_back(bar);
}

这会导致编译错误(在 g++ 4.8.1 中)表明 std::unique_ptr 的复制构造函数被删除，这是合理的。这里的问题是，既然 bar 参数已经是右值引用，为什么调用 std::unique_ptr 的复制构造函数而不是它的移动构造函数？

如果我在 Foo::AddBar 中显式调用 std::move，那么编译问题就会消失，但我不明白为什么需要这样做。我认为这很多余。

那么，我错过了什么？

Answer 1

基本上，每个有名称的对象都是左值。当您使用右值引用将对象传递给函数时，该函数实际上看到了一个左值:它被命名。然而，右值引用的作用是表明它来自一个准备好传输的对象。

换句话说，右值引用是不对称的:

• 它们只能接收右值，即临时对象、即将消失的对象或看起来像是右值的对象(例如，std::move(o) 的结果) )
• 然而，右值引用本身看起来像一个左值