Assert(断言) 的用法

Assert

Assert是断言的意思，头文件为assert.h，

assert是一个宏

功 能: 测试一个条件并可能使程序终止

用 法: void assert(int test);

在单元测试中经常使用断言

断言只有在Debug模式下才有效，它可以有两种形式

1.assert Expression1

2.assert Expression1:Expression2

其中Expression1应该总是一个布尔值，Expression2是断言失败时输出的失败消息的字符串。如果Expression1为假，则抛出一个 AssertionError，这是一个错误，而不是一个异常，也就是说是一个不可控制异常（unchecked Exception),AssertionError由于是错误，所以可以不捕获，但不推荐这样做，因为那样会使你的系统进入不稳定状态。

官方解释是：编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设，可以将断言看作是异常处理的一种高级形式。断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言，而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。

通俗一点说：编写代码时，我们假设代码运行到某行时，某些变量的值应该是等于多少，如果不等于，说明程序逻辑不对，可能造成不稳定，

比如，我之前定义了一个变量m ,在程序运行过程中m的值是会改变的，依照正确的思路，程序运行到100行时m的值应该是100，那么，我就在程序的第101行写上 assert(m=100);

如果m==100，那么assert返回true，如果m！=100,那么assert会返回false，程序运行到这里就会出现断言错误，

可见assert很大程度上辅助测试代码的，让代码更强壮更稳定

用法验证：

程序实例1:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32

// 0001.cpp : Defines the entry point for the console application. //   #include "stdafx.h" #include<assert.h> #include<stdio.h> #include<stdlib.h> struct ITEM   {           int key;           int value;       };   void additem(struct ITEM* itemptr)   {           assert(itemptr!=NULL);       }   int main(int argc, char* argv[]) {     additem(NULL);           return 0;       }

　　

实例2：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30

// 0001.cpp : Defines the entry point for the console application. //   #include "stdafx.h" #include<stdio.h> #include<assert.h> #include<stdlib.h>     int main(int argc, char* argv[]) { FILE* fp;   fp=fopen("test.txt","w");//以可写的方式打开一个文件，如果不存在就创建一个同名文件   assert(fp);//所以这里不会出错   fclose(fp);   fp=fopen("noexitfile.txt","r");//以只读的方式打开一个文件，如果不存在就打开文件失败   assert(fp);//所以这里出错   fclose(fp);//程序永远都执行不到这里来       return 0;       }