assert宏的用法

`assert`宏是 C 标准库中的一个宏，用于检查程序中的条件是否满足。

如果条件为假（`FALSE`），则`assert`宏首先向错误流中写入一条错误消息，然后中止程序执行。

以下是`assert`宏的用法示例：
```c
#include <cassert.h>
int main() {
int x = 5;
// 这个断言为真，程序会继续执行
assert(x == 5);
x = 3;
// 这个断言为假，程序会打印错误消息并终止执行
assert(x == 5);
return 0;
}
```
在上述示例中，`assert`宏检查了变量`x`的值是否等于 5。

如果断言为真，则程序会继续执行；如果断言为假，则程序会打印错误消息并终止执行。

需要注意的是，`assert`宏只在调试版本中有效。

如果定义了`DNDEBUG`预处理器宏（例如，通过编译器的优化选项），则`assert`宏不会执行任何操作。

因此，不应该在`assert`的表达式中放入有副作用的代码，因为这些代码可能不会被执行。

`assert`宏主要用于调试目的。

在调试期间，可以使用它来验证程序中的假设和不变量，并确保它们得到满足。