异常处理/CC++ 中 assert 断言 应用实践和注意事项

2024-05-13 02:20

本文主要是介绍异常处理/CC++ 中 assert 断言 应用实践和注意事项,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 概述
  • assert 本质浅析
  • Release版本下的assert是否生效
    • 默认设置下 QtCreator环境 assert 过程
    • 默认配置下 VS环境 assert 过程
    • 配置VS发布模式下的断言生效
    • VS环境Release版本的UI程序
    • Release下请当我不生效
  • 请勿滥用assert
    • 导致逻辑错误
    • 再强调'不要在assert内执行逻辑功能'
    • 怎敢默认release下绝不会发生此错误?
    • 要不要在Release版本下使用断言
    • 使用assert的其他建议
  • 静态断言
  • 自定义断言
  • 小结

概述

本文主要讲解了 assert 断言机制,在编程中的作用和注意事项,如 assert 的工作原理、Release程序版本下的断言生效问题、为什么要杜绝在assert内执行逻辑、如何自定义断言等。断言机制是在开发和调试阶段快速发现程序中的错误和逻辑问题的重要手段,它可以帮助开发人员在程序中插入检查点,以验证程序的正确性和健壮性,一旦发现断言失败,开发人员可以通过查看错误消息和堆栈跟踪来定位和解决问题。

转载请标明原文链接,
https://blog.csdn.net/quguanxin/category_6223029.html

assert 本质浅析

标准C/C++库中的 assert 并不是一个函数,事实上,它是个宏,其用法像是一种"契约式编程",其表达的意思是,程序在我的假设条件下,能够正常良好的运作,否则就告警并调用 abort 终止程序。其使用场景大概是这样的,大多数情况下,我们要进行验证的假设,只是属于偶然性事件,又或者我们仅仅想测试一下,一些最坏情况是否发生。

int main() {printf("当前源文件名:%s, 当前代码行号:%s\n", FILE_NAME, __LINE__);assert(0 == 1);system("pause"); return 0;
}

在这里插入图片描述
通过上述测试,可以猜测,assert 内部极有可能是封装了 FILELINE 预处理宏的。看一下源码,

#ifdef NDEBUG#define assert(expression) ((void)0)
#else_ACRTIMP void __cdecl _wassert(_In_z_ wchar_t const* _Message,_In_z_ wchar_t const* _File,_In_   unsigned       _Line);#define assert(expression) (void)(                                                       \(!!(expression)) ||                                                              \(_wassert(_CRT_WIDE(#expression), _CRT_WIDE(__FILE__), (unsigned)(__LINE__)), 0) \)
#endif

与我们《》自定义函数的使用方法一致,先以 char* 和 int 为参数类型,定义函数,然后,使用宏封装此函数,这样,LINEFILE 就可以用来代表宏函数(assert) 的调用位置。

Release版本下的assert是否生效

验证下,assert断言在发布模式下是否起作用-/-
能有多灵验呢,能否在崩溃的时候,显示出来—
实际运行中,我在发布版里头没怎么体现出来呢?
最好的办法还是为自己的软件编写错误处理框架–

默认设置下 QtCreator环境 assert 过程

void Widget::on_pushButton_clicked()
{ui->label->setText("before assert");//assert(false);  //Line:22Q_ASSERT(false);  //Line:23ui->label->setText("after assert");
}

使用C库的assert测试
编译Debug版本和Release版本,脱离开发环境进行执行测试,结果是都可以准确的定位到断言所在的代码行。因此我们初步得出的结论是,在QtCreator开发环境下,默认的情况下,Release版本的程序中,C库中的assert是可以生效的。

使用Qt库的Q_ASSERT测试
使用Qt自带的Q_ASSERT断言宏时,经过测试,在Release版本的程序中并不生效。

#if !defined(Q_ASSERT)
#  if defined(QT_NO_DEBUG) && !defined(QT_FORCE_ASSERTS)
#    define Q_ASSERT(cond) static_cast<void>(false && (cond))
#  else
#    define Q_ASSERT(cond) ((cond) ? static_cast<void>(0) : qt_assert(#cond, __FILE__, __LINE__))
#  endif
#endif/*The Q_ASSERT macro calls this function when the test fails.
*/
void qt_assert(const char *assertion, const char *file, int line) Q_DECL_NOTHROW
{QMessageLogger(file, line, nullptr).fatal("ASSERT: \"%s\" in file %s, line %d", assertion, file, line);
}

通过上述Qt框架下的宏定义,我们可以看出,如果没有定义QT_FORCE_ASSERTS强制使用断言,而且定义了QT_NO_DEBUG(估计它在Release编译模式下会有定义),Q_ASSERT相当于没有定义。

默认配置下 VS环境 assert 过程

纯 C++ 代码

#include <iostream>
#include <assert.h>int main() {int i = 0;std::cout << "Hello World!\n";assert(i != 0);std::cout << "Hello weifang!\n";system("pause");
}

在Debug模式下运行,断言如下。在Release模式下,断言不生效。
在这里插入图片描述

配置VS发布模式下的断言生效

还是上一小节中的项目,我们查看其项目属性,C/C++,预处理器,预处理器定义-
Debug配置:
在这里插入图片描述
Release配置:
在这里插入图片描述
我们针对Release模式下的预处理器定义,删除其中的NDEBUG宏,重新运行Release版本,
在这里插入图片描述
如上,只要删除NDEBUG宏定义,则assert在Release模式下也是生效的

注意一个现象,使用NDEBUG宏和删除该宏的情况下,编译生成的可执行文件的大小和占用空间大小保持一致不变。即使是在Release模式下预编译器配置上增加_DEBUG宏,其效果也是与不设置NDEBUG宏一致,与Debug模式下配置_DEBUG宏是不一样的。

另外,在 C++ 中,assert 宏通常在调试模式下才会生效,而在发布模式下会被编译器忽略掉。如果你希望在发布模式下也启用 assert 断言,可以在 “预处理器定义” 字段中,删除NDEBUG宏,或进一步添加 _DEBUG宏定义。如此便确保 _DEBUG 宏在发布模式和调试模式下都被定义。要注意的是, assert 断言主要用于在开发和调试阶段发现问题。在发布版本中,最好使用其他方式进行错误检查和处理,如异常处理、返回错误码或输出错误日志等。

VS环境Release版本的UI程序

在脱离开发环境的情况下,运行上一节的控制台测试程序。Debug版本程序(配有_DEBUG)的运行会弹出提示。Release版本程序(删除NDEBUG宏)的运行,在控制台有断言提示,没有弹窗提示,且控制台在数秒后自动退出。本小节我们进一步看看,在没有NDEBUG的情况下,R版的UI程序会是什么执行现象。

在VS下新建Qt项目,D版和R版的默认预处理器定义一致为$(Qt_DEFINES_);%(PreprocessorDefinitions),这里我暂时没有在Qt_DEFINES_变量中看到_DEBUG或NDEBUG宏的身影。它一定藏在其他地方了,我们暂不深究。

TestAssertUI::TestAssertUI(QWidget *parent) : QWidget(parent) , ui(new Ui::TestAssertUIClass())
{ui->setupUi(this);//connect(ui->pushButton, &QPushButton::clicked, []{int i = 0;assert(i != 0);qDebug() << "The assertion is not in effect";});
}

编译并执行my_D版本的程序,
在这里插入图片描述
编译并执行my_R版本的程序,断言并未生效。那,我们在my_R预处理器定义中增加 _DEBUG宏定义,重新编译执行。结果,断言依然是被优化不执行的。

还好我眼尖,在预处理器定义项目的下面发现了"取消预处理器定义"这个配置项,我将NDEBUG配置进去。
在这里插入图片描述
重新编译的过程提示,cl : 命令行 warning D9025: 正在重写“/DNDEBUG”(用“/UNDEBUG”),这一看就是起作用的样子啊。编译后执行,果然,与上述DEBUG版程序的弹窗告警一致

重点总结,
在使用VS做集成开发环境时,如果想使得R版本程序中C库的assert生效,需要在项目属性配置,C/C++,预处理器,取消预处理器,这个配置项中配置取消 “NDEBUG宏”。(仅)在预处理定义中增加_DEBUG宏定义是无效的,这可能是因为NDEBUG宏等项目属性中隐含的定义,会在编译过程靠后的阶段进行加载和覆盖。
在VS开发环境下,针对Release配置。其中非Qt项目,其预处理器定义中会直接标明NDEBUG,若想打开assert调试功能,只需要删除即可。针对Qt项目,由于NDEBUG没有直接定义在预处理器配置项中,你需要在取消预处理定义这个配置项中添加NDEBUG宏。

Release下请当我不生效

为了保险起见,一种可行的做法是,认为任何IDE下的任何ASSERT语句,是不生效的,不执行的。

请勿滥用assert

虽然 assert 方便好用,但勿滥用!

导致逻辑错误

知道assert在release模式下"可能"不被执行,可还是手欠。为了图省事,伪代码如下:

//!!危险!!
assert(SomethingBegin());
//函数定义
bool SomethingBegin()
{if (s_bBuseFlage)return false;//重置上下文	s_count = 0; s_bBuseFlage = false;return true;
}

如上,我assert了一个函数的执行返回值。在VS环境下,当编译release版本时,上述assert语句将被优化掉,也就是说其中的含有逻辑功能的函数将不会被执行,这必然导致运行异常。Debug下没有问题,release时抓瞎,通常会火烧眉毛。

再强调’不要在assert内执行逻辑功能’

//这条代码在R模式下可能不执行,从而导致逻辑异常assert(m_pObserver->Subscribe_Open(_ID_STREAM_INFO));

上述是曾经在实际项目中犯下的错误,而且那还是在总结过assert使用注意事项,已经很清楚assert内不可以执行逻辑代码。总归有那么几个脑子变浆糊的时刻,手欠。因此,遇到D模式和R模式执行不一致的情况,assert使用,算是一个检查点。

 //不要偷懒,只在assert中判断结果值
bOk &= m_pObserver->Subscribe_Open(_ID_STREAM_INFO);
assert(bOk);

怎敢默认release下绝不会发生此错误?

一种情形是这样的,Debug下并没有触发assert,但release下却发生了要捕获的异常,由于编码和编译原因,若release版本中assert被优化掉,那么,你相当于是放弃了对此异常情形的处理!那么就危险了,这种危险远不止是你的程序异常退出了一次,而是你没有什么可用信息去定位异常位置。

要不要在Release版本下使用断言

首先表明立场,不建议在Release版本中使用assert断言生效。你最好使用其他形式的错误处理和日志记录来补充 assert 断言,以提供更好的用户体验和容错能力。

好处:
错误检测:assert 断言是一种在运行时检测程序中的错误和异常的方法。在 Release 版本中启用 assert 断言可以帮助及早发现潜在的问题和错误,提高代码质量和可靠性。
调试信息:assert 断言通常会输出有关断言失败的相关信息,例如断言所在的文件和行号等。在 Release 版本中启用 assert 断言可以提供有用的调试信息,以便更好地理解和排查问题。
安全验证:通过启用 assert 断言,您可以在 Release 版本中对关键的安全验证进行检查。这可以帮助捕获潜在的安全漏洞和错误用法,提高程序的安全性。

坏处:
性能影响:assert 断言通常在断言失败时会导致程序终止。这会对程序的性能产生一定的负面影响。因此,在 Release 版本中启用 assert 断言可能会导致性能下降,尤其是在大规模或性能敏感的应用程序中。
用户体验:断言失败可能导致程序异常终止,这可能会对用户体验产生负面影响。在某些情况下,这可能会导致数据丢失或不可预测的行为。因此,在启用 assert 断言时需要谨慎权衡用户体验和错误检测的需求。
可移植性问题:某些平台或环境可能不支持 assert 断言,或者对其行为进行了修改。因此,在跨平台或跨环境的应用程序中,依赖于 assert 断言的特定行为可能会导致可移植性问题。

使用assert的其他建议

assert 在那些一次性执行的代码语句上可以使用,这些语句往往是非常的硬,如果一旦有错误错误,程序将没有继续运行的必要。
在那些动态频繁执行的函数中,如果使用assert来进行某些校验,往往会给自己带来不少麻烦。

虽然启用断言可能会带来性能影响和一些不太友好的用户体验,但在开发和调试阶段,启用断言可以帮助发现和修复潜在的错误和异常,从而提高代码质量和可靠性。在发布和部署阶段,需要谨慎权衡性能与错误检测需求之间的平衡。

像是动态内存申请之类的操作,强烈建议不要用assert检验返回结果。但有时候你实在懒得一坨,加个assert并打开release的DEBUG开关,也是种手段,这至少比你置之不理要好很多。因为空指针通常会导致程序毫无征兆的死掉,让你束手无策,那不仅不优雅,还会让运维和开发工程师很头疼。故,当你的软件没有完备的异常处理或日志记录机制,那就用assert做最后的救命稻草吧!

静态断言

C/C++ 中的静态断言机制(Static Assertion)是一种在编译时进行静态检查的机制,用于在编译器发现错误之前捕获问题。static_assert 接受一个编译时求值为布尔值的表达式作为参数,并在表达式为假时触发编译错误。如果表达式为真,则静态断言不会产生任何代码或运行时开销。如下,是ROS2.0 异常处理模块中的源码片段,

/// Struct wrapping a fixed-size c string used for returning the formatted error string.
typedef struct rcutils_error_string_s {/// The fixed-size C string used for returning the formatted error string.char str[RCUTILS_ERROR_MESSAGE_MAX_LENGTH];
} rcutils_error_string_t;  //该结构的长度与rcutils_error_state_t长度相同/// Struct which encapsulates the error state set by RCUTILS_SET_ERROR_MSG().
typedef struct rcutils_error_state_s {/// User message storage, limited to RCUTILS_ERROR_STATE_MESSAGE_MAX_LENGTH characters.char message[RCUTILS_ERROR_STATE_MESSAGE_MAX_LENGTH];/// __FILE__宏代表的代码文件名 File name, limited to what's left from RCUTILS_ERROR_STATE_MAX_SIZE characters after subtracting storage for others.char file[RCUTILS_ERROR_STATE_FILE_MAX_LENGTH];/// __LINE__宏代表的代码行号 Line number of error.uint64_t line_number;
} rcutils_error_state_t;  //该结构的长度与rcutils_error_string_t长度相同// make sure our math is right... //编译时进行静态断言from C++ 11
#if __STDC_VERSION__ >= 201112L
static_assert(sizeof(rcutils_error_string_t) == (  /* 1024 == 768 + 229 + 20 + 6 + 1(null terminating character) */RCUTILS_ERROR_STATE_MESSAGE_MAX_LENGTH + RCUTILS_ERROR_STATE_FILE_MAX_LENGTH + RCUTILS_ERROR_STATE_LINE_NUMBER_STR_MAX_LENGTH + RCUTILS_ERROR_FORMATTING_CHARACTERS + 1),"Maximum length calculations incorrect");
#endif

自定义断言

如在heap4中有类似如下定义,

//定义错误信息输出函数
#define vAssertCalled(charFile, intLine) AflDebugError("Error:%s,%d\r\n",charFile, intLine)
//利用 __FILE__,__LINE__ 预定义宏
#define configASSERT(x) if((x)==0) vAssertCalled(__FILE__,__LINE__)

早期在打印调试单元中定义的断言,不去中断程序执行,

//assert 自定义断言
#define AFLPRINTF_ASSERT(bAssert)  \if (!(bAssert))                \{ \printf("AFLPRINTF_ASSERT %s,%d:", FUNCNAME, __LINE__); \printf("\r\n");   \fflush(stdout);   \}  \

其他的定义可参考 《异常处理/LINEFILE 宏在调试和异常处理中的高级使用》 等文章。

小结

在百科有提到 assert.h 常用于防御式编程。,防御式编程的主要思想是:子程序应该不因传入错误数据而被破坏,哪怕是由其他子程序产生的错误数据。这种思想是将可能出现的错误造成的影响控制在有限的范围内。这里也临时总结几个使用断言的几个原则,
(1)使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别,后者是必然存在的并且是一定要作出处理的。
(2)使用断言对函数的参数进行确认。
(3)在编写函数时,要进行反复的考查,并且自问:"我打算做哪些假定?"一旦确定了的假定,就要使用断言对假定进行检查。
(4)一般教科书都鼓励程序员们进行防错性的程序设计,但要记住这种编程风格会隐瞒错误。当进行防错性编程时,如果"不可能发生"的事情的确发生了,则要使用断言进行报警。
ASSERT 是一个调试程序时经常使用的宏,在程序运行时它计算括号内的表达式,如果表达式为FALSE (0), 程序将报告错误,并终止执行。如果表达式不为0,则继续执行后面的语句。这个宏通常原来判断程序中是否出现了明显非法的数据,如果出现了终止程序以免导致严重后果,同时也便于查找错误。

这篇关于异常处理/CC++ 中 assert 断言 应用实践和注意事项的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/984410

相关文章

基于MySQL Binlog的Elasticsearch数据同步实践

一、为什么要做 随着马蜂窝的逐渐发展,我们的业务数据越来越多,单纯使用 MySQL 已经不能满足我们的数据查询需求,例如对于商品、订单等数据的多维度检索。 使用 Elasticsearch 存储业务数据可以很好的解决我们业务中的搜索需求。而数据进行异构存储后,随之而来的就是数据同步的问题。 二、现有方法及问题 对于数据同步,我们目前的解决方案是建立数据中间表。把需要检索的业务数据,统一放到一张M

中文分词jieba库的使用与实景应用(一)

知识星球:https://articles.zsxq.com/id_fxvgc803qmr2.html 目录 一.定义: 精确模式(默认模式): 全模式: 搜索引擎模式: paddle 模式(基于深度学习的分词模式): 二 自定义词典 三.文本解析   调整词出现的频率 四. 关键词提取 A. 基于TF-IDF算法的关键词提取 B. 基于TextRank算法的关键词提取

水位雨量在线监测系统概述及应用介绍

在当今社会,随着科技的飞速发展,各种智能监测系统已成为保障公共安全、促进资源管理和环境保护的重要工具。其中,水位雨量在线监测系统作为自然灾害预警、水资源管理及水利工程运行的关键技术,其重要性不言而喻。 一、水位雨量在线监测系统的基本原理 水位雨量在线监测系统主要由数据采集单元、数据传输网络、数据处理中心及用户终端四大部分构成,形成了一个完整的闭环系统。 数据采集单元:这是系统的“眼睛”,

无人叉车3d激光slam多房间建图定位异常处理方案-墙体画线地图切分方案

墙体画线地图切分方案 针对问题:墙体两侧特征混淆误匹配,导致建图和定位偏差,表现为过门跳变、外月台走歪等 ·解决思路:预期的根治方案IGICP需要较长时间完成上线,先使用切分地图的工程化方案,即墙体两侧切分为不同地图,在某一侧只使用该侧地图进行定位 方案思路 切分原理:切分地图基于关键帧位置,而非点云。 理论基础:光照是直线的,一帧点云必定只能照射到墙的一侧,无法同时照到两侧实践考虑:关

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<

csu 1446 Problem J Modified LCS (扩展欧几里得算法的简单应用)

这是一道扩展欧几里得算法的简单应用题,这题是在湖南多校训练赛中队友ac的一道题,在比赛之后请教了队友,然后自己把它a掉 这也是自己独自做扩展欧几里得算法的题目 题意:把题意转变下就变成了:求d1*x - d2*y = f2 - f1的解,很明显用exgcd来解 下面介绍一下exgcd的一些知识点:求ax + by = c的解 一、首先求ax + by = gcd(a,b)的解 这个

C++包装器

包装器 在 C++ 中,“包装器”通常指的是一种设计模式或编程技巧,用于封装其他代码或对象,使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍,可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型: 1. 函数包装器 函数包装器用于封装一个或多个函数,使其接口更统一或更便于调用。例如,std::function 是一个通用的函数包装器,它可以存储任意可调用对象(函数、函数

hdu1394(线段树点更新的应用)

题意:求一个序列经过一定的操作得到的序列的最小逆序数 这题会用到逆序数的一个性质,在0到n-1这些数字组成的乱序排列,将第一个数字A移到最后一位,得到的逆序数为res-a+(n-a-1) 知道上面的知识点后,可以用暴力来解 代码如下: #include<iostream>#include<algorithm>#include<cstring>#include<stack>#in

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象