RedType temp = L.rlow; // 暂存当前要调整的根节点
int j;
// 沿关键字较大的孩子结点向下筛选
for (j = 2 * low; j <= high; j *= 2)
{
// 找到左右孩子中关键字较大的那个
if (j < high && L.rj.key < L.rj+1.key)
j++;
// 若根节点关键字大于等于孩子结点，无需调整
if (temp.key >= L.rj.key)
break;
// 孩子结点上移到根节点位置
L.rlow = L.rj;
low = j; // 继续向下筛选
}
L.rlow = temp; // 将暂存的根节点放到最终位置