軟件構造之不變量

不變量 一個好的抽象數據類型最重要的屬性是它保留了它自己的不變量。對於程序的每種可能的運行狀態，不變量都是程序中永遠爲真的屬性。不變性是我們遇到的第一個至關重要的不變量：不可變對象一旦創建，在整個程序的生命週期內，他都應該保持相同的值。當抽象數據類型保留自己的不變量時，推理代碼變得容易很多。如果我們可以確認字符串永遠不變，那麼當我們調試使用了字符串的代碼時，就可以排除字符串發生改變的可能性 不變性

>>阅读原文<<