為什麼防禦性程式設計不好？

July 20 10:10~11:58

 

防禦性程式設計（defensive programming）建議開發人員在程式碼中包含越多越好的檢查程式以便保護系統模組不會當掉。就算呼叫者（caller）與被呼叫者（callee）都做了相同的檢查也沒關係，反正重複的檢查就算沒有幫助，也不會造成傷害。

▼看個簡單的例子，Storage類別的store()函數負責儲存一個備份。它首先呼叫makeCopy()得到一個Copy物件，然後把這個物件存到Stack裡面。在呼叫Stack的push()函數之前，先確定Copy物件不是null，這裡做了一個防禦性檢查，以免將null物件存到Stack裡面。

 

▼接著看Stack類別的push()函數，假設push()也對傳入的參數做了檢查，在這個例子中，等於store()函數（呼叫者）與push()函數（被呼叫者）都採取防禦性程式設計。多一次檢查總比沒有檢查好吧，從store()函數的角度來看，它怎麼會知道push()函數有沒有對傳入的參數做檢查？所以深為一個負責任的呼叫者，自行檢查傳入的參數也是很正常的作法。

***

依合約設計（Design by Contract；DBC）的發明人Bertrand Meyer在1992年發表於IEEE Computer上面的一篇文章〈Applying “Design by Contract”〉討論過防禦性程式設計的問題。重複的檢查並非沒有傷害，首先它增加了程式的複雜度。程式碼越多，程式的複雜度就越高。試想假設有10個不同的地方都用到push()函數，每一個呼叫者都要重複做一次檢查，這是一種很明顯的「重複程式碼壞味道」。

再者，store()函數的作法看起來好像很負責的檢查Copy物件不是null才呼叫push()函數，但是卻沒考慮到當Copy是null的時候的錯誤處理。也就是說防禦性程式設計原本希望提升系統的強健度，但很可能不小心反而導致忽略應該處理的錯誤狀況。

請鄉民們花個一分鐘思考一下防禦性程式設計的問題是什麼？

***

防禦性程式設計的出發點是：「不信任」。因為你不能信任呼叫者所傳入的參數是否合法，所以你要檢查。因為你不能信任被呼叫者的強健度（應對異常狀況的能力），所以回傳給呼叫者的結果你也要檢查。就好像一個公司的老闆不信任員工，只好不斷的稽查員工的進度、報銷帳目、上下班時間等等。這樣的公司，效率一定不好。

依合約設計的想法很簡單，它把程式設計視為兩個實體（entity）之間的互動，也就是「呼叫者」（caller）與被「呼叫者」（callee）。聽起來有點像廢話，但接下來才是重點，開發人員要幫呼叫者與被呼叫者之間訂定「合約」（contract），以便建立「信任關係」。

合約個概念很簡單，就跟房東與房客需要簽訂租約一樣。或是接案子的甲方、乙方之間需要簽訂契約。兩者的責任如下：

• 呼叫者：又稱為客戶（client），負責保證合約的的前置條件（pre-condition）需要成立。
• 被呼叫者：又稱為提供者、供應商（supplier），負責保證合約的的後置條件（post-condition）需要成立。
  

舉個例子，你（供應商）接了一個App開發外包案，你和業主（客戶）簽了一個合約。業主負責支付50萬（前置條件），你就保證三個月後交付App給他（後置條件）。

***

有了合約的概念，客戶與供應商之間的責任就很清楚了。如果前置條件沒有被滿足，就代表客戶有bug（沒付錢）。如果後置條件沒有被滿足，就代表供應商有bug（沒交貨）。上了法院誰對誰錯很清楚，一切依據合約辦事。

▼回到Storage類別的例子，假設push()函數的合約如下（require代表前置條件，enaure代表後置條件），表示呼叫push()的人必須負責確定傳入的參數不是null：

 

▼如果store()函數沒有對傳入push()的參數做任何檢查，而程式執行的時候因為makeCopy()有bug導致Copy物件的值是null，以下程式便會產生exception。這種exception叫做preconditon violation exception（違反前置條件的例外），代表呼叫者（也就是store()函數）有bug。有bug怎麼辦？就改程式把bug修好。

 

▲看起來這個版本的store()函數好像比較不負責，因為沒有對傳入push()的參數做檢查。但如果採取依合約設計的方法，可以進一步的去探討makeCopy()函數的合約。如果makeCopy()的後置條件保證傳回值不會是null，那麼store()就可以放心的不檢查傳給push()的參數也可以確保程式的正確性。

***

信任這兩個字，是人際關係與程式開發的基石。如果可以透過合約建立程式模組之間的信任關係，便可達到疑者不用，用者不疑。否則只能採取防禦性設計，學習明太祖朱元璋的作法，設立錦衣衛，全國各處布滿眼線。

***

友藏內心獨白：當明太祖好像也不錯耶XD。