工作一年，工作中接觸的大部分都是些基礎知識，基礎的東西到處都有，我就不重複整理了。之前在系統中寫過一個判斷兩區間是否重複的方法，當時寫完後執行沒問題，再到後來看《編寫可讀程式碼的藝術》時，發現換個角度思考還有更好的辦法，於是準備整理了這篇、也是我在這裡的第一篇部落格。

問題背景：類似收費系統，不同的操作員需要領取不同號段的發票進行收銀、列印，由於發票號在銷售記錄和明細中都作為主鍵，因此在領用發票時需要進行判斷，領用的號段不能與之前的重複。

解決思路：如下圖，很容易能夠想到兩個區間相交的幾種情景：

將要判斷相交的兩區間分別記作[x1,x2)和[y1,y2)，其中x1 < x2,y1 < y2,那麼兩區間相交就有以下幾種情形：
A) y1 < x1 並且 y2 > x2;
B) y1 < x1 並且 y2 > x1;
C) y1 > x1 並且 y2 < x2;
D) y1> x1 , y2 > x2 並且 y1 < x2;

直接將上述條件應用到程式中則可以正確判斷是否有重複。
例，在資料庫中表T為儲存發票領用資訊表，每條資訊記錄一次發票領用情況，有發票的起始號SN，和終止號EN，需要領取的發票號段的起始號為ll_start，終止號為ll_end，以PB語言為例，有：

long ll_count,ll_start,ll_end
/* 給ll_start , ll_end賦值 */

select count(*)
into   :ll_count
from   T
where  (SN < :ll_start and EN > :ll_end)
or     (SN < :ll_start and
 
 EN > :ll_start)
or     (SN > :ll_start and EN < :ll_end)
or     (SN > :ll_start and EN > :ll_end and SN < :ll_end);
/*省略對sqlcode的判斷*/

if ll_count > 0 then   //查出資料證明原有記錄和新記錄有交集
    messagebox('提示','號段重複!')
end if

工作中遇到此問題時，簡單思考之後便寫了上述程式碼，正常情況下也不會出錯，直到看了《編寫可讀程式碼的藝術》一書，正好舉到了這個例子[1]，並且給出了更“優雅”的方法。重新分析之前的程式碼，暴露的問題也很明顯：判斷條件過多不夠簡潔，對以後程式碼維護帶來不便。

結合書中的例子和實際情況，從“反方向”來重新思考這個問題，之前按正常思維找出了有重複的記錄，那麼反過來看不重複的區間有什麼特點，不難看出，不重複的區間滿足以下條件：1.另一個範圍在這個範圍開始前結束；2.另一個範圍在這個範圍結束後開始，如圖：

即不重複的情形：
A) X2 < Y1;
B) X1 > Y2;
明顯地此時判斷條件比之前簡單了很多，程式碼如下：

long ll_count,ll_start,ll_end
/* 給ll_start , ll_end賦值 */

select count(*)
into   :ll_count
from   T
where  not (:ll_start > EN or :ll_end < SN);
/*省略對sqlcode的判斷*/

if ll_count > 0 then   //查出資料證明原有記錄和新記錄有交集
    messagebox('提示','號段重複!')
end if

後續對該問題的進一步思考：例子中每次判斷都通過sql直接查詢資料庫中的全部記錄，由於發票領用都有一定順序，能否只取出幾條關鍵記錄來進行判斷而不影響正確性？

最後，其實這只是一個很簡單的數學問題，但到實際應用到的時候感覺變得不是那麼太簡單了，總結這個例子主要還是想說，遇到問題換個角度來思考，說不準會有新的發現。
最後的最後，這是在CSDN上寫的第一篇部落格，而且部落格這東西感覺已經很少用了，不知道會不會有人看到，也不知道上面寫的有沒有疏忽寫錯的，如果有人看了發現有問題也歡迎指出！

參考文獻:
[1]《編寫可讀程式碼的藝術》,Dustin Boswell，Trevor Foucher