6.3断言与防御式编程

第2种技术——断言、防御式编程,侧重于correctness。
1设计adt回忆
First Defense: Make Bugs Impossible
Second Defense: Localize Bugs
在这里插入图片描述在这里插入图片描述2断言
(1)断言是啥
断言:在开发阶段的代码中嵌入,检验某些“假设”是否成立。若成立,表明程序运行正常,否则表明存在错误
在这里插入图片描述在这里插入图片描述(2)使用assert的时机
在这里插入图片描述在这里插入图片描述 Java缺省关闭断言,要记得打开(-ea) 断言非常影响运行时的性能
在其他一些开发者眼里,不应该针对参数的合法性使用断言。
即使spec被违反,也不应通过assert直接fail,而是应抛出具体的runtime异常
可以使用断言来测试非公共方法的前置条件,当认为无论client对该类做什么,这些前置条件都正确时(正确性不由client决定)
在public和nonpublic方法中,都可以用断言来处理后置条件

3防御式编程
Murphy’s law:如果事情有变坏的可能,不管这种可能性有多小,它总会发生
4防御式编程的方法
在这里插入图片描述在这里插入图片描述“隔离舱”外部的函数应使用异常处理,“隔离舱”内的函数应使用断言

其他都了解一下就可以了

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值