C标准库分析之<assert.h>

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 <assert.h>
#include <stdio.h>    /* fputs函数在stdio.h中声明 */
#include <stdlib.h>    /* 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 */
/* 代码注释为原创 */