Question

我目前正在使用unique_ptr编写BST。我有布尔函数（删除）来删除数据，然后调用递归函数（removeNode，它返回一个布尔值）来查找节点并将其删除。但是，有时当remove函数返回true时，它会在内存库中引发读取访问冲突。我对返回在函数中的工作原理了解得还不够了解，无法完全理解正在发生的事情。此问题与返回布尔值无关。在函数随后尝试返回调用该函数的“ this”对象时，就会发生访问冲突。

我已经建立了断点，并且递归函数返回就好了。它返回true。我将所有大写字母都放置在发生此错误的行上，因为我不知道如何突出显示该错误。

这是调用递归函数的remove函数

virtual bool removeNode(const T& data)
{
   if (root == nullptr) return false;
   if (data < root->data)
   {
    return removeNode(root->lhChild, root, false, data);
   }
   else if (data > root->data)
   {
    return removeNode(root->rhChild, root, true, data);
   }
   else if (data == root->data)
   {
    if (isLeaf(root))
    {
       root.reset(nullptr);
       --szTree;
       return true;
    }
    else if ((root->lhChild != nullptr) && (root->rhChild != nullptr))
    {
       std::unique_ptr<Node<T>> temp(root->lhChild.get());
       while (temp->rhChild != nullptr)
       {
          temp.reset(temp->rhChild.get());
       }
       root->data = temp->data;
       bool rtn = removeNode(root->lhChild, root, false, temp->data);
       RETURN TRUE;
    }
    else if (root->lhChild != nullptr)
    {
       root->data = root->lhChild->data;
       return removeNode(root->lhChild, root, false, root->data);
    }
    else
    {
       root->data = root->rhChild->data;
       return removeNode(root->rhChild, root, false, root->data);
    }
   }
}

这是递归函数：

bool removeNode(std::unique_ptr<Node<T>>& n, std::unique_ptr<Node<T>>& p, bool isRh, T data)
{
   if (n == nullptr) return false;
   else if (n->data == data)
   {
    if (isLeaf(n))
    {
       n.reset(nullptr);
       if (isRh) p->rhChild.reset(nullptr);
       else p->lhChild.reset(nullptr);
       --szTree;
       return true;
    }
    else if ((n->lhChild != nullptr) && (n->rhChild != nullptr))
    {
       std::unique_ptr<Node<T>> temp(n->lhChild.get());
       while (temp->rhChild != nullptr)
       {
        temp.reset(temp->rhChild.get());
       }
       n->data = temp->data;
       return removeNode(n->lhChild, n, false, temp->data);
    }
    else if (n->lhChild != nullptr)
    {
       p->lhChild = std::move(n->lhChild);
       --szTree;
       return true;
    }
    else
    {
       p->rhChild = std::move(n->rhChild);
       --szTree;
       return true;
    }
   }
   else if (data < n->data) return removeNode(n->lhChild, n, false, data);
   else return removeNode(n->rhChild, n, true, data);
}

如果有帮助，这是内存中发生错误的地方

_NODISCARD pointer get() const noexcept { // return pointer to object
        return this->_Myptr();
    }

错误显示为：

Exception thrown: read access violation.
std::_Unique_ptr_base<Node<std::basic_string<char,std::char_traits<char>,std::allocator<char> > >,std::default_delete<Node<std::basic_string<char,std::char_traits<char>,std::allocator<char> > > > >::_Myptr(...) returned 0xDDDDDDFD. occurred

它应该像往常一样返回true，但是由于某种原因，它很难返回调用该函数的对象。由于我对函数返回时发生的情况知之甚少，我什至都不知道如何解决此问题。

Answer 1

这是因为unique_ptr之一的析构函数导致访问冲突。

这是因为您多次删除一个对象。销毁unique_ptr时，它还会删除其指向的对象。同样，在unique_ptr上调用reset也会删除它先前指向的对象。

所以当你这样做

while (temp->rhChild != nullptr)
{
    temp.reset(temp->rhChild.get());
}

实际上，您在查看它们后将删除所有仍在树中的所有这些节点。但是，树中的unique_ptr（大概）仍指向那些已删除的节点。因此，悬空指针存在问题。

为什么我的bool函数返回true会导致读取访问冲突？

1 个答案: