移动unique_ptr时是否真的需要确保放弃所有权？

• unique_ptr移动后的标准状态
  C++标准明确规定，当unique_ptr被移动后，源对象处于合法但未指定的状态。你可以安全地销毁它、给它赋值，或者调用reset()，但不能依赖它是否已经放弃了所有权（即是否为空）。虽然绝大多数主流编译器的实现都会在移动后将源unique_ptr置为空，但这只是实现细节，并非标准强制要求的行为。

• 显式reset()的意义
  如果你的业务逻辑要求up在调用draw之后必须彻底释放资源、放弃所有权，显式调用reset()是唯一符合标准规范的做法。依赖移动后的源对象为空是不安全的——换用其他遵循标准但实现不同的编译器，或者未来标准实现细节调整时，代码可能出现资源泄漏或未定义行为。reset()直接强制清空unique_ptr，彻底消除了状态的不确定性。

• 对书中注释的解读
  书中注释“the unique pointer might or might not give up ownership”正是在强调这一标准规则：移动操作并不保证源unique_ptr一定放弃了所有权。哪怕实际测试中它总是为空，也不能依赖这个行为，必须通过reset()来确保确定性。

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