off-by-one error

 

大小差一。。

就是指某個變數的最大值和最小值可能會和正常值差1，或者迴圈多執行一次/少執行一次。

一般在臨界情況時發生。

 

off-by-one，大小差一錯誤是一類常見的程式設計錯誤。這方面有一個經典的例子OpenSSH.去Google搜尋關鍵詞“OpenSSH off-by-one”可以瞭解相關狀況。具體來說，

1. if(id < 0 || id > channels_alloc)...
2. if(id < 0 || id >= channels_alloc)...
第二句應該是正確的寫法。舉個更通俗的例子：
int a[5],i;
for(i = 1;i < = 5;i++)
    a[i]=0;
上述代碼定義了長度為5的數組a,迴圈的目的是給數組元素初始化，賦值為0.但是,迴圈下標從1開始到5,出現了a[5]=0,這樣的不存在的數組元素.這就是典型的“差一錯誤”(off-by-one).其實，貌似說柵欄柱錯誤(fencepost error)大家更熟悉。我問過身邊的朋友，很多人知道這個問題。
如果你要建造一個100米長的柵欄，其柵欄柱間隔為10米，那麼你需要多少根柵欄柱呢？11根或9根都是正確答案，這取決於是否要在柵欄的兩端樹立柵欄柱，但是10根卻是錯誤的。 我想起來了我高中是數學老師告訴我們的一個很容易犯錯的數學題目。從周一到周五一共有幾天？也許你立即反應5-1=4,但是,下意識你也會說五天，實際上應該是5-1+1=5.轉換到數學，數字1到數字5一共有幾個數字？這裡有一個公式 從M到N，一共有 M-N+1 項.
這個問題寫出來後很簡單，只不過在寫代碼的時候，往往比較容易忽略。尤其在涉及到數組操作兩端界限的時候，如果不是從0開始計數，就要稍微考慮一下咯。