程序设计里面的断言是什么？？？Java里面的assert,assert.h又是什么？？？

（一）首先明确：

java断言Assert是jdk1.4引入的。

jvm 断言默认是关闭的。

断言是可以局部开启的，如：父类禁止断言，而子类开启断言，所以一般说“断言不具有继承性”。

断言只适用于复杂的调试过程。

断言一般用于程序执行结果的判断，千万不要让断言处理业务流程。

（二）判断eclipse是否开启了断言，代码如下：

public class AssertTest {

public static void main(String[] args) {

boolean isOpen = false

assert isOpen=true//如果开启了断言，会将isOpen的值改为true

System.out.println(isOpen)//打印是否开启了断言

}

}

执行上面代码，如果打印 true说明已经启用了断言，如果为 false 则没有启用断言。

如果没有启用断言，则按按照下面方法开启断言。

（三）eclipse中开启断言

选择菜单：Run --->Run... --->选择 Arguments 选项卡

在 VM arguments 文本框中输入： -ea 注意 中间没有空格，如果输入 -da 表示禁止断言。

然后关闭该窗口，提示保存，然后保存就开启了断言。如下图：

再次执行第二步 *** 作，如果打印true，说明开启断言成功。

如果禁止断言，则按第二步 *** 作中，删除 -ea 或者将 -ea 改为 -da 即可。

（四）断言使用

第 1 种使用方法：

public static void main(String[] args) {

boolean isOk = 1>2

assert isOk

System.out.println("程序正常")

}

因为 1>2 显然是错误的，所以执行结果抛出异常：Exception in thread "main" java.lang.AssertionError

如果把 1>2 改为 1<2 则程序能顺利执行，打印 “程序正常”

第 2 种使用方法：

public static void main(String[] args) {

boolean isOk = 1>2

try{

assert isOk : "程序错误"

System.out.println("程序正常")

}catch(AssertionError err){

System.out.println(err.getMessage())

}

}

assert 后面跟个冒号表达式。如果冒号前为 true，则冒号后面的被忽略。

如果冒号前为false，则抛出AssertionError ， 错误信息内容为冒号后面的内容，上面程序执行结果就是打印："程序错误"

（五）有关断言的更多参数：

-ea java -ea 打开所有用户类的assertion

-da java -da 关闭所有用户类的assertion

-ea:<classname>java -ea:MyClass1 打开MyClass1的assertion

-da:<classname>java -da: MyClass1 关闭MyClass1的assertion

-ea:<packagename>java -ea:pkg1 打开pkg1包的assertion

-da:<packagename>java -da:pkg1 关闭pkg1包的assertion

-ea:... java -ea:... 打开缺省包(无名包)的assertion

-da:... java -da:... 关闭缺省包(无名包)的assertion

-ea:<packagename>... java -ea:pkg1... 打开pkg1包和其子包的assertion

-da:<packagename>... java -da:pkg1... 关闭pkg1包和其子包的assertion

-esa java -esa 打开系统类的assertion

-dsa java -dsa 关闭系统类的assertion

综合使用 java -dsa:MyClass1:pkg1 关闭MyClass1和pkg1包的assertion

断言的解释是：十分肯定地说出的话。

词语拼音：duàn yán。

词语注音：ㄉㄨㄢˋ ㄧㄢˊ。

词语解释：

1、十分肯定地说

例：断言这样的作法会使肉在煮时收缩

2、也指十分肯定地说出的话。

辞书释义：

汪辟疆 《唐人小说·＜三水小牍＞叙录》：“果其有之，以 姚咨 之媚古成癖， 秦汴 之搜采逸文，当不致轻于割弃，可断言也。” 马南邨 《燕山夜话·从慧深的国籍说起》：“根据上面这些材料，我们可以断言， 慧深 至少是当时发现 美洲 大陆的最突出的人物之一。” 沙汀 《淘金记》五：“他们断言，凡事有了他就不吉利。”

编程术语中的断言是什么意思？

断言(assertion)是一种在程序中的一阶逻辑(如：一个结果为真或假的逻辑判断式)，目的为了表示与验证软件开发者预期的结果——当程序执行到断言的位置时，对应的断言应该为真。若断言不为真时，程序会中止执行，并给出错误信息。

编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设。程序员相信在程序中的某个特定点该表达式值为真，可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新启用断言。

使用断言可以创建更稳定、品质更好且 不易于出错的代码。当需要在一个值为FALSE时中断当前 *** 作的话，可以使用断言。单元测试必须使用断言（Junit/JunitX）。

除了类型检查和单元测试外，断言还提供了一种确定各种特性是否在程序中得到维护的极好的方法。

使用断言使我们向按契约式设计更近了一步。

---