摘要: 不变量 好的ADT其中最重要的一点就是它会保护/保留自己的不变量。 不变量是一种属性,它在程序运行的时候总是一种状态,而不变性就是其中的一种:一旦一个不变类型的对象被创建,它总是代表一个不变的值。 当一个ADT保护/保留自己的不变量时,对代码的分析会变得更简单。例如,你能够依赖字符串不变性的特点,在 阅读全文
posted @ 2019-06-04 18:31 AllenHIT 阅读(169) 评论(0) 推荐(0) 编辑
摘要: 在做lab6时,实现GUI的过程中,遇到了java.util.ConcurrentModificationException异常,本文讲述了java.util.ConcurrentModificationException异常产生的原因,以及如何处理该异常。 一.ConcurrentModifica 阅读全文
posted @ 2019-06-04 10:44 AllenHIT 阅读(121) 评论(0) 推荐(0) 编辑