assert——断言不仅是函数而且是宏,它参数表达式比较等于零(即表达式为假),则向标准错误设备写入一条消息,并调用abort,终止程序执行。(abort函数的作用是异常终止一个进程,意味着abort后面的代码将不再执行)。
显示信息的细节取决于特定的库实现,但它至少应该包括:断言失败的表达式、源文件的名称以及发生错误的行号。通常的表达式格式是: 断言失败:表达式,文件文件名,行行号。
如果在包含名为NDEBUG的宏时已经定义了,则禁用该宏。这允许编码器在调试程序时在源代码中包含尽可能多的assert调用,然后在生产版本中禁用所有这些调用。
assert这个宏被设计用来捕获编程错误,而不仅仅是在程序运行时报错,因为它通常在程序退出调试阶段后被禁用。
举例(如图所示):
assert的头文件为#include <assert.h>
指针b指向a,将a的地址传给函数printf_number,mynumber得到a的地址,mynumber不为空指针,assert的参数为真,则执行程序,打印出10。
指针c为空指针,空指针传给mynumber,导致assert的参数为假,则程序停止执行。将断言失败的表达式、源文件的名称以及发生错误的行号打印出来。
(单纯用于记录本人学习和复习,有错误的地方请批评指正)