二分查找实现的前提是