当前位置: 首页 > news >正文

C语言assert函数:什么是“assert”函数

我一直在学习 OpenCV 教程,遇到了assert函数;它做什么?

assert将终止程序(通常带有引用 assert 语句的消息),如果其参数为 false。它通常在调试过程中使用,以使程序在发生意外情况时更明显地失败。

例如:

assert(length >= 0);  // die if length is negative.

如果失败,您还可以添加要显示的更多信息:

assert(length >= 0 && "Whoops, length can't possibly be negative! (didn't we just check 10 lines ago?) Tell jsmith");

或者像这样:

assert(("Length can't possibly be negative! Tell jsmith", length >= 0));

当您进行发布(非调试)构建时,您还可以通过定义NDEBUG宏来消除评估assert语句的开销,通常使用编译器开关。

// BAD
assert(x++);
// GOOD
assert(x);    
x++;
// Watch out! Depends on the function:
assert(foo());
// Here's a safer way:
int ret = foo();
assert(ret);

从程序调用 abort()和不保证做任何事情的组合来看,断言应该只用于测试开发人员假设的事情,而不是例如用户输入数字而不是字母(应该通过其他方式处理)。

assert计算机语句类似于英文语句make sure

看看

assert() example program in C++

许多编译器提供了一个 assert () 宏。如果其参数评估为 TRUE,则 assert () 宏返回 TRUE,如果评估为 FALSE,则采取某种操作。许多编译器会在失败的 assert () 上中止程序;其他人会抛出异常

assert()宏的一个强大功能是,如果未定义 DEBUG,预处理器将其折叠成完全没有代码。在开发过程中,这是一个很大的帮助,当最终产品发布时,没有性能损失,也没有增加程序的可执行版本的大小。

Eg

#include <stdio.h>
#include <assert.h>
void yze (char *, int);
int main(void)
{char *string = "ABC";int length = 3;yze(string, length);printf("The string %s is not null or empty, ""and has length %d \n", string, length);
}
void yze(char *string, int length)
{assert(string != NULL);     /* cannot be NULL */assert(*string != '\0');    /* cannot be empty */assert(length > 0);         /* must be positive */
}
/****************  Output should be similar to  ******************
The string ABC is not null or empty, and has length 3

assert () 函数可以诊断程序 bug,在 C 中,它是在<assert.h>中定义的,在 C++ 中,它是在<cassert>中定义的,它的原型是

void assert(int expression);

参数表达式可以是任何你想测试的东西 — — 一个变量或任何 C 表达式。如果 expression 的计算结果为 TRUE,assert () 什么也不做。如果 expression 的计算结果为 FALSE,assert () 在 stderr 上显示错误消息并中止程序执行。

您如何使用 assert()?它最常用于跟踪程序错误(与编译错误不同)。错误不会阻止程序编译,但会导致程序给出错误的结果或运行不当(例如,锁定)。例如,您正在编写的财务分析程序可能偶尔会给出错误的答案。您怀疑问题是由变量 interest_rate 在负值上引起的。

assert (interest_rate & gt;= 0);在程序中使用 interest_rate 的位置。如果变量变为负数,则 assert () 宏会向您发出警报。然后,您可以检查相关代码以查找问题的原因。

要查看 assert () 的工作原理,请运行下面的示例程序。如果输入非零值,程序将显示该值并正常终止。如果输入零,assert () 宏将强制异常程序终止。您看到的确切错误消息将取决于您的编译器,但这是一个典型示例:

断言失败:x,文件 list19_3.c,第 13 行注意,为了使 assert()工作,您的程序必须在调试模式下编译。有关启用调试模式的信息,请参阅编译器文档(稍后说明)。当您稍后在发布模式下编译最终版本时,将禁用 assert()宏。

 int x;printf("\nEnter an integer value: ");scanf("%d", &x);assert(x >= 0);printf("You entered %d.\n", x);return(0);

输入整数值:10

你输入了 10。

输入整数值:-1

错误信息:程序异常终止

您的错误消息可能会有所不同,具体取决于您的系统和编译器,但总体思路是相同的。

相关文章:

  • 【Java 进阶篇】Java中的响应输出字节数据
  • MySQL - 覆盖索引、回表查询
  • Nacos | 使用 Nginx 转发 Nacos2.x 端口的注意事项
  • 多模态 多引擎 超融合 新生态!2023亚信科技AntDB数据库8.0产品发布
  • 【开发新的】apache common BeanUtils忽略null值
  • C# Onnx 用于边缘检测的轻量级密集卷积神经网络LDC
  • Kafka - 监控工具 Kafka Eagle:实时洞察Kafka集群的利器
  • P2107 小Z的AK计划
  • 如何读懂深度学习python项目,以`Multi-label learning from single positive label`为例
  • Fourier分析导论——第2章——Fourier级数的基本属性(E.M. Stein R. Shakarchi)
  • 一篇博客读懂顺序表 —— Sequence-List
  • FIFO 位宽转换
  • 力扣740. 删除并获得点数(动态规划)
  • Debian或Ubuntu静态交叉编译arm和aarch64
  • miniconda快速安装
  • 「前端」从UglifyJSPlugin强制开启css压缩探究webpack插件运行机制
  • 【EOS】Cleos基础
  • JAVA多线程机制解析-volatilesynchronized
  • Linux CTF 逆向入门
  • mongo索引构建
  • php面试题 汇集2
  • SpringCloud(第 039 篇)链接Mysql数据库,通过JpaRepository编写数据库访问
  • 初识MongoDB分片
  • 创建一种深思熟虑的文化
  • 从 Android Sample ApiDemos 中学习 android.animation API 的用法
  • 复习Javascript专题(四):js中的深浅拷贝
  • 极限编程 (Extreme Programming) - 发布计划 (Release Planning)
  • 爬虫模拟登陆 SegmentFault
  • 通过调用文摘列表API获取文摘
  • ​批处理文件中的errorlevel用法
  • ​七周四次课(5月9日)iptables filter表案例、iptables nat表应用
  • # 20155222 2016-2017-2 《Java程序设计》第5周学习总结
  • $ is not function   和JQUERY 命名 冲突的解说 Jquer问题 (
  • $(selector).each()和$.each()的区别
  • (4)事件处理——(2)在页面加载的时候执行任务(Performing tasks on page load)...
  • (C#)获取字符编码的类
  • (阿里云万网)-域名注册购买实名流程
  • (安卓)跳转应用市场APP详情页的方式
  • (附源码)计算机毕业设计ssm电影分享网站
  • (详细版)Vary: Scaling up the Vision Vocabulary for Large Vision-Language Models
  • (学习日记)2024.04.10:UCOSIII第三十八节:事件实验
  • (总结)Linux下的暴力密码在线破解工具Hydra详解
  • *上位机的定义
  • .Net MVC + EF搭建学生管理系统
  • .net MVC中使用angularJs刷新页面数据列表
  • .net和jar包windows服务部署
  • .NET学习教程二——.net基础定义+VS常用设置
  • .net中调用windows performance记录性能信息
  • @JSONField或@JsonProperty注解使用
  • @RequestParam,@RequestBody和@PathVariable 区别
  • @软考考生,这份软考高分攻略你须知道
  • [ vulhub漏洞复现篇 ] Apache APISIX 默认密钥漏洞 CVE-2020-13945
  • [ vulhub漏洞复现篇 ] GhostScript 沙箱绕过(任意命令执行)漏洞CVE-2019-6116
  • [20170713] 无法访问SQL Server
  • [ajaxupload] - 上传文件同时附件参数值