assert

关于C标准库中的assert.h（阅读《The Standard C Library》）

nrush@2018/10/16
个人学习笔记，若有错误，欢迎交流指正。

1.assert.h的目的

assert.h的主要功能是对断言宏assert()进行定义。

2.assert.h的使用及示例源码

2.1 assert()的使用及源码

assert.h的使用主要是assert()函数的使用。

• assert()函数一般仅用于调试，发行时应当尽可能禁用该功能，避免其带来的资源消耗。

• assert(表达式值为假)则程序会经行断言操作，例如打印出出错的行号、列号以及相关信息。assert(表达式值为真)则不会执行任何操作。使用示例如下：

#include <assert.h>
.....
assert(0 <= idx && idx < sizeof(a) / sizeof(a[O]));
/*  现在对于a[idx]的访问是安全的，不会越界。  */

• 在引用该库时可以使用 #define NDEBUG 来失能该功能（一般是在源文件外经行失能），可以使用 #undef NDEBUG 来使能该功能。

//失能
#define NDEBUG
#include <assert.h>

//使能
#undef NDEBUG
#include <assert.h>

• assert()源码实现

/*  assert_h standard header  */
#undef assert /*  remove existing definition  */
#ifdef NDEBUG
#define assert (test)((void)0)
#else /*  NDEBUG  not defined  */
void _Assert(char *);
/*  macros  */
#define _STR(x) _VAL(x)
#define _VAL(x) #x
#define assert (test)((test) ? (void)0 \
                             : _Assert(__FILE__ " : " _STR(__LINE__) "  " #test))
#endif

此处为什么要 _STR(x) _VAL(x) 这样定义呢，为什么不直接#define _STR(x) #x呢？因为#后的全当作字符串，在展开当前宏函数时，如果形参有#或##则不进行宏参数的展开，否则先展开宏参数，再展开当前宏。以源码中的方式定义若x为一个宏，则x会先被展开，再被带入到_VAL(x)中。

#define _STR(x) #x 
_STR(__LINE__) //返回的是“__LINE__”这个字符串

#define _STR(x) _VAL(x) 
_STR(__LINE__) //返回的是“行号”这个字符串，行号就是__LINE__的值

此中的_Assert()函数的一个实现(xassert.h)为

/*  Assert function  */
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
void _Assert(char *mesg)
{ /*  print assertion message  and  abort */
    fputs(mesg, stderr);
    fputs("  --  assertion failed\n", stderr);
    abort(0);
}

个人认为该函数可以根据实际需要进行改写。

3.其余

• 在C语言中形如"acd""xdf"这样连续接在一起的字符串将会被拼接为一条字符串，“acdxdf”。

• 在标准库中，以单下划线（_）表明是标准库的变量，双下划线（__） 开头表明是编译器的变量。