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 __cplusplus
extern "C"{
#endif
int 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 __cplusplus
extern "C"{
#endif
int 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();
a=-1
这样就关闭了代码中的assert();