是保持low<val,high>=val，缩减空间