看到交流群中的一些小伙伴在讨论STM32标准库中的Assert断言语句，发现有许多人对Assert的概念还不太清楚，所以今天我想再来分享一下关于Assert的内容。

写在前面

在软件开发过程中，随着版本的迭代和需求的变更，我们的代码往往会变得越来越复杂。如果我们在编码的过程中不注意一些细节，就可能会引入一些隐藏的Bug。

那么，我们该如何找出这些隐藏的Bug呢？这就引入了Assert断言的概念。

关于Assert断言

Assert断言是用于在代码中捕捉假设的一种机制。在编写代码的过程中，我们经常会做出一些假设，而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.断言失败处理

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

本文就讲到这里，方法教给大家，需要自己理解并消化其中内容。

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