c++ - std::move 和 unique_ptr::reset 之间有什么区别？

Question

对于std::unique_ptr的p1和p2，std::move()有什么区别> 和 std::unique_ptr::reset()?

p1 = std::move(p2);

p1.reset(p2.release());

Answer 1

根据 [unique.ptr.single.assign]/2 中移动分配的标准规范，答案应该是显而易见的:

Effects: Transfers ownership from u to *this as if by calling reset(u.release()) followed by an assignment from std::forward<D>(u.get_deleter()).

显然移动分配与 reset(u.release()) 不同因为它做了一些额外的事情。

附加效果很重要，没有它您可能会使用自定义删除器获得未定义的行为:

#include <cstdlib>
#include <memory>

struct deleter
{
  bool use_free;
  template<typename T>
    void operator()(T* p) const
    {
      if (use_free)
      {
        p->~T();
        std::free(p);
      }
      else
        delete p;
    }
};

int main()
{
  std::unique_ptr<int, deleter> p1((int*)std::malloc(sizeof(int)), deleter{true});
  std::unique_ptr<int, deleter> p2;
  std::unique_ptr<int, deleter> p3;

  p2 = std::move(p1);  // OK

  p3.reset(p2.release());  // UNDEFINED BEHAVIOUR!
}