断言(assert)有多重要你不会不知道吧

2021-02-05 15:12:56 浏览数 (2)

断言(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


0 人点赞