使用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在这里不完全兼容.