二分查找的两种实现