然后考虑合并 [x,mid] 和 [mid+1,y]，那会发生的变化是，[x,mid] 中一些取了的数现在不取了，[mid+1,y] 中一些没取的数现在取了。

为什么合并两边的时候一定会继承原状态啊？