将对象的所有权从一个unique_ptr转移到C ++ 11中的另一个unique_ptr？

Question

在C++11我们可以使用std::move()将对象的所有权转移到另一个unique_ptr 。 所有权转移后，放弃所有权的智能指针变为null ， get()返回nullptr.

std::unique_ptr<int> p1(new int(42));
std::unique_ptr<int> p2 = std::move(p1); // Transfer ownership

在将所有权转移到另一个unique_ptr ，这会有什么用处？

Answer 1

以下情况涉及将所有权从一个unique_ptr转移到另一个：从函数返回，并作为参数传递给类似构造函数的函数。

假设你有一些多态类型Animal ：

struct Animal {
  virtual ~Animal() {}
  virtual void speak() = 0;
};

与具体子类Cat与Dog ：

struct Cat : Animal {
  void speak() override { std::cout << "Meow!\n"; }
};

struct Dog : Animal {
  void speak() override { std::cout << "Woof!\n"; }
};

而且你想要一个简单的工厂，根据所需的服从价值创造宠物。 然后工厂必须返回一个指针。 我们希望宠物工厂将创建的宠物的所有权转移给调用者，因此合理的返回类型是std::unique_ptr<Animal> ：

std::unique_ptr<Animal> createPet(double obedience) {
  if (obedience > 5.0)
    return std::make_unique<Dog>();
  return std::make_unique<Cat>();
} 

现在，假设我们要创建一个拥有宠物的House ，那么我们可能想要将宠物传递给House的构造者。 关于如何最好地将unique_ptr传递给构造函数，有一些争论（ 请参阅此博客文章的评论 ），但它看起来像这样：

class House {
 private:
  std::unique_ptr<Animal> pet_;
 public:
  House(std::unique_ptr<Animal> pet) : pet_(std::move(pet)) {}
};

我们已将unique_ptr传递给构造函数，然后将其“移动”到成员变量中。

调用代码可能类似于：

  auto pet = createPet(6.0);
  House house(std::move(pet));

在构建House ， pet变量将为nullptr因为我们已将宠物的所有权转让给House 。

现场演示

Answer 2

例如，如果调用函数，则可以在参数列表中move unique_ptr ，使其成为函数签名的一部分

foo ( std::unique_ptr<T>&& ptr )

你可以打电话给foo

foo( std::move(myPtr) );

请注意， std::move是一个无条件转换， unique_ptr是一个具有状态的对象，该状态的一部分是该unique_ptr正在管理的指针，使用std::move你正在转换整个对象，你不是真的改变任何关于所有权的东西，使用std::move时std::unique_ptr并没有什么特别之处，因为std::move并不真正关心任何特定的东西，因为我说它是一个无条件的unique_ptr而且unique_ptr只是被渲染，整个作为unique_ptr<T>类型的实例的对象被转换。

如果你想谈谈你的unique_ptr指向的对象的所有权转移，你应该考虑std::unique_ptr<T>本身提供的swap 。