删除二叉搜索树中的单个元素 (C++)

Question

我做了一个二叉搜索树（节点）类：

class BstNode {
public:
    BstNode(int value);
    ~BstNode();
    BstNode* Delete(int value);

    // more methods

private:
    int value_;
    BstNode* left_;
    BstNode* right_;
};

使用如下所示的析构函数：

BstNode::~BstNode() {
    delete left_;
    delete right_;
}

还有一个Delete 函数：

BstNode* BstNode::Delete(int value) {
    // If the value to be deleted is smaller than the root's key,
    // then it lies in the left subtree.
    if (value < value_) {
        if (left_ == nullptr) return nullptr;
        else left_ = left_->Delete(value);
    }

    // If the value to be deleted is larger than the root's key,
    // then it lies in the right subtree.
    else if (value > value_) {
        if (right_ == nullptr) return nullptr;
        else right_ = right_->Delete(value);
    }

    // If the key to be deleted is the same as root's key, then *this*
    // is the node to be deleted.
    else {
        // If this node has no children, then we can just delete it.
        if (left_ == nullptr && right_ == nullptr) {
            delete this;
            return nullptr;
        }

        // If this node has one child, then we can just set this node to
        // that child and delete this node afterwards.
        else if (left_ == nullptr) {
            BstNode* temp = right_;
            delete this;
            return temp;
        }
        else if (right_ == nullptr) {
            BstNode* temp = left_;
            delete this;
            return temp;
        }

        // If this node has two children, then we have to get the "in-order successor"
        // (the smallest node in the right subtree).
        else {
            BstNode *temp = right_->Smallest();

            // Copy that node's value to this node
            value_ = temp->value_;

            // Then delete that value from the right subtree
            right_ = right_->Delete(value_);
        }
    }
    return this;
}

我很困惑的是这个sn-p：

else if (left_ == nullptr) {
    BstNode* temp = right_;
    delete this;
    return temp;
}
else if (right_ == nullptr) {
    BstNode* temp = left_;
    delete this;
    return temp;
}

如果对delete 的调用调用了类的析构函数，我最终不会删除整个子树（右侧或左侧）吗？但是，在测试时，看起来树正在做我希望它做的事情：删除一个节点，并将子子树“向上移动”到“this”所在的位置 - 子树仍然完好无损。

据我所知，执行BstNode* temp = this; 只会将指针 复制到left_ 和right_，然后delete this 调用应该会破坏它们背后的数据。

我是否错过了关于 delete this 的某些内容？

Answer 1

BstNode* temp=left_ 和 BstNode* temp=right_ 会将 left_ 或 right_ 的值存储在临时变量中。在将值存储在 temp 中之后，您正在使用 delete this;。现在，在您使用delete this; 之后，left_ 和 right_ 将被删除，但 temp 仍将保持不变。 delete this; 不会影响 temp 的值（它具有您的左/右子树），您现在可以在相应的右/左子树被删除后返回相应的左/右子树（在这种情况下，无论是 left_或 right_ 指向 NULL）。我希望这有帮助！ 此外，在指向未分配 new 的对象的指针上使用 delete 会产生不可预测的结果，所以要小心！

Answer 2

由于您的 BstNode 析构函数删除了 left_ 和 right_ 节点，因此您会遇到此序列导致的未定义行为：

BstNode* temp = right_;
delete this;
return temp;

在delete this 语句之后，temp 将成为一个悬空指针，因为它指向的对象已被删除。您返回该指针，并将其存储回另一个节点，最终当您取消引用该节点时，任何事情都可能发生 - 包括程序似乎正常工作。

您应该在调用删除之前将right_ 设置为nullptr，或者更改析构函数（和整体销毁顺序）以不删除子节点。