avl树合并与分裂需在插入/删除失衡后执行旋转、高度重置、子树重组三重操作；节点须含signed int height成员并实时更新；旋转分ll/lr/rr/rl四种，按平衡因子触发；分裂需保证左右树节点数差≤1，合并要求左树最大值小于右树最小值。
实现 AVL 树的节点合并与分裂，需在标准插入/删除引发失衡后，精准执行旋转+高度重置+子树重组三重操作，否则高度差超 1 的节点将长期残留，导致后续查找退化为 O(n)。
AVL 节点结构定义与高度维护基础
定义节点结构时必须内嵌 height 成员，并初始化为 1；height 必须在每次子树变更后立即更新，否则旋转后高度值错误会直接破坏平衡判断逻辑。
struct AVLNode { int val; AVLNode* left; AVLNode* right; int height; AVLNode(int x) : val(x), left(nullptr), right(nullptr), height(1) {} };
【height 必须用 signed int 类型，不可用 size_t——当左子树为空时 height(left) 为 0，右子树高度为 1，差值为 -1，无符号类型会导致溢出成极大正数】
获取节点高度与计算平衡因子
封装 height() 函数，对空指针返回 0，避免每次调用前判空；平衡因子 = 左子树高度 − 右子树高度，该值必须严格落在 [−1, 1] 区间内才视为平衡。
int getHeight(AVLNode* node) { return node ? node->height : 0; }
int getBalanceFactor(AVLNode* node) { return node ? getHeight(node->left) - getHeight(node->right) : 0; }
四种旋转操作的触发条件与执行路径
失衡节点 N 的平衡因子决定旋转类型：BF(N) == 2 且 BF(N→left) == 1 → LL 型 → 右旋；BF(N) == 2 且 BF(N→left) == −1 → LR 型 → 先对 N→left 左旋 → 再对 N 右旋。
BF(N) == −2 且 BF(N→right) == −1 → RR 型 → 左旋；BF(N) == −2 且 BF(N→right) == 1 → RL 型 → 先对 N→right 右旋 → 再对 N 左旋。
右旋操作：令 newRoot = node→left；node→left = newRoot→right；newRoot→right = node；随后按 bottom-up 顺序更新 node 和 newRoot 的 height。
左旋操作：令 newRoot = node→right；node→right = newRoot→left；newRoot→left = node；同样必须更新二者 height。
插入后自底向上回溯修复平衡
第一步：递归插入到叶子位置，返回插入后子树新根；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
第二步：更新当前节点 height = max(getHeight(left), getHeight(right)) + 1；
第三步：计算当前节点平衡因子，若绝对值 > 1，则根据左右子节点 BF 值选择对应旋转；
第四步：旋转完成后，新根成为该子树返回值，原节点自动降级为子节点，其 height 已在旋转函数内重算；
注意：旋转后必须返回 newRoot，否则父层将链接到旧节点，导致树结构断裂。
分裂 AVL 子树：以中位数为界切分两棵合法 AVL 树
方法一（基于中序遍历重构）：先中序遍历目标子树得到有序数组，取下标 mid = size/2 处元素作为分裂点值 v；构造左树含 [0, mid) 元素，右树含 (mid, size) 元素；分别调用 buildAVLFromSortedArray 构建两棵新 AVL 树。
方法二（原地分裂，不额外空间）：从待分裂子树根出发，沿左子树高度 > 右子树高度的方向持续下降，直到某节点满足 |getHeight(left) − getHeight(right)| ≤ 1 且左、右子树规模均 ≤ ⌊n/2⌋；将其设为新左树根，原树剩余部分通过 detach 操作剥离右链并重建为右树。
【分裂必须保证左右两树节点数差 ≤ 1，否则无法满足 AVL 定义中“任一节点左右子树高度差不超过 1”的结构性要求】
合并两棵 AVL 树：要求左树最大值
步骤一：从左树取最右节点 L_max，从右树取最左节点 R_min；验证 L_max→val
步骤二：新建节点 pivot，值设为 L_max→val；pivot→left = L_max→left；pivot→right = R_min；
步骤三：将 L_max 父节点的 right 指针置为 pivot；将 R_min 父节点的 left 指针置为 pivot；
步骤四：从 pivot 开始向上回溯，逐层更新 height 并检测平衡因子，遇失衡立即旋转修复，直至根节点；
这一步操作起来很简单，但必须从 pivot 而非原两棵树的旧根开始修复，否则中间路径上的失衡会被跳过。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
