函数原型
void assert (int expression);
assert的关键在于判断expression的逻辑真假，如果为false，就会在stderr上面打印一条包含“表达式，文件名，行号”的错误信息，然后调用abort结束整个程序。
实例
#include <iostream>
#include <assert.h>
#define NDEBUG // 可以禁止断言
using namespace std;
int main() {
//测试true情况：以写打开一个文件，不存在则创建新文件
FILE *fpWrite = fopen("../testWrite", "w");
//不会出错
assert(fpWrite != NULL);
fclose(fpWrite);
cout << "执行到了这里" << endl;
//测试false情况：以读打开一个文件，不存在会失败
FILE *fpRead = fopen("testRead", "r");
//会出错
assert(fpRead != NULL);
//程序调用abort退出，不会执行到此步
fclose(fpRead);
cout << "执行不到这里" << endl;
return 0;
}
Assertion failed: (fpRead != NULL), function main, file /Users/shuai/CLionProjects/untitled/main.cpp, line 20.
执行到了这里
常用在函数开始处检验传入参数的合法性
int resetBufferSize(int nNewSize)
{
//功能:改变缓冲区大小,
//参数:nNewSize 缓冲区新长度
//返回值:缓冲区当前长度
//说明:保持原信息内容不变 nNewSize<=0表示清除缓冲区
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);
...
}
