std :: unique_ptr析构函数构造函数顺序

Question

我想知道何时将新的unique_ptr分配给先前的unique_ptr，会发生什么。 在以下代码中：

std::unique_ptr<my_class> test;
......
test = std::unique_ptr<my_class>(new my_class());
......
test = std::unique_ptr<my_class>(new my_class());

我预计当我第二次分配一个新的std :: unique_ptr进行测试时，首先调用my_class的析构函数，然后调用它的构造函数。 我的预期是错的吗？ 但是当我调试我的代码时，我看到的是反向的。 my_class的第一个构造函数调用然后调用它的析构函数。

Answer 1

在前一个实例的析构函数之前调用构造函数的原因是因为您将new my_class()作为参数传递给unique_ptr的构造函数。 首先评估参数，构造一个新的unique_ptr实例，该实例获取新创建的对象的所有权，然后将新的unique_ptr实例分配给旧的。

因此，它将拥有所有权的旧unique_ptr的my_class对象将被解除分配并销毁，从而调用my_class析构函数。

它实际上和你写的一样：

my_class* temp = new my_class;
test = std::unque_ptr<my_class>(std::move(temp));

在这里可以直接看到首先构造新对象。

Answer 2

从cppreference ：

unique_ptr& operator=( unique_ptr&& r ) noexcept; （1）
template< class> U, class E > unique_ptr& operator=( unique_ptr<U,E>&& r ) noexcept; （1）

从所有权转移r到*this ，仿佛调用reset(r.release())随后的分配get_deleter()从std::forward<E>(r.get_deleter())

正如您所看到的，在前一个指针上调用了reset ，它执行以下操作：

1. 保存当前指针old_ptr = current_ptr的副本
2. 使用参数current_ptr = ptr覆盖当前指针
3. 如果旧指针非空，则删除先前管理的对象if(old_ptr != nullptr) get_deleter()(old_ptr) 。