历史上的今天
今天是：2025年01月26日（星期日）
2021年01月26日 | 为什么项目中的代码需要有Assert断言语句？
2021-01-26 来源：eefocus
1写在前面
有经验的工程师都知道，随着软件版本的迭代，或者需求不断变更，我们的代码就会变得越来越“臃肿”。
在编码的过程中，如果没有注重一些细节，你的代码就可能存在许多隐藏的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初始化：
B.HAL库GPIO初始化：
相信大家都看到过STM32库中的参数断言语句，他的作用就是用于检查函数传入参数是否正确。
2.STM32参数断言使能
STM32的assert_param参数断言函数是没有使能的，如下：
#define assert_param(expr) ((void)0)
也就是assert_param不起作用。
如果需要使用，就需要对其使能才行。
A.标准外设库
B.HAL库
道理一样，使能ASSERT，可以手动：
#define USE_FULL_ASSERT 1U
也可以通过STM32CubeMX配置：
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.断言失败处理
断言失败，可根据实际项目需求，做出一定处理。比如：打印错误信息，存储错误日志等。
本文就讲到这里，方法教给大家，需要自己理解并消化其中内容。
史海拾趣
|
翼志工作室 致力于交直流电机驱动与控制 网址：www.wingzstudio.net YZ-2812 DSP电机控制开发系统本系统系统专为交流电机控制，高性能数字运动控制系统（DMC）和逆变电源而设计。整套DSP电机控制开发系统由YZ-2812-Ctrl板（DSP数 ...… 查看全部问答＞ |
|
我的硬件平台： cpu arm9200, 2m 现存，外扩的1355 lcd 控制器， 触摸屏 软件： linux 2.4.27 + minigui 1.3 我启动了minigui的应用程序，这个界面上有按钮和文字，当我点击文字的时候，发现文字会变模糊，敲击越多越明显，这是怎么回事啊，是驱 ...… 查看全部问答＞ |
|
【低功耗】关于Xilinx Spartan-3E FPGA开发资料---持续更新 正巧碰上活动，把关于Xilinx Spartan-3E FPGA低功耗和非低功耗的资料都奉献上来！~第一季：petalinux-v0.40-final… 查看全部问答＞ |
|
不做电子了，手头上有不少芯片以及电子相关的料件，整理了部分： 1. AD623BR SOP8 数量25 价格10/PCS 2.CS4345 10-pin, 24-Bit, 192 kHz Stereo D/A Converter 数量2209 价格1/PCS 3.UTC 78L05L SOP8数量20 整出价格10 4.ON 78L05A SOP8数量180 ...… 查看全部问答＞ |
|
Zstack中End Device设备失去父节点时的重新入网处理方法 Zstack中End Device设备失去父节点时的重新入网处理方法(By kennan，2012.8.12)在TI的Zstack协议栈中，End Device(ED)在失去父节点的时候就不会重新入网了，那么我们该如何处理才能够让ED重新入网呢？我所能想到的办法有以下几种：1、 入网之后，通 ...… 查看全部问答＞ |
|
使用P2.1口捕获脉冲，算的的数值一直不对，帮忙看看哪里出问题了，非常感谢 #include \"msp430g2553.h\" #include \"LQ12864.h\" #include \"math.h\" unsigned char S1=0,S2=0; int dis=0; unsigned int i,n=0; long int en0,overflow, nu ...… 查看全部问答＞ |
|
帮小白收一个，目标是各位手上放着长期吃灰的开发板，屏可以不要，价格控制在200左右，所以可能一些比较老的ARM9、ARM11开发板比较合适，Cortex-Ax也可以，但价格抬不起来太多，各位有意向可以来报个价… 查看全部问答＞ |