3-1 從二分查找法看如何寫出正確的程序

如何寫出正確的程序 設定「循環不變量」，即我們尋找的數據索引一定在該範圍中：[l .. r]。 數組中可查找的數據的索引範圍爲：[0, n-1]，前閉後閉。 設置循環結束條件：當 l <= r，區間 [l ... r] 依然是有效的，數組中僅包含一個元素 設置返回條件： arr[mid] == target，返回mid arr[mid] > target，target在 [mid+1 ... r]

>>阅读原文<<