检查不变量

　　在java的ADT中存在着rep，需要写出RI来限制某个“表示”是否是“合法”的，并且需要随时检查RI是否满足，即使用checkRep方法。

　　今天笔者在复习软构ppt时看到这一点并仔细理解后发现之前一直弄错了一个地方，那就是checkRep只是一个检查方法，只是为了判断你在之前所写的代码中是否处理了RI所要求的情况，即是说，checkRep仅仅是一道保险。而笔者在前两个实验中却将checkRep作为了处理方法，没有理解其真正含义，到这里，也是理解了老师在课堂上所说在方法实现的开头便去判断传参，毕竟要使程序优雅的退出，或抛出异常，或打印错误信息给客户端 ，checkRep终究只是防止程序员犯傻的一个保险措施，并且当有的RI颇为复杂时，checkRep会相当影响程序性能。

　　总结，RI很重要，自己在编程时一定要一直将RI铭记在心，及时处理各种情况，保持程序健壮性和正确性

标签：变量,检查,程序,理解,checkRep,方法,RI
来源： https://www.cnblogs.com/shiinamashiro/p/16367049.html