我想知道是否有确定特定类别不变性的确定程序，或者它会根据具体情况而变化？
显然，这取决于某些变量并需要语句，但是我的问题是，
我可以遵循某种指南来确定特定类别的最佳不变式吗？
谢谢
最佳答案
按合同设计的概念在适应面向对象的语言时会变得有些复杂。
类不变式是一个属性，在调用一个方法时，该类的每个实例都必须具有的属性（如所有方法的通用前提条件），并且作为回报，每个方法和构造函数在终止时都必须确保其为真（例如常见的后置条件）。
它们对于表达一致性条件非常有用。模拟实际钱包的Wallet类可能具有不变的类，即所含金额始终为正。
与合同的其余部分一样，类不变式是继承的。方法的新实现必须提供与其替换的方法相同的保证。
关于java - 代码中的类不变量，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/16869339/