std::move操作unique_ptr是否会调用原对象析构？能否替换为reset？

问题1：执行ptr2 = std::move(ptr1)时，是否一定会调用ptr2之前持有对象的析构函数？ #

是，一定会调用。根据C++标准，std::unique_ptr的移动赋值运算符（operator=(unique_ptr&&)）的明确行为是：

• 首先释放当前unique_ptr（即ptr2）所拥有的对象（如果它持有有效对象）；
• 然后接管右值参数（ptr1）的对象所有权；
• 最后将右值参数（ptr1）置为空指针。

只要ptr2在执行移动赋值前持有非空对象，其指向的对象的析构函数必然会被调用，这是标准规定的确定性行为，不存在例外情况。

问题2：能否将两段代码替换？ #

在不依赖ptr1变量后续使用的前提下，两种写法的外部可见行为基本一致，但存在细微差异，需根据场景判断：

可安全替换的场景 #

如果创建ptr1仅仅是为了将其移动赋值给ptr2，后续不再操作ptr1，那么两种写法最终效果完全相同：

• 都会构造一个Data("Data1")对象；
• 都会释放ptr2原来持有的对象；
• 最终ptr2持有Data("Data1")，程序退出时析构该对象。

不可替换的差异点 #

• 变量依赖：原代码中ptr1会被创建，移动后变为空指针；替换后的代码无ptr1变量。若后续代码有依赖ptr1的逻辑（如检查ptr1是否为空、复用ptr1），则不能替换。
• 构造时序：原代码中Data("Data1")的构造发生在ptr1初始化阶段，替换后的构造发生在reset调用内部。除非Data构造函数有特殊时序依赖的副作用，否则该差异无实际影响。
• 性能细节：原代码涉及一次unique_ptr的构造和移动操作，替换后的代码直接通过reset完成替换，减少了一次unique_ptr生命周期管理，理论效率略高，但绝大多数场景下可忽略。

内容的提问来源于stack exchange，提问作者Darshan Bhat