《代碼之美》第7章 漂亮的測試 的bad smell

 這章基於二分查找討論了一個漂亮的測試應該怎麼做。
先看看原文怎麼做。這裏的討論省略了隨機，性能，數組中元素重複，以及輸入爲null的情況。

public void testBinarySearch() { int[] testArray = ...; int target = ...; int returnValue = Util.binarySearch(testArray, target); // 當returnValue爲-1的時候,數組中沒有target. assertTheory1(testArray, target, returnValue); // 當returnValue大於等於0的時候，數組中returnValue的值等於target. assertTheory2(testArray, target, returnValue); // 當數組中沒有target時,應該返回-1. assertTheory3(testArray, target, returnValue); // 如果testArray在位置n上包含target,那麼binarySearch(testArray,target)必須返回n. assertTheory4(testArray, target, returnValue); } private void assertTheory1(int[] testArray, int target, int returnValue) { if (returnValue == -1) { assertFalse(arrayContainsTarget(testArray, target)); } } private void assertTheory2(int[] testArray, int target, int returnValue) { if (returnValue >= 0) { assertEquals(target, testArray[returnValue]); } } private void assertTheory3(int[] testArray, int target, int returnValue) { if (!arrayContainsTarget(testArray, target)) { assertEquals(-1, returnValue); } } private void assertTheory4(int[] testArray, int target, int returnValue) { assertEquals(getTargetPosition(testArray, target), returnValue); } private int getTargetPosition(int[] testArray, int target) { for (int i = 0; i < testArray.length; i++) { if (testArray[i] == target) return i; } return -1; }

作者先是建立了Theory1,2作爲驗證的手段，然後發現Theory1,2有漏洞，於是補充上Theory3,4形成一個測試組。

但是仔細研究這段代碼發現還是有問題的。
一個很微小的瑕疵就是Theory4的定義和實現不一致，Theory4的code驗證包含了Theory4的理論推理。

本來這個也沒有什麼了不起，但是讓我們從頭開始回顧爲什麼要測試二分查找。
答：簡單的查找不容易錯但是慢，所以我們需要速度快的二分查找。
但是二分查找涉及了一些求中值啊，改變上下限的操作，容易出錯，所以我們需要測試二分查找。

Aha，getTargetPosition本身就是一個符合二分查找規範的簡單查找（除了性能），而且因爲其簡單，我們肉眼檢查可以確信該實現是正確的。思路來了，用一個正確的慢的實現去驗證一個快的實現。

原來的Theory1,2,3,4變成了一個，任何情況下，二分查找應該和一個符合二分查找功能規範（除了性能）的簡單查找的結果相同。

Refine後的代碼如下。

  public void testBinarySearch() { int[] testArray = new int[10]; int target = 0; int returnValue = Util.binarySearch(testArray, target); assertEquals(getTargetPosition(testArray, target), returnValue); } private int getTargetPosition(int[] testArray, int target) { for (int i = 0; i < testArray.length; i++) { if (testArray[i] == target) return i; } return -1; } 
嗯，code變少了，更簡潔漂亮了，I like it。