ICode9

精准搜索请尝试: 精确搜索
首页 > 其他分享> 文章详细

检查不变量

2022-06-11 23:03:11  阅读:110  来源: 互联网

标签:变量 检查 程序 理解 checkRep 方法 RI


  在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

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有