31

将 a 的所有权转移std::vector<unique_ptr<int> >到正在构建的类的正确方法是什么？

下面是我想要做的代码表示。我意识到无论是通过值还是通过引用将向量传递给构造函数，它都是不正确的（不会编译）并且违反了“唯一性”。我希望 Foo 成为向量的新所有者，并希望调用函数放弃所有权。我需要构造函数来std::unique_ptr<std::vector<std::unique_ptr<int> > >执行此操作吗？

Foo.h

class Foo
{
public:
  Foo(vector<std::unique_ptr<int> > vecOfIntPtrsOwnedByCaller);

private:
  vector<std::unique_ptr<int> > _vecOfIntPtrsOwnedByFoo;
}

Foo.cpp

Foo::Foo(std::vector<std::unique_ptr< int> > vecOfIntPtrsOwnedByCaller)
{
    _vecOfIntPtrsOwnedByFoo = vecOfIntPtrsOwnedByCaller;
}

任何帮助将不胜感激 - 我已经在网上搜寻了正确的方法来做到这一点。谢谢！

4

1 回答 1

28

std::unique_ptr<T>是不可复制但可移动的类型。在一个只移动类型中std:vector<T>也有一个只移动类型std::vector<T>。要让编译器自动移动对象，您需要有一个用于移动构造或移动赋值的 r 值。在您的构造函数中，对象vecOfIntPtrsOwnedByCaller是一个左值，尽管它的名称已经拥有指向ints 的对象：当调用者创建对象时，它们从调用者那里“偷走了”。要从左值移动，您需要使用std::move()（或等效的东西）：

Foo::Foo(std::vector<std::unique_ptr<int>> vecOfIntPtrsOwnedByCaller)
{
    _vecOfIntPtrsOwnedByFoo = std::move(vecOfIntPtrsOwnedByCaller);
}

或者，更可取的

Foo::Foo(std::vector<std::unique_ptr<int>> vecOfIntPtrsOwnedByCaller)
    : _vecOfIntPtrsOwnedByFoo(std::move(vecOfIntPtrsOwnedByCaller))
{
}

后一种方法避免首先默认构造成员，然后移动分配给它，而是直接移动构造成员。我想，我也会将参数设为 r 值引用，但这不是必需的。

请注意，您Foo只能从可以绑定到 r 值的东西构造类型的对象，例如：

int main() {
    Foo f0(std::vector<std::unique_ptr<int>>()); // OK
    std::vector<std::unique_ptr<int>> v;
    Foo f1(v); v// ERROR: using with an l-value
    Foo f2{v}; v// ERROR: using with an l-value
    Foo f3 = v; // ERROR: using with an l-value
    Foo f4(std::move(v)); // OK: pretend that v is an r-value
}
于 2013-08-16T22:37:35.863 回答