老司机带你深入理解ST库中的 assert_param 语句
还有没上车的吗
马上要开车了
不等了，开始发车
老司机，再稍我一个
车已经发动了
你等下一班车吧
车子运行中，大伙儿坐稳啦！
Ⅰ
库函数中的assert_param
在STM8、STM32标准外设库，或者HAL库的stm8_conf.h、stm32···_conf.h文件中会看见如下一段代码：
/* #define USE_FULL_ASSERT 1 */
#ifdef USE_FULL_ASSERT
#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))
voidassert_failed(uint8_t* file, uint32_t line);
#else
#define assert_param(expr) ((void)0)
#endif
大概意思就是：如果定义了USE_FULL_ASSERT，则会宏定义：#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))
相当于是一个条件语句。
此时，还需要我们实现assert_failed函数，如果不实现，则会报错（后面来讲具体如何实现）。
而在其他地方调用情况（如GPIO）
void GPIO_SetBits(GPIO_TypeDef* GPIOx, uint16_t GPIO_Pin)
{
assert_param(IS_GPIO_ALL_PERIPH(GPIOx));
assert_param(IS_GPIO_PIN(GPIO_Pin));
GPIOx->BSRR = GPIO_Pin;
}
调用assert_param的主要作用就是检测参数正确与否，即我们所说的断言。
Ⅱ
assert_param详情
1.STM8S中的assert_param
细心的朋友会发现，STM8标准外设库stm8s_conf.h中开启了USE_FULL_ASSERT这个宏：
#define USE_FULL_ASSERT (1)
开启USE_FULL_ASSERT这个宏，就意味着要实现assert_failed((uint8_t *)__FILE__, __LINE__))这个函数；
那么我就在main.c文件下，按照官方的例程实现了assert_failed函数：
#ifdef USE_FULL_ASSERT //断言(参考官方)
void assert_failed(u8* file, u32 line)
{
while (1)
{
}
}
#endif
2.STM32中的assert_param
在STM32标准外设库，HAL库中的USE_FULL_ASSERT这个宏是被屏蔽了的。故程序运行#define assert_param(expr) ((void)0)
也就是没有做任何处理。
我之前提供的例程中，为了不动官方代码，assert_param这个函数都是没有使用的。
3.assert_failed((uint8_t *)__FILE__, __LINE__))
看到这个函数，就要说下__FILE__和__LINE__这两个标准定义。
__LINE__：正在编译文件的行号
__FILE__：正在编译文件的文件名
还不懂的同学，建议参考之前的文章【ANSIC几种特殊的标准定义（__FILE__、__LINE__、__STDC__···）】。
而上面只是申明，函数具体的实现还需要自己实现。理解了上面两个参数，相信大家都会知道如何实现了。需要根据自己项目情况来实现。常规举例：
voidassert_failed(uint8_t* file, uint32_t line)
{
printf("Error code in file:%s,line:%u ",file,line);
}
这条语句在调及产品出厂之前测试是很有必要的，方便分析问题所在。正式推出版本，不定义USE_FULL_ASSERT这个宏既可以关闭了。
-
ST
+关注
关注
32文章
1133浏览量
128909 -
STM32
+关注
关注
2270文章
10895浏览量
355712 -
STM8
+关注
关注
18文章
392浏览量
56774
发布评论请先 登录
相关推荐
深入探讨Linux系统中的动态链接库机制
深入理解C语言：循环语句的应用与优化技巧
技术干货驿站 ▏深入理解C语言：掌握C语言条件判断，从if到switch的应用
深入理解FPD-link III ADAS解串器HUB产品
技术干货驿站 ▏深入理解C语言：基本数据类型和变量
工商网监
评论