軟件構造3.2 Spec

3.2 Specification 方法的規約Spec 規約示例 靜態類型聲明是一種規約，可據此進行靜態類型檢查static checking; 方法前的註釋也是一種規約，但需人工判定其是否滿足 規約作用 規約可以隔離「變化」，無需通知客戶端； 規約也可以提高代碼效率； 規約：扮演「防火牆」角色； 行爲等價性 根據規約判斷是否行爲等價。不同函數符合同一規約，則它們等價。 例： 行爲不同，但滿足同一

>>阅读原文<<