如果你使用的是左闭右开, 在归并过程中 $L$ 集合检查的条件是 $l(I) \le 2^\alpha$, 而分裂为 $L, R$ 两集合检查的条件是 $r(I) < 2^\alpha$. 注意两个不等号的不同.