断言是什么？（编程里面的东西）

68 阅读 0 评论 45 点赞

我是靠谱客的博主昏睡乌冬面，最近开发中收集的这篇文章主要介绍断言是什么？（编程里面的东西），觉得挺不错的，现在分享给大家，希望可以做个参考。

概述

断言其实是防止程序意外出错的一种宏，如果其参数计算为假，则程序发出警告，且退出。
最常见的用法就是在函数入口处保证输入参数的正确性。例如有一个单链表，无头，单向不循环，结点含data,next，现在写一个函数，获取指针所指结点的下一个结点的data：
int GetNext(pNode* pn)
{
//如果为空，则出错，因为没有后续结点，没有这一条的话如果传入NULL则程序运行出错
assert(pNode != NULL)

return(pn->next->data);
}

随风飘扬
没怎么仔细研究。。好像是用来测试是否满足条件的，如果不满足就执行中断 VB.net里面类似 assert.。。。的写法

什么时候用assert。
　　断言是一个包含布尔表达式的语句，在执行这个语句时假定该表达式为 true。如果表达式计算为 false，那么系统会报告一个 Assertionerror。它用于调试目的：
assert(a > 0); // throws an Assertionerror if a <= 0
断言可以有两种形式：
assert Expression1 ;
assert Expression1 : Expression2 ;
　　Expression1 应该总是产生一个布尔值。
　　Expression2 可以是得出一个值的任意表达式。这个值用于生成显示更多调试信息的 String 消息。
　　断言在默认情况下是禁用的。要在编译时启用断言，需要使用 source 1.4 标记：
　　javac -source 1.4 Test.java
　　要在运行时启用断言，可使用 -enableassertions 或者 -ea 标记。
　　要在运行时选择禁用断言，可使用 -da 或者 -disableassertions 标记。
　　要系统类中启用断言，可使用 -esa 或者 -dsa 标记。还可以在包的基础上启用或者禁用断言。
　　可以在预计正常情况下不会到达的任何位置上放置断言。断言可以用于验证传递给私有方法的参数。不过，断言不应该用于验证传递给公有方法的参数，因为不管是否启用了断言，公有方法都必须检查其参数。不过，既可以在公有方法中，也可以在非公有方法中利用断言测试后置条件。另外，断言不应该以任何方式改变程序的状态。