因为std::map/set底层是红黑树，无法满足B树对磁盘I/O优化、范围查询局部性及自定义阶数控制的需求；手写B树可精确实现t阶约束、节点分裂合并逻辑及叶子/内部节点语义，适用于数据库索引或文件系统等场景。
为什么不用STL而要手写B树
因为 std::map 和 std::set 底层是红黑树，不支持B树特有的批量磁盘I/O优化、范围查询局部性、或自定义阶数控制。如果你在做数据库索引模拟、文件系统元数据管理，或者需要精确控制节点分裂/合并逻辑，就必须自己实现——尤其是想验证 t 阶B树（t ≥ 2）的性质时。
B树节点设计的关键约束
B树每个非根节点必须包含至少 t-1 个关键字，最多 2t-1 个；子节点数比关键字多1，即在 t 到 2t 之间。根节点可例外（允许只有1个关键字）。这些不是“建议”，而是维持树高平衡的硬性条件。
- 用
std::vector存关键字和子指针，别用固定数组——避免越界或浪费空间 - 节点需标记是否为叶子：
is_leaf成员，否则插入时无法判断是否该下推到子树 - 不要把“满”和“溢出”混为一谈：当关键字数 ==
2t时才触发分裂，不是 >=2t-1
insert操作中最容易漏掉的三件事
插入不是简单递归到底再加值。B树要求所有插入最终都落在叶子节点，且中间节点只起索引作用。常见错误是直接在内部节点插入后没处理上溢，导致违反 2t-1 上限。
- 递归插入前，先检查当前节点是否已满（
keys.size() == 2*t - 1），若满则必须先分裂再继续——哪怕还没到叶子 - 分裂时，把中位数（索引
t-1）提给父节点，左边t-1个关键字+t个子指针组成新左节点，右边同样数量组成右节点 - 根节点分裂会产生新根——此时树高+1，且新根只有1个关键字、2个子指针，这是唯一允许根节点关键字数
t-1的情况
示例片段（简化版分裂逻辑）：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
void split_child(Node* parent, int idx) {
Node* y = parent->children[idx];
Node* z = new Node(y->is_leaf);
z->keys.assign(y->keys.begin() + t, y->keys.end());
if (!y->is_leaf) {
z->children.assign(y->children.begin() + t, y->children.end());
}
y->keys.resize(t - 1);
if (!y->is_leaf) y->children.resize(t);
parent->children.insert(parent->children.begin() + idx + 1, z);
parent->keys.insert(parent->keys.begin() + idx, y->keys[t-1]);
}
search和inorder遍历为什么不能照搬二叉搜索树写法
因为一个B树节点含多个关键字，search 要在节点内做线性或二分查找确定走哪个分支；inorder 则需按“子树0 → 关键字0 → 子树1 → 关键字1 → … → 子树k”顺序递归，而不是简单的左-根-右。
-
search中，对节点内关键字用std::lower_bound找第一个 ≥ target 的位置，再根据是否相等及位置决定返回或进对应子树 -
inorder必须显式循环遍历每个关键字，并在每轮后递归对应子树，末尾还要递归最右子树——漏掉任意一个子树都会丢数据 - 调试时打印节点内容，务必同时输出
keys.size()和children.size()，二者差1才是合法状态
真正麻烦的从来不是算法逻辑，而是分裂后父子指针重连、内存泄漏、以及 t=2 和 t=3 在边界上表现不同——比如 t=2 的B树节点最多3个关键字，分裂后左右各1个，中位数上提，极易因索引错位导致空指针访问。
