> 线段树至少要开3倍，两倍的是最少空间

应该是开4倍的空间，因为递归建树的时候可能会涉及到2 * k + 1和 2 * k + 2，虽然实际上已经结束了，当然直接剪掉下一步递归也可以。