求教一下大佬，为什么二分法中最后退出循环的left一定是数组区间和呢