良许Linux教程网 干货合集 为什么项目中的代码需要有Assert断言语句?

为什么项目中的代码需要有Assert断言语句?

许多追随我的观众们可能还不了解或者没有接触过Assert断言。因此,我想抽出今天的时间来简要介绍一下这个话题。

背景简介

技术娴熟的程序员都清楚,软件项目随着时间的推移和需求的更迭,代码往往会变得更为复杂和臃肿。

在代码编写过程中,忽视了某些编程细节可能会导致代码中潜藏许多Bug。

那么,如何揭示这些未曾浮出水面的Bug呢?

接下来,我会解答上述问题的答案之一——Assert断言

2关于Assert断言

什么是Assert断言?

编写代码时,我们总是会做出一些假设,断言就是用于在代码中捕捉这些假设,可以将断言看作是异常处理的一种高级形式

断言表示为一些布尔表达式,程序员相信在程序中的某个特定点该表达式值为真。

可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言,而在部署时禁用断言

同样,程序投入运行后,最终用户在遇到问题时可以重新启用断言。

—来自百度百科

这里的概念,可能不好理解,简单举一个例子来说明吧。

有这么一个数组和函数:

int Array[5] = {0xA1, 0xB2, 0xC3, 0xD4, 0xE5};

int Fun(char i)
{
  return Array[i];
}

如果我们函数中不加Assert断言语句,你觉得直接调用会这个函数会有风险吗?

假如这么调用:

int a;

a = Fun(8);

很明显,就这么调用,会出错,且我们不容易发现错误在哪里。

但是,假如添加有Assert断言语句,错误就能一下找出来。

3Assert断言实际应用

其实,Assert断言在很多标准的代码中,基本都有。我们还是拿STM32的代码来说明吧。

不管是STM32标准外设库,还是HAL、LL库源代码里面都有Assert断言机制。

不知道大家有没有注意过assert_param函数

1.拿STM32最常见的GPIO初始化函数为例

A.标准外设库GPIO初始化:

image-20231228181433277
image-20231228181433277

B.HAL库GPIO初始化:

image-20231228181436333
image-20231228181436333

相信大家都看到过STM32库中的参数断言语句,他的作用就是用于检查函数传入参数是否正确

2.STM32参数断言使能

STM32的assert_param参数断言函数是没有使能的,如下:

#define assert_param(expr) ((void)0)

也就是assert_param不起作用。

如果需要使用,就需要对其使能才行。

A.标准外设库

image-20231228181441426
image-20231228181441426

B.HAL库

道理一样,使能ASSERT,可以手动:

#define USE_FULL_ASSERT    1U 

也可以通过STM32CubeMX配置:image-20231228181444989

3.代码大小

添加Assert断言之后,代码量肯定要增加,比如:

不使能assert_param代码量:

Code=5350 RO-data=360 RW-data=16 ZI-data=1152

使能assert_param:

Code=8300 RO-data=362 RW-data=16 ZI-data=1152

4.断言失败处理

断言失败,可根据实际项目需求,做出一定处理。比如:打印错误信息,存储错误日志等。

以上就是良许教程网为各位朋友分享的Linu系统相关内容。想要了解更多Linux相关知识记得关注公众号“良许Linux”,或扫描下方二维码进行关注,更多干货等着你 !

137e00002230ad9f26e78-265x300
本文由 良许Linux教程网 发布,可自由转载、引用,但需署名作者且注明文章出处。如转载至微信公众号,请在文末添加作者公众号二维码。
良许

作者: 良许

良许,世界500强企业Linux开发工程师,公众号【良许Linux】的作者,全网拥有超30W粉丝。个人标签:创业者,CSDN学院讲师,副业达人,流量玩家,摄影爱好者。
上一篇
下一篇

发表评论

联系我们

联系我们

公众号:良许Linux

在线咨询: QQ交谈

邮箱: yychuyu@163.com

关注微信
微信扫一扫关注我们

微信扫一扫关注我们

关注微博
返回顶部