STM32的函数ssert_param

只看该作者 · 2021-11-19 23:46

STM32的函数ssert_param(IS_GPIO_ALL_PERIPH(GPIOx));我们在学STM32的时候函数assert_param出现的几率非常大，上网搜索一下，网上一般解释断言机制，做为程序开发调试阶段时使用。下面我就谈一下我对这些应用的看法，学习东西抱着知其然也要知其所以然。

只看该作者 · 2021-11-19 23:47

复制

   4  断言机制函数assert_param

      我们在分析库函数的时候，几乎每一个函数的原型有这个函数assert_param()；下面以assert_param(IS_GPIO_ALL_PERIPH(GPIOx));为例说一下我的理解，函数的参数IS_GPIO_ALL_PERIPH(GPIOx)，我们可以寻找到原型

     #define IS_GPIO_ALL_PERIPH(PERIPH) (((*(uint32_t*)&(PERIPH)) == GPIOA_BASE) || \

                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOB_BASE) || \   //都是或的关系

                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOC_BASE) || \

                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOD_BASE) || \

                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOE_BASE) || \

                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOF_BASE) || \

                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOG_BASE)

                                                                     )

只看该作者 · 2021-11-19 23:47

这个宏定义的作用就是检查参数PERIPH（外围），判断参数PERIPH是否为GPIOX（A...G)基址中的一个，只要有一个为真则其值为真，否则为假，不用多说，这是C语言中基本的逻辑运算。当然这个库函数也用的很有意思，看：首先对PERIPH进行取址，也就是求地址，&PERIPH,然后对这个地址强制转化为32位的指针，即前面加（uint32_t *),然后通过*进行访问这个地址（指针）中的内容。不多说了，看几遍就能明白

只看该作者 · 2021-11-19 23:48

下面我们再回到assert_param这个函数，这个函数是哪里的呢？在stm32f10x_conf.h寻找到原型如下：
#ifdef USE_FULL_ASSERT
#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))
void assert_failed(uint8_t* file, uint32_t line); 好有作用啊（）
#else
#define assert_param(expr) ((void)0)
#endif

只看该作者 · 2021-11-19 23:49

这是一个预编译文件，若是定义了USE_FULL_ASSERT这个文件，则执行后面的文件，我们在程序中一般都没什么定义，即执行后面这个语句((void)0)，这个语句不用多想，没有定义USE_FULL_ASSERT就是什么也不执行。说的明白点，对上面的那个语句IS_GPIO_ALL_PERIPH(GPIOx)不执行任何操作。若是定义了USE_FULL_ASSERT它，我们调用这个函数assert_param时，及对参数IS_GPIO_ALL_PERIPH(GPIOx)的正确性进行检查，通过一个C语言中的双目运算符来判断，若是返回1，执行语句(void)0,跟上面一样，若是返回0，则执行后面的函数assert_failed((uint8_t *)__FILE__, __LINE__)，函数的作用在库函数中有解释，用来指示出错的行数和文件。注意：__FILE__, __LINE__是标准库函数中的宏定义！切记

只看该作者 · 2021-11-19 23:49

void assert_failed(uint8_t* file, uint32_t line);刚开始没看明白为什么加在这里，仔细一想是在头文件的函数声明。至于函数实体呢？我们从官方文件的模板中main.c中可以找到。如下：
void assert_failed(u8* file, u32 line)
{ /* User can add his own implementation to report the file name and line number,
ex: printf("Wrong parameters value: file %s on line %d\r\n", file, line) */ 自己可以写个串口打印信息什么的，同时会将错误的行返回的

只看该作者 · 2021-11-19 23:50

/* Infinite loop */
while (1) { }
} 英文注释也说明了怎么应用，通过输入参数来确定位置，最简单的方法就是串口打印了，这个函数的主要思想是在输入参数有问题的时候，但是有编译不出来，它可以帮你检查参数的有效性，好处不必多言，自己领悟就行。

只看该作者 · 2021-11-19 23:51

继续说明： assert_param是怎样包含进去的呢？我们在stm32f10x_conf.h这个头文件中定义的函数声明还是宏定义，怎么在其它文件中都能应用呢？也很多网上朋友在刚开始学习的时候都遇到编译不过去的问题出现,最后通过在文件中添加USE_STDPERIPH_DRIVER来解决的：

只看该作者 · 2021-11-19 23:51

只看该作者 · 2021-11-19 23:52

我们可以在整个工程中进行搜索USE_STDPERIPH_DRIVER,通过头文件可以看出，是使用标准外设文件。在stm32f10x.h文件中我们可以搜索到如下情况：

只看该作者 · 2021-11-19 23:52

复制

      #if !defined  USE_STDPERIPH_DRIVER

/**

 * [url=home.php?mod=space&uid=247401]@brief[/url] Comment the line below if you will not use the peripherals drivers.

   In this case, these drivers will not be included and the application code will

   be based on direct access to peripherals registers

   */

  #define USE_STDPERIPH_DRIVER

#endif



#ifdef USE_STDPERIPH_DRIVER

  #include "stm32f10x_conf.h"

#endif

只看该作者 · 2021-11-19 23:53

可以很容易看出来，我们不在那里添加，这个头文件中也给我们设置了开关，只要把第一个的注释去掉，就不用在配置中添加USE_STDPERIPH_DRIVER了，在第二个文件中我们可以知道怎样包含这个控制开关文件了，呵呵。我们也明白为什么我们在写程序的时候只要包含stm32f10x.h就能很容易的包含所有的文件文件了吧，我们只要在stm32f10x_conf.h配置一下就能包含所需要的库文件了。

只看该作者 · 2021-11-19 23:54

通过以上可以看出，通过头文件的相互包含，来控制外设以及调试文件的调用，这样我们理清思路，理解起来就好多了。当然在学习中可能有些C语言问题还没有理解透彻，多上网搜一下，或者多看书，很快就搞明白的。

只看该作者 · 2021-12-11 09:55

这个函数的功能是什么呢

只看该作者 · 2021-12-11 09:56

可能是因为我是cube生成的所以从来没关注过这个函数

只看该作者 · 2021-12-11 09:57

能介绍一下断言机制吗

1万 · 2021-12-11 10:00

理解的非常深入

只看该作者 · 2021-12-11 10:01

一步一步的剖析函数啊