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

Question

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

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

Answer 1

我认为您正在了解“不变量”。

前提条件是在方法执行之前必须为真的事情。不变量是始终公开为真的事物，而后置条件是在方法执行之后为真的事物。