C 标准库 - <assert.h>
概述
<assert.h> 是 C 语言标准库中的一个头文件，它提供了一种用于调试程序的工具。assert 宏是 <assert.h> 中最核心的部分，它允许开发者在程序中设置断言（assertions）。断言是一种检查程序中某些假设是否为真的机制。如果断言失败，即假设不成立，程序将立即终止。这有助于在开发过程中及早发现并修复错误。
使用 assert 宏
assert 宏的基本用法非常简单。它接受一个表达式作为参数，如果该表达式为假（即零），assert 将导致程序终止。在大多数实现中，终止时会打印出失败的表达式、源文件名和行号。
#include <assert.h>int main() {int x = 10;assert(x > 0); // 如果 x 大于 0，则一切正常// 如果 x 不大于 0，程序将终止return 0;
}
在上面的例子中，如果 x 的值大于 0，assert 不会有任何效果。但如果 x 的值不大于 0（例如，被其他部分的代码修改为负数或零），assert 将触发，程序将终止。
断言的优势
- 早期错误检测：断言可以帮助在开发阶段早期发现错误，从而减少调试时间。
- 文档化