AVL树合并与分裂需同步更新高度和平衡因子、正确触发四种旋转、递归或迭代修复祖先节点。具体包括：基于高度差的分裂旋转、自底向上合并、栈式路径修正、惰性标记延迟平衡。
如果您在实现 C++ 中 AVL 树的节点合并与分裂操作时发现高度失衡、旋转逻辑异常或子树结构错乱，则可能是由于合并与分裂过程中未同步更新平衡因子、未正确触发四种旋转、或未递归修复路径上所有祖先节点的高度与平衡状态。以下是实现该维护逻辑的具体方法：
一、基于高度差触发的分裂操作
分裂操作适用于某节点的左右子树高度差绝对值超过 1 且该节点本身为“过载根”，需将其拆分为两个独立 AVL 子树，同时保留中序遍历顺序。分裂必须从待处理节点开始向上回溯修正高度与平衡因子，并在必要时执行旋转。
1、计算当前节点左子树与右子树的高度差：int bf = getHeight(node->left) - getHeight(node->right)。
2、若 bf > 1 && getHeight(node->left->left) >= getHeight(node->left->right)，执行右单旋（LL型），并将原节点设为右旋后的新右子树根。
立即学习“C++免费学习笔记（深入）”；
3、若 bf > 1 && getHeight(node->left->right) > getHeight(node->left->left)，先对 node->left 执行左单旋，再对 node 执行右单旋（LR型）。
4、若 bf right->right) >= getHeight(node->right->left)，执行左单旋（RR型）。
5、若 bf right->left) > getHeight(node->right->right)，先对 node->right 执行右单旋，再对 node 执行左单旋（RL型）。
6、完成旋转后，调用 updateHeightAndBF(node) 更新当前节点及其子节点的高度与平衡因子。
二、自底向上递归的合并操作
合并操作将两棵 AVL 树 T1 和 T2 与一个中间键值 key 合并为一棵新 AVL 树，要求 T1 中所有键小于 key，T2 中所有键大于 key。关键在于选取合适根节点并维持整条插入路径的平衡性，避免逐层重复调整。
1、构造临时节点 newRoot = new AVLNode(key)，将其左指针指向 T1 的根，右指针指向 T2 的根。
2、调用 recomputeHeightAndBF(newRoot) 计算 newRoot 高度与平衡因子，不立即旋转。
3、沿 newRoot 向上回溯至两棵树的最近公共祖先位置，对路径上每个节点执行 balanceNode(node) 函数，该函数内部封装了全部四种旋转判断与执行逻辑。
4、若某祖先节点触发旋转，旋转后须重新设置其父节点对应子指针，并继续向上检查父节点是否仍失衡。
5、最终返回经完整路径平衡后的根节点，确保整棵树满足 AVL 性质。
三、非递归路径修正的分裂-合并混合策略
当需频繁执行合并与分裂（如区间 AVL 树或持久化 AVL 场景），递归回溯开销显著。此策略改用栈显式保存从操作节点到根的路径，逐层弹出并校验平衡状态，避免函数调用栈深度限制与重复访问。
1、初始化空栈 std::stack
2、弹出栈顶节点 node，执行 updateHeightAndBF(node)，再计算其平衡因子。
3、若 abs(node->bf) > 1，根据左右子树高度关系选择对应旋转类型，并更新 node 及其子节点指针。
4、若发生旋转，新生成的子树根可能改变，需将该新根重新接入其原父节点对应侧，并将父节点再次压入栈中以重新校验。
5、重复步骤 2–4 直至栈为空。
四、惰性标记驱动的延迟平衡机制
针对高吞吐批量合并/分裂场景，可引入惰性标记字段 bool needsRebalance，仅在节点子树高度变化且当前 bf 绝对值达临界阈值（如 |bf| == 2）时置位，推迟实际旋转至下一次访问该节点路径时统一处理，降低即时计算压力。
1、每次插入、删除、合并或分裂导致子树高度变更后，设置 node->needsRebalance = (abs(node->bf) == 2)。
2、在 find、get 等只读操作中，若沿路径遇到 needsRebalance == true 的节点，则立即执行 balanceNode 并清除标记。
3、在合并入口函数中增加预检：遍历 T1 最右路径与 T2 最左路径，对所有 needsRebalance == true 的节点提前执行 balanceNode。
4、所有旋转函数内部均需同步更新被旋转节点及其新子节点的 needsRebalance 标记状态。
5、updateHeightAndBF 函数末尾添加逻辑：若更新后 abs(node->bf) == 2，则设 node->needsRebalance = true。
