关于std::unique_ptr移动赋值操作执行顺序的标准规则问询

这不是隐藏的实现细节，C++标准明确保证了操作3的执行顺序在操作1之后，cppreference的示例代码是完全符合标准的安全写法。具体依据如下：

• head = std::move(head->next)调用的是std::unique_ptr的移动赋值运算符，C++标准规定该运算符的行为等价于reset(rhs.release())（其中rhs即被移动的head->next）。
• 拆解等价操作的执行顺序：
  1. 执行rhs.release()：将head->next内部的指针置为nullptr，同时返回它原本指向的节点指针（对应你列出的操作1）。
  2. 执行head.reset(...)：
     • 先将head的内部指针更新为release()返回的新指针（对应你列出的操作2）；
     • 再销毁head原先指向的旧节点（对应你列出的操作3）。

这样的顺序确保了：当旧节点被销毁时，它的next成员已经被置为nullptr，不会触发递归析构，从根源上避免了栈溢出问题。

内容的提问来源于stack exchange，提问作者Yang Zhao