《C标准库》—之<assert.h>实现

最新推荐文章于 2023-02-18 10:00:00 发布

Mccreejia

最新推荐文章于 2023-02-18 10:00:00 发布

阅读量1.4k

点赞数 1

分类专栏： C 文章标签： c语言宏 C标准库 assert

本文链接：https://blog.csdn.net/jy_95/article/details/45260775

版权

本文详细介绍了C标准库中<assert.h>的实现，讲解了如果未定义NDEBUG宏时assert断言如何工作，通过__FILE__和__LINE__宏展示错误信息。还探讨了嵌套宏的展开规则，尤其是__LINE__到字符串的转换过程，加深了对宏定义的理解。

摘要由CSDN通过智能技术生成

首先，贴出标准库中<assert.h>的实现源码：

#undef assert
#ifdef  NDEBUG
#define assert(test)((void)0)
#else
void _Assert(char*);
#define _STR(x) _VAL(x)
#define _VAL(x) #x
#define assert(test)((test)?(void)0:_Assert(__FILE__":"_STR(__LINE)""#test))
#endif

_Assert(char*)的实现如下：

#include <stdio.h>
#include <assert.h>
#include <stdlib.h>

void _Assert(char * mesg)
{
fputs(mesg, stderr);
fputs(" -- assertion failed\n", stderr);
abort();
}

全部的代码就在这里了。首先，<assert.h> 里有一个 NDEBUG宏，从assert.h的条件宏中可以看出，如果定义了宏NDEBUG，那么assert测试宏将等于