头文件<assert.h>的目的就是提供宏assert的定义。在程序中可以用这个宏来断言，如果断言是真，则继续执行。如果断言为假，则在标准输入流中输出一条提示信息，并执行终止异常。
通过宏DEBUG控制断言是否有效：如果程序中包含<assert.h>的地方没有定义NDEBUG，则宏assert为活动形式；如果程序中包含<assert.h>的地方定义了NDEBUG，则宏assert为静止形式。即：
当存在
#define NDEBUG
#include <assert.h>
时，下面程序中出现的assert(x==y)不执行任何操作
当存在
#undef NDEBUG
#include <assert.h>
时，下面程序中出现的assert(x==y)不成立时会向输出错误并执行终止异常。
例1：
#define NDEBUG //在取消声明以前的代码段中assert均为静止形式
#include <assert.h>
#include <signal.h>
#include <stdio.h>
#include <stdlib.h>
static int val=0;
static void field_abort(int sig)
{
if(val==1)
{
puts("SUCCESS TESTING <assert.h>");
exit(EXIT_SUCCESS);
}
else
{
puts("FAILURE TESTING <assert.h>");
exit(EXIT_FAILURE);
}
}
static void dummy()
{
int i=0;
assert(i==0);
assert(i==1); //assert为静止形式，故不会发生异常。
}
#undef NDEBUG //取消NDEBUG声明，在define NDEBUG以前assert都是活动形式。
#include <assert.h>
int main ()
{
assert(signal(SIGABRT,&field_abort)!=SIG_ERR);
dummy();
++val;
fputs("Sample assertion failure message -- \n",stderr);
assert(val==0);
puts("FAILURE TESTING <assert.h>");
return(EXIT_FAILURE);
}
执行结果是：
Sample assertion failure message --
t: testAssert.c:41: main: Assertion `val==0' failed.
SUCCESS TESTING <assert.h>
例2：
#include <assert.h> //没有define NDEBUG，故在声明以前assert都是活动形式。
#include <signal.h>
#include <stdio.h>
#include <stdlib.h>
static int val=0;
static void field_abort(int sig)
{
if(val==1)
{
puts("SUCCESS TESTING <assert.h>");
exit(EXIT_SUCCESS);
}
else
{
puts("FAILURE TESTING <assert.h>");
exit(EXIT_FAILURE);
}
}
static void dummy()
{
int i=0;
assert(i==0);
assert(i==1); //活动形式，故会终止
}
#define NDEBUG
#include <assert.h>
int main ()
{
assert(signal(SIGABRT,&field_abort)!=SIG_ERR);
dummy();
++val;
fputs("Sample assertion failure message -- \n",stderr);
assert(val==0);
puts("FAILURE TESTING <assert.h>");
return(EXIT_FAILURE);
}
执行结果是：
t: testAssert.c:28: dummy: Assertion `i==1' failed.
Aborted