B+树分裂必须从中间切分并上提中间键，以维持平衡性、有序性和叶节点链表完整性；上提非中间键会导致子树范围错位或链表断裂。
分裂时为什么必须从中间切分，且新节点要上提父键
分裂不是随便砍一刀，而是为了维持 B+ 树的平衡性和有序性。当一个 Node 的键数量超过阶数 m-1（即满节点），必须拆成两个合法子节点，且中间键（keys[m/2]）**必须上提到父节点**作为分界——这是 B+ 树保持“所有叶节点在最底层且链接成链表”的前提。如果上提的是别的键，会导致子树范围错位或叶节点链表断裂。
实操建议：
- 分裂前确认当前节点是叶节点还是内节点：叶节点分裂后需更新
next和prev指针，保证链表连续；内节点分裂则只处理键和子指针数组 - 用整数除法取中位索引：
mid = (keys.size() + 1) / 2（注意：B+ 树常用向上取中，确保左子树 ≤ 右子树，尤其在偶数键时） - 上提的键不能保留在原节点，否则重复；也不能留在新节点，否则父节点无法正确路由查询
- 若父节点不存在（即根分裂），需新建根节点，高度+1——这是唯一让树长高的操作
合并与借键前必须检查兄弟节点是否“够借”或“可合”
B+ 树的合并（merge）和借键（borrow）不是无条件触发的，核心判断依据是：当前节点键数 （即低于最小度要求）。但直接合并或借键可能引发连锁反应，比如借键后兄弟变空、合并后父节点欠键。
常见错误现象：Segmentation fault 在递归回溯时访问已释放的 next 指针，或查询返回空结果但实际数据存在——往往源于合并后没重连叶链表。
立即学习“C++免费学习笔记（深入）”；
实操建议：
- 优先尝试借键（从左兄弟或右兄弟），仅当两个兄弟都
keys.size() == min_keys时才合并（避免频繁升降高） - 借键时，内节点要同步移动子指针（例如从右兄弟借键，需把其最左子指针移给当前节点最右）；叶节点只需挪键+调整
next/prev - 合并两个叶节点后，必须修复链表：设被合并节点为
A，接收方为B，则执行A->next->prev = B和B->next = A->next，再delete A - 合并内节点后，父节点要删掉对应键和子指针——别忘了删键后检查父节点是否也欠键，需递归处理
叶节点分裂/合并时 next/prev 指针容易漏修或错连
B+ 树靠叶节点的双向链表支持范围查询（如 SELECT * FROM t WHERE id BETWEEN 10 AND 20），但多数实现只专注键和子树逻辑，把 next 当作“顺手连一下”，结果一合并就断链、一插入就跳过整段数据。
性能影响：链表断裂不会导致崩溃，但会使 range_scan 退化为全树遍历，O(log n) 变 O(n)。
实操建议：
- 每次叶节点分裂，新节点
new_node->next = old_node->next，new_node->prev = old_node，然后old_node->next->prev = new_node，最后old_node->next = new_node - 合并时，若
A合入B（A在B右侧），则先执行B->next = A->next，再A->next->prev = B，顺序反了会丢节点 - 在析构函数里打印
next地址做简单链表校验（调试期），上线后可用轻量断言：assert(next == nullptr || next->prev == this)
std::vector 管理键和指针时要注意移动语义与内存布局
用 std::vector<key></key> 和 std::vector<node></node> 存键和子指针很常见，但 vector::insert 或 vector::erase 触发扩容或搬移时，原始指针会失效——尤其在借键过程中临时修改多个节点的 children，若 vector 重分配，那些存着的 Node* 就成野指针。
实操建议：
- 初始化 vector 时预留容量：
keys.reserve(m)，children.reserve(m + 1)，避免运行中扩容 - 借键/合并涉及跨节点移动指针时，用
std::move而非拷贝（C++11+），减少不必要的构造/析构开销 - 不要在节点内部缓存
children[i]的局部指针变量，除非你确定该 vector 生命周期稳定；更安全的做法是每次访问都用下标索引 - 若用智能指针（如
std::unique_ptr<node></node>），注意std::vector<unique_ptr>></unique_ptr>的移动是安全的，但需显式std::move元素
真正难的不是写对一次分裂，而是让分裂、借键、合并在任意序列插入/删除后仍保持链表不断、键不重、路由不偏。最容易被忽略的，是叶节点 next 指针在合并后的双向重连顺序，以及 vector 扩容导致的指针批量失效——这两处出问题，调试器里看不出逻辑错，但数据就悄悄丢了。
