红黑树伪代码冗余

Question

在Algorithms Third Edition的介绍中，他们有一个红黑树删除的伪代码实现。这是......

RB-DELETE(T, z)
    y = z
    y-original-color = y.color
    if z.left == T.nil
        x = z.right
        RB-TRANSPLANT(T, z, z.right)
    elseif z.right == T.nil
        x = z.left
        RB-TRANSPLANT(T, z, z.left)
    else
        y = TREE-MINIMUM(z.right)
        y-original-color = y.color
        x = y.right
        if y.p == z
                x.p = y       // <--------- why????
        else
                RB-TRANSPLANT(T, y, y.right)
                y.right = z.right
                y.right.p = y
        RB-TRANSPLANT(T, z, y)
        y.left = z.left
        y.left.p = y
        y.color = z.color
    if y-original-color == BLACK
        RB-DELETE-FIXUP(T, x)

TREE-MINIMUM只找到树中的最小值，RB-TRANSPLANT取第二个参数的父级，并指向第三个参数，第三个参数的父级是第二个参数的父级。

通过我的评论，他们测试y.p是否为z，如果是，则将x.p设置为y。但是x已经是y.right，所以这就像说y.right.p = y，但是y.right.p已经是y了！他们为什么这样做？

以下是他们的解释......

  

“但是当y的原始父级是z时，我们不希望x.p指向y的原始父级，因为我们正在从树中删除该节点。因为节点y将向上移动以在树中取z的位置，所以将x.p设置为第13行中的y会导致x.p指向y父节点的原始位置，即使x == T.nil。“

所以他们想让x的父母保持为...它已经是y ...

Answer 1

他们在文中说x也可以是Nil，即当y.right为Nil时。似乎Nil在这个代码中也由一个节点表示，并且他们不想留下悬空指针。