Linux下C库学习 - assert.h

最新推荐文章于 2025-05-13 21:50:27 发布

mill_li

最新推荐文章于 2025-05-13 21:50:27 发布

阅读量2k

点赞数

CC 4.0 BY-SA版权

分类专栏： Linux下C库学习文章标签： c语言

本文链接：https://blog.youkuaiyun.com/mill_li/article/details/54290988

Linux下C库学习专栏收录该内容

16 篇文章

订阅专栏

本文探讨了C语言中assert.h头文件中的assert函数，它用于在程序调试时检查条件是否为真。当表达式为假时，assert会输出错误信息并终止程序。assert函数在debug版本中使用，release版本中应关闭。文中还提到了如何通过宏来控制assert的开关，并建议自定义DEBUG开关或assert宏以适应不同需求。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

assert.h

assert.h最重要的或者说唯一的功能就是提供了assert函数，查阅man手册，assert函数是这样解释的

abort the program if assertion is false

而man手册中assert的原型是这样声明的

void assert(scalar expression);

这里参数用scalar声明，scalar的意思是说这个参数是标量参数，标量参数的意思就是说这个参数只能保存一个特定的数字或者字符串，为什么要声明成这样，我个人不太明白，希望各位大神指点。

在assert.h中对于assert函数是这样声明的

#define assert(expr)                \
((expr)                             \
? __ASSERT_VOID_CAST (0)            \
: __assert_fail (#expr, __FILE__, __LINE__, __ASSERT_FUNCTION))

如果表达式expr为真，那么就把 0 转化为 void *，其实相当于什么都没做，如果表达式为假，就执行 __assert_fail 函数，查阅源码发现这个函数是这样实现的

void
__assert_fail (const char *assertion, const char *file, unsigned int line,
    const char *function)
{
    __assert_fail_base (_("%s%s%s:%u: %s%sAssertion `%s' failed.\n%n"),
    assertion, file, line, function);
}

__assert_fail函数又调用了assert_fail_base函数，这个函数源码我就不贴上来了，其实这个函数只做了两件事情

向stderr输出错误信息

(void) __fxprintf (NULL, "%s", str);
(void) fflush (stderr);

根据之前__assert_fail函数可以发现，这里的错误信息包含，文件名，行号，函数名

终止程序

abort ();

到这里assert.h和assert函数的功能基本就清楚了，事实上，assert只应该出现在debug版本中不应该出现在release版本中，而assert.h也提供了打开和关闭assert函数的宏

#ifdef  NDEBUG

# define assert(expr)       (__ASSERT_VOID_CAST (0))

所以，如果你想在Debug中打开assert函数而在Release版本中关闭assert函数，可以这样写

打开assert

#undef NDEBUG
#include <assert.h>

...

assert (expr)

关闭assert

#define NDEBUG
#include <assert.h>

...

assert (expr)

虽然assert.h提供了这个宏，不过感觉实际使用的时候应该没人会这么用吧，所以最好是自己定义一个DEBUG的开关，或者根据自己的需求定义自己的assert宏。

参考文献

http://blog.youkuaiyun.com/u010177286/article/details/50344377

http://ganquan.info/standard-c/