首页 > 代码库 > c语言之assert的使用

c语言之assert的使用

assert



作用



程序中关键的地方可以通过assert这个宏来断言。如果断言非真,程序停止,标准错误输出一条具体的错误信息。

但在实战中,程序直接停止是很不好的现象,因此断言只在调试程序使用。














NDEBUG宏



为了在调试中方便使用assert,而在不需要时容易停掉assert的工作,于是有了NDEBUG宏来规定assert的行为。如果定义了这个宏,assert不会起作用。


#ifdef NDEBUG
#define assert(x) ((void)0)
#else
...








头文件的特性


assert.h头文件和别的头文件不同,不具有幂等性。

幂等性就是包含该文件一次到多次,效果相同。



但assert.h文件包含多次,却不一定相同。


一开始就取消了原有的 assert宏的定义


因此打开断言要写成  
#undef NDEBUG
#include<assert.h>

关闭断言要写成
#define NDEBUG
#include<assert.h>




测试


#include <stdio.h>
#include <stdlib.h>


#define NDEBUG
#include <assert.h>
void t1(void)
{
    int i = 0;
    
    assert(i == 0);
    assert(i == 1);
}


#undef NDEBUG
#include <assert.h>
void t2(void)
{
    int j = 0;
    
    assert(j == 0);
    assert(j == 1);
}

#define NDEBUG
#include <assert.h>

int main(void)
{
    int i = 1;
    assert(i == 0);
    t1();
    printf("hello world\n");
    t2();
}


t1函数开始时,取消了断言,因此执行t1不会停止。
t2函数开始时,实行了断言,因此最后t2会停止在 j==1句时。
main函数虽然断言为假,但开始时取消了断言,因此不会停止。




输出结果为:












c语言之assert的使用