R:可以理解为所有可能出现的值。A:用户可见值。
RI:合法的可以出现的值,是R的子集。 AF:是R向A中映射的函数关系
比如对于要进行时间处理,时间值得表达有多种多样,可以是差五分九点,也可以是8:55,程序不一定可以识别所有的值,这就需要程序处理合法表达就足够了。
而可见值A就是用户需要的值,如果这个程序用户需要知道某时间是上午还是下午的话,那么A部分的值就是上午或下午。
AF就相当于8:55是上午的映射关系
对于编程人员来说,R, RI, A中的值都是可见的
对于用户(client)来说,只能看到和使用A部分的值
如果程序运行想要不出现错误,则每次程序处理的值要满足RI,那么程序员常常会写checkRep检查输入值是否满足RI,来保证不变量不变。
标签:映射,AF,55,用户,笔记,程序处理,RI 来源: https://www.cnblogs.com/yus-1994/p/13224066.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。