怎么理解Assert中的断言语句？
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.断言失败处理
断言失败，可根据实际项目需求，做出一定处理。比如：打印错误信息，存储错误日志等。
本文就讲到这里，方法教给大家，需要自己理解并消化其中内容。
多屏异显方案-瑞芯微RK3568开发板
通过拆解Samsung Galaxy S6 Edge分析传感器的作用
三星可折叠屏幕手机传2月发表
名单揭晓+新礼奉上，快来！
烧录器的种类及选择方案
怎么理解Assert中的断言语句？
TI推出8款支持高达5A电流的最新器件
如何用无线MCU实现2.4GHz和Sub-1GHz频带的无缝连接
R型变压器软启动，寿命长，效率高！让电机开机更安全！
联发科MTK6580安卓4G全网通智能核心板模块规格指导书
ISODA系列产品实现主机RS-485/232接口信号隔离转换成标准模拟信号
玩笑开大了：小米5X拍照还不如三年的华为荣耀4X？
安捷伦推出业界最高性能实时频谱分析仪
吉利联手smart 自主品牌的转机即将到来
魅族16T新机样张公布 在极弱光环境下细节表现出色
PCB技术：AD中在板优化走线被阻碍怎么解决
开关电源的主要测试点
小米MIX2、华为Mate10、一加5T最新消息汇总：最强全面屏小米MIX2、华为Mate10、一加5T你选谁？
CES 2020上英特尔揭示了DG1显卡的更多真实细节
多用途滤波器网络结合了抗混叠和sinc补偿
有经验的工程师都知道，随着软件版本的迭代，或者需求不断变更，我们的代码就会变得越来越“臃肿”。
在编码的过程中，如果没有注重一些细节，你的代码就可能存在许多隐藏的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.断言失败处理
断言失败，可根据实际项目需求，做出一定处理。比如：打印错误信息，存储错误日志等。
本文就讲到这里，方法教给大家，需要自己理解并消化其中内容。
多屏异显方案-瑞芯微RK3568开发板
通过拆解Samsung Galaxy S6 Edge分析传感器的作用
三星可折叠屏幕手机传2月发表
名单揭晓+新礼奉上，快来！
烧录器的种类及选择方案
怎么理解Assert中的断言语句？
TI推出8款支持高达5A电流的最新器件
如何用无线MCU实现2.4GHz和Sub-1GHz频带的无缝连接
R型变压器软启动，寿命长，效率高！让电机开机更安全！
联发科MTK6580安卓4G全网通智能核心板模块规格指导书
ISODA系列产品实现主机RS-485/232接口信号隔离转换成标准模拟信号
玩笑开大了：小米5X拍照还不如三年的华为荣耀4X？
安捷伦推出业界最高性能实时频谱分析仪
吉利联手smart 自主品牌的转机即将到来
魅族16T新机样张公布 在极弱光环境下细节表现出色
PCB技术：AD中在板优化走线被阻碍怎么解决
开关电源的主要测试点
小米MIX2、华为Mate10、一加5T最新消息汇总：最强全面屏小米MIX2、华为Mate10、一加5T你选谁？
CES 2020上英特尔揭示了DG1显卡的更多真实细节
多用途滤波器网络结合了抗混叠和sinc补偿