在命令式编程

Question

的对象上的约束，我知道有一个技术术语，这和我的生活我不记得了技术术语：

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

Answer 1

我认为你在“不变式”。

先决条件是在方法执行之前必须为真的事情。不变量总是公开为真，并且后续条件在方法执行后是事实。