1700439909
编写高质量代码：改善Java程序的151个建议 建议19：断言绝对不是鸡肋
1700439910
1700439911
在防御式编程中经常会用断言（Assertion）对参数和环境做出判断，避免程序因不当的输入或错误的环境而产生逻辑异常，断言在很多语言中都存在，C、C++、Python都有不同的断言表示形式。在Java中的断言使用的是assert关键字，其基本的用法如下：
1700439912
1700439913
assert＜布尔表达式＞
1700439914
1700439915
assert＜布尔表达式＞：＜错误信息＞
1700439916
1700439917
在布尔表达式为假时，抛出AssertionError错误，并附带了错误信息。assert的语法较简单，有以下两个特性：
1700439918
1700439919
（1）assert默认是不启用的
1700439920
1700439921
我们知道断言是为调试程序服务的，目的是为了能够快速、方便地检查到程序异常，但Java在默认条件下是不启用的，要启用就需要在编译、运行时加上相关的关键字，这就不多说，有需要的话可以参考一下Java规范。
1700439922
1700439923
（2）assert抛出的异常AssertionError是继承自Error的
1700439924
1700439925
断言失败后，JVM会抛出一个AssertionError错误，它继承自Error，注意，这是一个错误，是不可恢复的，也就表示这是一个严重问题，开发者必须予以关注并解决之。
1700439926
1700439927
assert虽然是做断言的，但不能将其等价于if……else……这样的条件判断，它在以下两种情况不可使用：
1700439928
1700439929
（1）在对外公开的方法中
1700439930
1700439931
我们知道防御式编程最核心的一点就是：所有的外部因素（输入参数、环境变量、上下文）都是“邪恶”的，都存在着企图摧毁程序的罪恶本源，为了抵制它，我们要在程序中处处检验，满地设卡，不满足条件就不再执行后续程序，以保护主程序的正确性，处处设卡没问题，但就是不能用断言做输入校验，特别是公开方法。我们来看一个例子：
1700439932
1700439933
public class Client{
1700439934
1700439935
public static void main（String[]args）{
1700439936
1700439937
StringUtils.encode（null）；
1700439938
1700439939
}}
1700439940
1700439941
//字符串处理工具类
1700439942
1700439943
class StringUtils{
1700439944
1700439945
public static String encode（String str）{
1700439946
1700439947
assert str！=null：“加密的字符串为null”；
1700439948
1700439949
/*加密处理*/
1700439950
1700439951
}
1700439952
1700439953
}
1700439954
1700439955
encode方法对输入参数做了不为空的假设，如果为空，则抛出AssertionError错误，但这段程序存在一个严重的问题，encode是一个public方法，这标志着是它对外公开的，任何一个类只要能够传递一个String类型的参数（遵守契约）就可以调用，但是Client类按照规范和契约调用enocde方法，却获得了一个AssertionError错误信息，是谁破坏了契约协定？—是encode方法自己。
1700439956
1700439957
（2）在执行逻辑代码的情况下
[
上一页 ]
[ :1.700439908e+09 ]
[
下一页 ]