今天在课堂上学习了类的不变式这个概念。教材上的原文是Invariant Properties。解释比较模糊，翻译过来是这样：
类的一个不变量是类的一个性质。对于这个类的每个对象，这个不变量都为“真”。
这个模糊的解释让我非常费解，就上网搜索中文解释，发现更加模棱两可。但是接着往下学的时候渐渐地开始理解了这个概念的含义。其实这个概念非常抽象，现在网络上的解释都不是很准确。
首先，我们都很熟悉Exception异常在Java中的使用。教材中有几句话意思大概如下：
- 会存在一些情况，使我们类中的方法无法保护不变量，从而产生失败。那么我们要如何报告这种失败呢？
- 方法一：返回一个特殊的、代表错误的值。
- 方法二：抛出一个异常。
假设我们有一个
Person类，又有一个ListOfPeron类。后者包含一个定长的Person集合。
ListOfPerson有向集合中增加Person对象的add方法，也有一个删除Person对象的sub方法。
很明显，当我们用add向ListOfPerson对象中加入过多Person时，会发生失败。
很明显，
今天的文章 Java中类的不变式(不变量，invariant)的概念分享到此就结束了，感谢您的阅读。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
如需转载请保留出处：https://bianchenghao.cn/bian-cheng-ji-chu/91893.html