377
附录A Assertion
附录A Assertion
Assertion是Java 1.4版中所加入的一项非常重要的机制
，
它是属于语言层面的
，
也就是说Java中
有了新的关键字
“
assert
”
以及与其相关的语句
。
Java 1.4版本中所有的类也都重新改写
，
并加入了
assertion的机制
，
本章的重点就是要带大家来认识这个新的功能
，
为什么要用assertion
，
以及怎么将
其运用到我们的程序之中
。
本章的学习目标
：
●
了解什么是assertion
●
如何使用assertion
本章预计学习时间为一小时
。
A.1 什么是assertion
Java 1.4版加入了许多新的功能
，
除了新的类库之外
，
对于Java语言本身最重要的一项功能
，
就
是加入了assertion这个机制
。
如果你去查阅英汉字典
，
会发现它是断言
、
主张或是维护的意思
，
以它
的特性来说
，
用
“
维护
”
来形容它会比较贴切一点
。
那么用它来维护什么呢
？
当然是维护我们的程
序
，
让程序更坚固(robust)
，
达到零错误(free of errors)的境界
。
好像夸大了点
，
其实assertion没有这么神奇
，
那为什么要有assertion这项机制呢
？
Assertion最主
要的功能是保证在程序执行时的最基本
、
最关键的正确性
，
Assertion通常用来检查一些关键的值
，
而
当这些值有错误时
，
会对程序本身造成很大的影响
，
进而使得程序无法继续执行下去
。
而这些关键值
的检查与测试
，
都是要在程序开发的过程中完成的
，
当你的程序写好并正式发布出去后
，
是不允许产
生这样的错误的
。
这也是Java把assertion加入到Java语言中的主要目的
。
A.2 Assertion的语法
前面说了那么多
，
感觉使用assertion好像蛮复杂的
，
其实一点也不难
，
难的地方在于如何恰当的
使用它
，
这点笔者会详细的说明
。
Java为了assertion这个机制
，
特别新增了一个关键字
“
assert
”，
而
assert有两种语句
：
assert <检查>;
assert <检查> : <表达式>;
Assert语句中的检查部分
，
指的是一个boolean的判断
，
最后产生的结果不是true就是false
，
它可以是
附 录
