0001 template <typename T> Rank RedBlack<T>::updateHeight( BinNodePosi<T> x ) { //更新节点高度
0002    return x->height = IsBlack( x ) + max( stature( x->lc ), stature( x->rc ) ); //孩子黑高度通常相等，除非出现双黑
0003 }