使用unique_ptr移动语义

Question

我正在使用Visual Studio 2012 Update 2，并且无法理解为什么std :: vector正在尝试使用unique_ptr的复制构造函数。 我已经看过类似的问题，大多数都与没有明确的移动构造函数和/或运算符有关。

如果我将成员变量更改为字符串，我可以验证是否调用了移动构造函数; 但是，尝试使用unique_ptr会导致编译错误：

error C2248: 'std::unique_ptr<_Ty>::unique_ptr' : cannot access private member declared in class 'std::unique_ptr<_Ty>' 。

我希望有人能指出我所缺少的东西，谢谢！

#include <vector>
#include <string>
#include <memory>

class MyObject
{
public:
    MyObject() : ptr(std::unique_ptr<int>(new int))
    {
    }

    MyObject(MyObject&& other) : ptr(std::move(other.ptr))
    {
    }

    MyObject& operator=(MyObject&& other)
    {
        ptr = std::move(other.ptr);
        return *this;
    }

private:
    std::unique_ptr<int> ptr;
};

int main(int argc, char* argv[])
{
    std::vector<MyObject> s;
    for (int i = 0; i < 5; ++i)
    {
        MyObject o;
        s.push_back(o);
    }

    return 0;
}

Answer 1

push_back()函数按值获取其参数。 因此，尝试复制构造push_back()的参数（如果传递左值），或者移动构造它（如果传递右值）。

在这种情况下， o是左值 - 因为命名对象是左值 - 并且右值引用不能绑定到左值。 因此，编译器无法调用您的移动构造函数。

为了移动你的对象，你必须写：

s.push_back(std::move(o));
//          ^^^^^^^^^

在这种情况下让我感到惊讶的是，似乎VC11隐式地为MyObject生成了一个拷贝构造函数而没有将其定义为已删除 （从您发布的错误判断）。 这不应该是这种情况，因为您的类声明了一个移动构造函数。 根据C ++ 11标准的第12.8 / 7段，事实上：

如果类定义没有显式声明复制构造函数，则会隐式声明一个。 如果类定义声明了移动构造函数或移动赋值运算符，则隐式声明的复制构造函数被定义为已删除 ; 否则，定义为默认值（8.4）

我必须得出结论，虽然你得到的错误是正确的 - 因为你没有将rvalue传递给push_back() - VC11在这里并不完全兼容。

Answer 2

MyObject o; 将o定义为一个对象。 这意味着它是一个l值。 做s.push_back(o); 然后调用push_back()的l值重载（它没有其他选择），它试图创建一个副本。

由于您的类是不可复制的，您必须将对象移动到向量中：

for (int i = 0; i < 5; ++i)
{
    MyObject o;
    s.push_back(std::move(o));
}