C语言assert宏的使用

首先说明一点，assert是c语言中的宏，不是一个函数

assert的介绍：

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

简单点说，就是可以在调试阶段使用断言，在调试结束后关闭断言以避免不必要的错误。

assert() 宏用法

注意：assert是宏，而不是函数。在C的assert.h头文件中。

assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：

1

2

3

4

5

6

#defineassert(expr)\

((expr)\

?__ASSERT_VOID_CAST(0)\

:__assert_fail(__STRING(expr),__FILE__,__LINE__,__ASSERT_FUNCTION))

 

/*DefinedInGlibc2.15*/

assert的作用是先计算表达式expr，如果其值为假（即为0），那么它会打印出来assert的内容和__FILE__, __LINE__, __ASSERT_FUNCTION，然后执行abort()函数使kernel杀掉自己并coredump（是否生成coredump文件，取决于系统配置）；否则，assert()无任何作用。宏assert（）一般用于确认程序的正常操作，其中表达式构造无错时才为真值。完成调试后，不必从源代码中删除assert()语句，因为宏NDEBUG有定义时，宏assert()的定义为空。^[1] 

废话少说，下面是两个简单的例子：

#include <stdio.h>#include <assert.h>#ifdef __cplusplusextern "C"{#endifint main(void){   int a = 5;   printf("a=%d\n",a);

   a=-1;   assert(a>0);   printf("a=%d\n",a);   return 0;}#ifdef __cplusplus}#endif

最后的结果：

通过上面的例子可以知道，当一些我们不需要的情况或者判断条件出现时，即assert（）宏中的条件为假时，就会打印出错误信息，在哪个函数出错，错误在哪个文件的多少行等信息，并且程序终止运行。

上面的属于在调试代码的时候可以使用assert宏来帮助调试，当调试结束为了工程的稳定性需要关闭这样的判断，如果代码中有很多这样的判断和宏的使用，那么一个一个从代码中删除不仅容易掉，而且效率也很低，其实提供了一个方法可以直接将代码中的所用的assert()宏都关闭

那就是在申明头文件前加上一个宏定义，申明NDEBUG

具体例子如下：

#include <stdio.h>#define NDEBUG /*该声明需要在包含头文件之前*/#include <assert.h>#ifdef __cplusplusextern "C"{#endifint main(void){   int a = 5;   printf("a=%d\n",a);   a=-1;   assert(a>0);   printf("a=%d\n",a);   return 0;}#ifdef __cplusplus}#endif

输出结果：

a=5
a=-1
这样就关闭了代码中的assert();