ll和rr单旋转仅适用于直线型失衡,对lr/rl折线型失衡无效;双旋转需先判子节点平衡因子以精准匹配类型,并严防空指针解引用与重复平衡。

LL 和 RR 单旋转为什么不够用?
当插入或删除导致某节点的平衡因子变为 ±2,且失衡路径呈“直线型”时(比如左子树的左子树过高),LL 或 RR 旋转能直接恢复。但若失衡路径是“折线型”——例如左子树的右子树过高(LR 型),或右子树的左子树过高(RL 型)——单旋转后仍会违反 BST 性质或平衡条件。
典型表现是:旋转后某个子树高度没降反升,或者节点的 left->val > val、right->val 这类 BST 违例出现。根本原因是单旋转未调整中间层节点的位置,无法重布关键分支的高度分布。
-
LR失衡必须先对左子节点做RR旋转,再对当前节点做LL旋转 -
RL失衡则相反:先对右子节点做LL旋转,再对当前节点做RR旋转 - 两次旋转后,原失衡节点、其子节点、孙子节点三者的高度关系才重新满足 |h(left) − h(right)| ≤ 1
双旋转中谁该更新 height?顺序怎么卡?
双旋转本质是两次单旋转的组合,但 height 字段不能只在最后更新——中间节点的高度在第一次旋转后就已改变,若延迟更新,第二次旋转计算平衡因子时会用错值,导致误判后续是否还需旋转。
正确做法是:每次单旋转函数(rotateLeft / rotateRight)内部必须立即更新所涉节点的 height;双旋转函数本身不额外维护 height,靠底层单旋兜底。
- 例如
rotateLeft(node)中,先更新node->left高度,再更新node高度 - 写
rotateLR(node)时,先调rotateLeft(node->left),再调rotateRight(node),不插任何 height 计算逻辑 - 若手动在双旋函数里重算 height,极易漏掉某分支,尤其在递归回溯场景下造成高度“漂移”
AVL 插入后触发双旋转的完整判断链
不是所有 balanceFactor == -2 || balanceFactor == 2 都直接进双旋。必须结合子节点的平衡因子进一步区分 LR/RL 类型,否则可能把 LL 当 LR 处理,反而破坏结构。
以 balanceFactor(node) == -2(右高失衡)为例,需检查 node->right 的平衡因子:
- 若
balanceFactor(node->right) == -1→ RL 型 → 执行rotateRL(node) - 若
balanceFactor(node->right) == 1→ RR 型 → 执行rotateRight(node) - 若
balanceFactor(node->right) == 0→ 仍按 RR 处理(标准实现中常归入 RR,因右子树等高时右旋仍能收敛)
同理,balanceFactor(node) == 2 时看 node->left 的平衡因子来定 LL/LR。
代码里最容易漏掉的两个边界点
一是空指针解引用:双旋转中频繁访问 node->left->right 这类二级指针,若中间任一环节为 nullptr(比如插入后首次平衡时子树尚未建全),就会崩溃。必须在进入 rotateLR 前确认 node->left != nullptr && node->left->right != nullptr。
二是递归回溯时的重复平衡:AVL 删除比插入更易触发多层失衡。若在 remove 后从插入点一路向上 rebalance,却未在某层平衡后提前终止(比如某层旋转后高度未变),就可能对更高层做无谓甚至错误的旋转。实际应记录旋转前后子树高度是否变化,仅当变化才继续向上传递平衡请求。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











