我一开始也认为保持不变量这个东西，只要脑袋记着就行了。既然已经知道你的目标是什么，怎么可能还会破坏不变量呢？写checkRep应该一直都是能正常运行的。
就如同在进入大学生活后，人人都知道要以学习为中心，可是最后同学中总是不乏掉队之辈。或许不是我们忘了要以学习为中心，而是我们没有正确的方法去检验我们是否做到了以学习为中心。
可能有些时候草草应付老师作业，上课去了也吊儿郎当，到期末再在考前一两天匆匆忙忙复习，最后也拿了个不高不低的分数。似乎每一天都很充实而疲倦，这样生活看似也做到了以学习为中心，毕竟也算是中规中矩的分数。但仔细想想不过自我感动罢了，最后真正到面临检验知识扎实与否的时候，就发现自己不过大学里的滥竽充数之辈。
所以checkRep选对了，你才能真实有效的做到保持不变量。不然代码可能因为test用例有部分没覆盖到，留下巨大的error。
我一开始为了保证vertext的list里没有俩点一样，在checkRep里简单粗暴地采用列表转集合，然后看个数是否改变，来判断不变量是否改变，但这种方法忽略了list里每个点都是不同的对象，在set里数量也必然不会变化。所以这个checkRep是压根无效的。这就导致了我在ConcreteVerticesGraph的set方法里因为忽略了==和equals的不同，而引发的破坏不变量没有被发现。进一步导致在后续写GraphPoem的时候，出现error排查原因耗时巨大。
因此写好一个正确的checkRep真的很重要，以上
90
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
