c++ - 智能指针运算符=

Question

我见过一些以两种方式实现 operator= 的智能指针:

A) 将原始指针分配给另一个原始指针的一个:

SmartPointer& operator=(const SmartPointer& rhs)
{
   delete m_ptr;
   m_ptr = rhs.m_ptr;
   return *this;
}

B) 还有一个在赋值后使右边的指针无效:

SmartPointer& operator=(SmartPointer& rhs)
{
   delete m_ptr;
   m_ptr = rhs.m_ptr;
   rhs.m_ptr = nullptr
   return *this;
}

我的问题是更建议使用哪个？我对 B) 的问题是，如果有人想进一步操作第二个智能指针(见下面的代码)，程序会崩溃(如果不检查空指针)或什么也不做。这似乎不太好:)

SmartPointer<MyClass> p1(new MyClass());
SmartPointer<MyClass> p2(new MyClass());
p1 = p2;
p2->someMethod(); // <----- BOOM!

Answer 1

介绍

如果你希望你的智能指针是可复制的，声明(A)就可以；请记住，您不能两次释放存储，这意味着必须有某种方式来表明复制的智能指针并不真正拥有它所引用的资源。

---

危险，危险!

但是声明 (B) 是错误的，因为它不遵循语言中的任何语义；奇怪的是，右侧 在操作之外继续存在，当它仅充当分配的源 时会被修改。

如果您计划将数据从一侧移动到另一侧，您应该使用接受右值引用的重载。所述引用只能绑定(bind)到一个临时的或已明确声明行为类似的对象(即开发人员知道在操作后可能具有未确定的值的对象)。

rvalue references在 C++11 中引入，实现可能如下所示。

SmartPointer& operator=(SmartPointer&& rhs) // (B), move assign
{
   delete m_ptr;        // release currently held resource
   m_ptr = rhs.m_ptr;   // assign new resource
   rhs.m_ptr = nullptr; // prevent `rhs` from deleting our memory, it's no longer in charge 
   return *this;
}

SmartPointer<MyClass> p1(new MyClass());
SmartPointer<MyClass> p2(new MyClass());

p1 = p2; // ill-formed, (B) is not applicable; cannot bind lvalue to rvalue reference
p1 = std::move (p2) // legal

---

标准中有什么内容？

在 C++11 库中，我们 std::unique_ptr , std::shared_ptr , 和 std::weak_ptr .

查看它们的实现应该有助于更好地理解智能指针是如何工作的，以及语义上的差异如何决定所编写代码的差异。