LL/RR单旋转仅适用于同向失衡,当较高子树反向倾斜(如root→left→right深)时无法提升孙子节点高度,故需LR/RL双旋转组合;其核心是先子树反向单旋“摆正”,再主节点单旋提孙为根,且必须严格遵循指针重连→自下而上更新高度的顺序。

LL/RR 单旋转为什么不够用?
当插入节点导致某子树高度差达到 2,且失衡节点的**较高子树本身也朝同一方向倾斜**时,LL 或 RR 单旋转就能恢复平衡。但一旦较高子树“反向倾斜”,比如失衡在 root,左子树高,但左子树的右子树更高(即 root->left->right 深),单旋转会保留高度差 —— 因为旋转后原 root->left->right 子树仍悬在底层,无法提升其高度层级。
这时必须先对子树做一次反向单旋(如先对 root->left 做 LR 中的 L 旋转),把它“摆正”,再对 root 做主旋转(R)。这就是双旋转的本质:两次单旋的组合,目标是把最深的那个孙子节点提上来作为新根。
LR/RL 双旋转的代码结构怎么写才不易错?
关键不是堆逻辑,而是统一处理节点指针重连和高度更新的顺序。常见错误是:先改了 parent 的子指针,再调子旋转,结果子旋转内部又去改同一指针,造成悬挂或重复释放。
正确做法是:子旋转函数返回新子树根,主函数只负责接回、更新高度:
-
rotateLR(Node* x)内部先调rotateL(x->left),拿到新左子树根newLeft,再令x->left = newLeft,最后调rotateR(x) - 所有旋转函数(包括单旋)都必须返回旋转后的子树新根,调用方负责赋值给父节点对应字段(
parent->left或parent->right) - 高度更新必须放在旋转指针调整完成之后,且只更新直接受影响的 2~3 个节点:
x、y(原子节点)、以及必要时y->left/y->right
示例片段(LR 旋转核心):
Node* AVLTree::rotateLR(Node* x) {
x->left = rotateL(x->left); // 先左旋其左子树
return rotateR(x); // 再右旋x自身
}
高度更新顺序错了会导致什么?
AVL 高度定义为 max(height(left), height(right)) + 1,它依赖子树当前真实高度。如果在指针还没连好时就调 updateHeight(x),会读到旧子树高度,算出错误的新高度,后续平衡因子判断就会失效,可能漏触发旋转或误触发。
典型陷阱场景:
- 在
rotateR中,先执行y->right = x,但没等x->left和y->left连完,就调updateHeight(y)→ 此时y->left还是空或旧值,height(y)被低估 - 在插入递归回溯中,对某个
node更新高度后,紧接着判断getBalance(node),但如果该 node 的子指针刚被上层旋转改过、而高度未同步更新,平衡因子计算就错
所以原则只有一条:任何指针域修改完成后,立即更新涉及节点的高度;且更新顺序从下往上(先孙、再子、最后父)。
为什么 RL 旋转不能简单套用 LR 的镜像代码?
可以套,但容易因左右命名混淆翻车。比如把 rotateR(x->right) 写成 rotateR(x->left),或者在 RL 的第二步调了 rotateL(x) 而不是 rotateL(x) —— 看似一样,实则第一步已经把 x->right 换掉了,第二步的 x 是同一个地址,但它的 right 字段已变。
更稳妥的做法是:为 LR 和 RL 各写独立函数,不复用单旋函数名以外的逻辑;所有子节点访问严格用 ->left / ->right,不引入中间变量别名(如 child、grand)除非明确注释其指向;调试时打印每步后的 height 和 balance,确认三节点高度链符合预期(例如 RL 后,新根应等于原 x->right->left 的高度 +1)。
真正难的不是写对一次,而是让整棵树在多次插入/删除后仍稳定在 |balance| ≤ 1。高度更新时机、指针赋值顺序、递归回溯中是否漏更新——这三点漏掉任一,测试用例跑过几个就崩。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











