JAVA 断言进行类型匹配 java如何断言异常

在一个具有分析性自我保护能力的程序中常常 使用到断言

断言

假设确信某个属性符合要求，且代码的执行依赖这个属性，则可以使用断言
如：

double y =Math.sqrt(x);

假如可以断定这里的x是一个非负数，原因可能有：

• 是一个结果非负的计算的结果
• x是一个方法参数，方法中限制了x必须为正数输入
• 其他更多对x的正负产生限定的情况

此时我们可能期待对这个数再进行一次小检查

断言：
断言机制允许在测试期间向代码中国插入一些检查，而在产生代码中会删除这些检查

语法：

assert condition;

assert condition:expression;

这两个语句都会判断条件，若为false，则抛出一个AssertionError异常。在第二个语句中，表达式将传入AssertionError对象的构造器。并转化成一个消息字符串

例如想要断言之前的x是一个非负数：

assert x>=0;
assert x>=0:x;
expression部分的值会作为异常对象报告的一部分

要想在检查异常的时候知道判断条件是什么，可以这样：

assert x>=0:"x>=0";

启用和禁用断言：

默认情况下，断言是被禁用的。 可以在运行程序的时候，用

-enableassertions 或 -ea

选项来启用断言。
不必重新编译来启用断言，断言是类加载器的功能

java -enableassertions MyApp 开启断言
java -ea:MyClass -ea:com.mycompany.mylib MyApp
这条命令将为MyClass类和com.mycompany.mylib包所有类打开断言

反之

-disableassertions 或 -da

则是对断言的禁用

使用须知

java中，给出3种处理系统错误的机制，异常、断言和日志。
断言的使用时机：

• 首先要记住，断言失败是致命的、无法恢复的错误！其次，断言检查只在开发测试阶段打开。所以不应该用断言向其他位置发送可恢复性的错误
• 可以在预计正常情况下程序不会到达的地方放置断言 assert false
• 断言可以用于检查传递给私有方法的参数**（对于公有方法，由于是提供给外部有的接口，所以本身必须有相应的参数检验才能保证代码的健壮性）**
• 使用断言类检查类的不变状态，确保任何情况下，某个变量状态必须满足（比如年龄永远不会是负数）
• 一些程序员用注释提供解释文档：

if(i%3==0)
...
if(i%3==1)
...
else//(i%3 ==2)
...

此处可以使用断言替代：

if(i%3==0)
...
if(i%3==2)
...
else
{
assert i%3 ==2;
...
}

日志

书p304起，了解为主，尝试应用。