实现B+树时偶数键节点分裂疑问：选4还是7作为根节点？

嘿，这个问题刚好戳中了B+树分裂时的一个关键细节，而且不同教材的分裂策略可能有细微差异，但既然你是跟着《Fundamentals of Database Systems》来实现的，那咱们就紧扣这本书的标准规则来理清楚：

首先明确书中对B+树阶（Order）的定义：阶为m的B+树，每个节点最多拥有m个子节点，因此每个节点的最大键数是m-1（你这里m=4，最大键数3，完全对应）。

当你插入10时，原叶子节点已经有[2,4,7]三个键，插入后变成4个键，触发分裂。按照这本书里的B+树分裂算法（针对叶子节点）：

• 把满节点的4个键分成两部分：左节点保留前⌊m/2⌋个键，也就是前2个：[2,4]
• 右节点保留后⌈m/2⌉个键，也就是后2个：[7,10]
• 将右节点的第一个键（也就是7）复制并提升到父节点，这个键会作为父节点的索引项，用来指向右子树（因为B+树的内部节点键是引导键，指示“大于等于该键的元素在右子树”）

那为什么有人会考虑选4呢？大概率是混淆了B树和B+树的分裂逻辑：B树分裂时会把中间键移到父节点，原节点不再保留；但B+树是复制中间键到父节点，且这个键必须是右子树的最小键，才能满足B+树索引的语义——内部节点的键是对应右子树叶子节点的最小键。

如果选4作为提升键，虽然从结构上暂时能满足“左子树键小于4，右子树键大于4”，但不符合《Fundamentals of Database Systems》中B+树的标准分裂策略，后续插入更多元素时很可能会出现逻辑不一致的问题。

所以结论是：按照你正在用的这本教材，分裂后应该以7作为根节点的键。

内容的提问来源于stack exchange，提问作者Amy.Dj