二分查找跳出循环条件分析