多个共享_ptr，指向同一对象

Question

仅出于学习目的，我正在编码二进制搜索树轮换。 我通常使用std :: unique_ptr，但是我使用std :: shardy_ptr这次

这次工作正常：

// Node implementation
template <Containable T = int> struct Node {
  T key_ = T{};
  bool black_ = false; // red-black tree
  std::shared_ptr<Node> left_;
  std::shared_ptr<Node> right_;
};

// this is a protected member function of red-black tree class
// xp is parent node of x
void left_rotate(Node *xp, Node* x) {
    assert(x);
    auto y = x->right_;
    x->right_ = y->left_;
    std::shared_ptr<Node> x_ptr;
    if (!xp) {
      x_ptr = root_;
      root_ = y;
    } else if (x == xp->left_.get()) {
      x_ptr = xp->left_;
      xp->left_ = y;
    } else {
      x_ptr = xp->right_;
      xp->right_ = y;
    }
    y->left_ = x_ptr;
  }

cppreference：

void left_rotate(Node *xp, Node* x) {
    assert(x);
    auto y = x->right_;
    x->right_ = y->left_;
    std::shared_ptr<Node> x_ptr(x);
    if (!xp) {
      root_ = y;
    } else if (x == xp->left_.get()) {
      xp->left_ = y;
    } else {
      xp->right_ = y;
    }
    y->left_ = x_ptr;
  }

cppreference说： link

std :: shared_ptr是一个智能指针，通过指针保留对象共享所有权。几个共享_ptr对象可以拥有相同的对象。当两个发生以下任何一个时，该对象被破坏，其内存被划分：

• 剩下的剩下的共享_ptr拥有该对象；
• 最后剩下的shared_ptr拥有该对象是通过operator =或reset（）。
分配了另一个指针。

为了避免在分配之前销毁由x指向的节点，我创建了另一个std :: shardy_ptr＆lt; node＆gt;拥有*x，但在第二个实现是在调用x指向的节点对象之前已经销毁了y-＆gt; left_ = x_ptr。当一个root_ = y，xp-＆gt; left_ = y和xp-＆gt; right_ = y is时称为。

显然有多个std :: shared_ptr拥有同一节点对象的对象。 root _，xp-＆gt; left _或xp-＆gt; right _显然不是最后剩下的剩下的std :: shardy_ptr拥有对象。为什么会发生这种情况？

Answer 1

void left_rotate(Node *xp, Node* x) {
    ...
    std::shared_ptr<Node> x_ptr(x);
    ...

创建shared_ptr时，它接管了x的所有权。这里的问题在于，不是您的。其他人，另一个shared_ptr，已经拥有指针的所有权。因此，您在y-＆gt; left = xptr之前进行的某些操作将为shared_ptr拥有x将新值分配给X。

问题在于，您将原始指针用作参数。每当您从shared_ptr中提取指针时，请非常小心对象的使用寿命。提取的原始指针不能保持对象的活力。在功能调用中很难推断的事情。很容易弄乱您的经历。

通过将shared_ptr作为参数传递，可以轻松避免它，因为它们将使您的对象保持生命：

void left_rotate(std::shared_ptr<NodeY> xp, std::shared_ptr<Node> x) {

PS：我希望您的root _也是sharone_ptr。