【发布时间】：2012-03-19 21:28:32
【问题描述】：
我知道这有一个技术术语，我这辈子都不记得了：
在设计一个类（或某种具有函数和数据的东西）时，对对象方法的每次调用都应该使对象的数据保持一致的状态。 “一致”是指符合称为 [X]s 的一系列（希望有文档，通常未编程）约束。
【问题讨论】：
-
我相信这应该在programmers.se上问
标签： oop imperative-programming
【发布时间】：2012-03-19 21:28:32
【问题描述】：
我认为您正在了解“不变量”。
前置条件是在方法执行之前必须为真的事情。不变量是始终公开为真的事物，而后置条件是在方法执行之后为真的事物。
【讨论】：
-
是的，“不变量”是我要找的词。谢谢！