34-断言库

16.12　断言库

assert.h 头文件支持的断言库是一个用于辅助调试程序的小型库。它由 assert() 宏组成，接受一个整型表达式作为参数。如果表达式求值为假（非零）， assert() 宏就在标准错误流（ stderr ）中写入一条错误信息，并调用 abort() 函数终止程序（ abort() 函数的原型在 stdlib.h 头文件中）。 assert() 宏是为了标识出程序中某些条件为真的关键位置，如果其中的一个具体条件为假，就用 assert() 语句终止程序。通常， assert() 的参数是一个条件表达式或逻辑表达式。如果 assert() 中止了程序，它首先会显示失败的测试、包含测试的文件名和行号。