将 std::vector< std::unique_ptr< int> > 所有权转移到正在构造的类的正确方法

Question

将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;
}

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

Answer 1

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 值引用，但这不是必需的。

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

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
}