关于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”。
-
在标准库中,以单下划线(_)表明是标准库的变量,双下划线(__) 开头表明是编译器的变量。