assert 断言

函数原型

void assert (int expression);

assert的关键在于判断expression的逻辑真假，如果为false，就会在stderr上面打印一条包含“表达式，文件名，行号”的错误信息，然后调用abort结束整个程序。

实例

#include 
#include 
#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);
　　...
}