c语言标准库assert,C标准库分析之<assert.h&gt

C标准库分析之

2011年 03月 03日 星期四 15:47:42 CST

/* "__FILE__"是预定义的宏(也叫内置宏)，值是所在文件的文件名(字符串字面量) */

/* "__LINE__"是预定义的宏，值是调用的语句所在文件中的行数(是十进制常量) */

/* assert.h standard header */

#undef assert  /* 良性取消assert定义 */

#ifdef NDEBUG

#define assert(test) ((void) 0)    /* 如果已定义了NDEBUG，那么assert函数不执行任何操作 */

#else

void _Assert(char *);

#define _STR(x) _VAL(x)

#define _VAL(x) #x    /* 井号在此是预处理运算符——字符串化运算符 */

#define assert(test) ((test) ? (void) 0 \    /* "(void) 0"表示什么也不做 */

: _Assert(__FILE__ ":" _STR(__LINE__) " " #test))    /* 使用了条件表达式"a ? b : c" */

/* 理解"_STR(__LINE__)":宏定义里有用'#'或'##'的地方宏参数是不会再展开的 */

#endif

/* xassert.c */    /* 库中隐藏的函数和数据对象通常占据以x开头命名的C源文件 */

/* _Assert function */

#include

#include     /* fputs函数在stdio.h中声明 */

#include     /* abort函数在stdlib.h中声明 */

void _Assert(char *mesg)

{

fputs(mesg, stderr);    /* 把字符串写到标准输出流stderr里 */

fputs(" -- assertion failed\n", stderr);

abort();    /* 调用函数abort异常终止程序的执行 */

}

/* 源码来自 The Standard C Library, by P.J.Plauger */

/* 代码注释为原创 */