编写代码时,我们总是会做出一些假设,断言就是用于在代码中捕捉这些假设。断言表示为一些布尔表达式,程序员相信在程序中的某个特定点该表达式值为真,可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言而在部署时禁用断言。同样,程序投入运行后,最终用户在遇到问题时可以重新启用断言。
简单来说如果结果和你的预期一样,那么OK,结果为真继续运行.如果结果和预期不符,那么程序会抛出一个系统级错误(不是异常),并且终止程序运行。
assert宏的原型定义在<assert.h>中,其作用是如果它的条件返回错误,则终止程序执行,原型定义:
#include <assert.h>
void assert( int expression ); //expression:布尔表达式
assert的作用是现计算表达式 expression ,如果其值为假(即为0),那么它先向stderr打印一条出错信息
然后通过调用 abort 来终止程序运行。
示例:
#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;
}
运行报错如下:
控制台输出如下:
Assertion failed: fp, file D:\vs2019\Console\微信公众号推送\微信公众号推送\微信公众号推送.cpp, line 11
工程文件使用示例:
void resize(int num)
{
if(num<0)
assert(nullptr);
if(num >len)
//...
}
End
扫码关注腾讯云开发者
领取腾讯云代金券
Copyright © 2013 - 2025 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号:粤B2-20090059 深公网安备号 44030502008569
腾讯云计算(北京)有限责任公司 京ICP证150476号 | 京ICP备11018762号 | 京公网安备号11010802020287
Copyright © 2013 - 2025 Tencent Cloud.
All Rights Reserved. 腾讯云 版权所有