在命令式編程

Question

的對象上的約束，我知道有一個技術術語，這和我的生活我不記得了技術術語：

當設計一個類（或某種東西與一個函數和數據），每次調用對象的方法都應該使對象的數據保持一致的狀態。 「一致性」意味着符合一系列（有希望記錄，通常未編程）稱爲[X]的約束。

Answer 1

我認爲你在「不變式」。

先決條件是在方法執行之前必須爲真的事情。不變量總是公開爲真，並且後續條件在方法執行後是事實。