C++ 中 assert() 函数用法总结
assert() 函数是在 C++ 编程语言中用于调试和检查代码的正确性的宏命令。它可以帮助开发者在开发过程中检测代码中的错误，从而提高代码的质量和可靠性。
assert() 函数的原型定义在 <assert.h> 头文件中， 其作用是如果它的条件返回错误，则终止程序执行。其原型定义为：`void assert( int expression );`
assert() 函数的作用是现计算表达式 expression，如果其值为假（即为 0），那么它先向 stderr 打印一条出错信息，然后通过调用 abort 来终止程序运行。
在使用 assert() 函数时，需要注意以下几点：
1. 在函数开始处检验传入参数的合法性，例如：
```c
int resetBufferSize(int nNewSize) {
// 功能:改变缓冲区大小,
// 参数:nNewSize 缓冲区新长度
// 返回值:缓冲区当前长度
// 说明:保持原信息内容不变
nNewSize <= 0 表示清除缓冲区
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);
...
}
```
2. 每个 assert 只检验一个条件，因为同时检验多个条件时，如果断言失败，无法直观的判断是哪个条件失败。
例如，不好的写法：
```c
assert(nOffset >= 0 && nOffset + nSize <= m_nInfomationSize);
```
好的写法：
```c
assert(nOffset >= 0);
assert(nOffset + nSize <= m_nInfomationSize);
```
3. 不能使用改变环境的语句，因为 assert 只在 DEBUG 模式下生效，如果这么做，会使用程序在真正运行时遇到问题。
例如，错误的写法：
```c
assert(i++ < 100);
```
正确的写法：
```c
assert(i < 100);
i++;
```
4. assert 和后面的语句应空一行，以形成逻辑和视觉上的一致感。
5. 有的地方，assert 不能代替条件过滤。
在使用断言时，需要遵循以下几点原则：
（1）使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后者是必然存在的并且是一定要作出处理的。
（2）使用断言对函数的参数进行确认。
（3）在编写函数时，要进行反复的考查，并且自问：“我打算做哪些假定？”一旦确定了的假定，就要使用断言对假定进行检查。
（4）一般教科书都鼓励程序员们进行防错性的程序设计，但要记住这种编程风格会隐瞒错误。当进行防错性编程时，如果“不可能发生”的事情的确发生了，则要使用断言进行报警。
assert() 函数是一种非常有用的调试工具，可以帮助开发者检测代码中的错误和不合法情况，从而提高代码的质量和可靠性。但是，需要正确地使用 assert() 函数，遵循一定的原则和规则，避免出现问题。
