二叉查找树的删除操作

这两天断断续续看了BST的内容，对其删除操作的递归实现有了一定理解。

删除操作的递归实现：

SearchTree Delete(ElementType X, SearchTree T) { Position TmpCell; if (T == NULL) printf("Element not found/n"); else if (X < T->Element) T->Left = Delete(X, T->Left); else if (X > T->Element) T->Right = Delete(X, T->Right); else if (T->Left && T->Right) { TmpCell = FindMin(T->Right); T->Element = TmpCell->Element; T->Right = Delete(T->Element, T->Right); } else { TmpCell = T; if (T->Left != NULL) T = T->Left; else if (T->Right != NULL) T = T->Right; free(TmpCell); } return T; }

我的理解：

找到需要删除的树节点后，对于该节点，分两种情况考虑。

情况（1），该节点有左子树和右子树：
这种情况下，该节点并不是真正的被释放，而是先找到其右子树的最小值，记为MinRight，（也可以找其左子树的最大值），将该节点的值替换为MinRight；然后在该节点的右子树中释放MinRight所在的节点（出现在情况（2）中），并返回右子树。

情况（2），该节点仅有一颗或没有子树：
如果该节点的左子树非空，改变指向该节点的指针，使它指向左子树；同理如果该节点的右子树非空，改变指向该节点的指针，使它指向右子树；如果没有子树，不做改变指针的操作。最后统一将该节点释放。

递归操作的第二个形参T是指向节点的指针，返回值是可能经过改变后的T（因为没找到X时，T没改变）。