命令式编程中对象约束的技术术语

Question

我知道这有一个技术术语，对于我的生活，我记不住了：

在设计类（或某种具有函数和数据的东西）时，对对象方法的每次调用都应使对象的数据保持一致状态。 “一致”意味着符合一系列（希望记录在案，通常没有编程）的约束，称为[X] s。

Answer 1

我认为你正处于“不变量”。

前提是在方法执行之前必须为真的事情。不变量是总是公开为真的东西，后置条件在方法执行后是真实的。