断言(assert)
编写代码时,我们总是会做出一些假设,断言就是用于在代码中捕捉这些假设。断言表示为一些布尔表达式,程序员相信在程序中的某个特定点该表达式值为真,可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言而在部署时禁用断言。同样,程序投入运行后,最终用户在遇到问题时可以重新启用断言。
简单来说如果结果和你的预期一样,那么OK,结果为真继续运行.如果结果和预期不符,那么程序会抛出一个系统级错误(不是异常),并且终止程序运行。
assert() 用法
assert宏的原型定义在<assert.h>中,其作用是如果它的条件返回错误,则终止程序执行,原型定义:
代码语言:javascript复制#include <assert.h>
void assert( int expression ); //expression:布尔表达式
assert的作用是现计算表达式 expression ,如果其值为假(即为0),那么它先向stderr打印一条出错信息
然后通过调用 abort 来终止程序运行。
示例:
代码语言:javascript复制#include <stdio.h>
#include <assert.h>
int main(void)
{
FILE* fp;
fp = fopen("test.txt", "w");//以可写的方式打开一个文件,如果不存在就创建一个同名文件
assert(fp); //所以这里不会出错
fclose(fp);
fp = fopen("noexitfile.txt", "r");//以只读的方式打开一个文件,如果不存在就打开文件失败
assert(fp); //所以这里出错
fclose(fp); //程序永远都执行不到这里来
return 0;
}
运行报错如下:
控制台输出如下:
代码语言:javascript复制Assertion failed: fp, file D:vs2019Console微信公众号推送微信公众号推送微信公众号推送.cpp, line 11
工程文件使用示例:
代码语言:javascript复制void resize(int num)
{
if(num<0)
assert(nullptr);
if(num >len)
//...
}
End