“顯式的表達假設“，這句話布置適合編碼，也適合和人交往。

不變量

類型會持有某些狀態，不變量則是對這些狀態合法性的一些斷言，每次修改系統狀態的時候都需要顯式的調用這些斷言，如果不滿足不變量，則說明：業務邏輯有問題。

前置條件

類型承擔某些職責的時候需要一定的資源，即：前置條件，如果不滿足前置條件，則說明：調用代碼有問題。

后置條件

客戶遵守了條件，類型必須兌現其承諾，即：后置條件，如果不滿足后置條件·：則說明·：業務邏輯有問提。

后置條件多數采用單元測試給予定義。

效率問題

可以通過條件編譯在合適的時候去除各種斷言。

?

總結

以上是生活随笔為你收集整理的编码原则：不变量/前置条件/后置条件的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。