軟件構造（4）- 設計規約

一.行爲等價性 根據規約判斷是否行爲等價 單純的看實現代碼，並不足以判定不同的implmentation是否是「行爲等價的」 需要根據代碼的spec（開發者與client之間形成的contract）判定行爲等價性 在編寫代碼之前，需要弄清楚spec如何協商形成、如何撰寫 例如上述兩方法如果只看代碼顯然不等價，但在下述spec中這兩個方法等價 二.前置與後置條件 前置條件：對客戶端的約束，在使用方法

>>阅读原文<<