软件构造---断言和异常

编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设。

可以将断言看作是异常处理的一种高级形式

断言的格式

assert [boolean 表达式]

或者

assert [boolean 表达式 : 错误表达式 （日志）]

如果为true,表示断言成功,程序继续执行,如果为false, 会抛出AssertionError,继承Error类

单元测试必须使用断言（Junit/JunitX）
除了类型检查和单元测试外，断言还提供了一种确定个种特性是否在程序中得到维护的极好的方法
使用断言使我们向按契约式设计更近了一部

常见的断言特性

前置条件断言：代码执行之前必须具备的特性
后置条件断言：代码执行之后必须具备的特性
前后不变断言：代码执行前后不能变化的特性

不可用的情况:

A: 对外公开的方法.

B.执行逻辑代码.assert的支持是可选的,开发中可以运行,生产系统中就不要运行了,所以不能执行逻辑代码,否则会因为环境不同产生不同逻辑.

常见异常类

Error类

LinkageError 一个类对另一个类有某种依赖关系，前者编译后，后者做了不想容的修改

VirtualMachineError java虚拟机被中断或者没有必需的资源可用

AWTError GUI实时系统的严重错误

AssertionError 一个断言失败

Execption类

ClassNotFoundException 企图使用一个不存在的类

CloneNotSupportedExecption 企图克隆一个对象

IOException 与输入/输出相关的操作

AWTExecption GUI组件异常

RuntimeException类

ArithmeticException 一个整数除以0

NullPointException 企图通过null引用变量访问一个对象

IndexOutofBoundsException 数组的下标超出范围

IllegalArgumentException 将一个无效或不合适的参数传递个方法

还可以自定义异常

一般使用try…catch来捕获异常。