assert_param

文章描述:-2022年2月18日发(作者:mnc)我们在学STM32的时候函数assert_param出现的几率非常大,上网搜索一下,网上一般解释断言机制,做为程序开发调试阶段时使用。下面我就谈一下我对这些应用的看法,学习东西抱着知其然也要知其所以然。 4 断言机制函数assert_param 我们在分析库函数的时候,几乎每一个函数的原型有这个函数assert_param();下面以assert_param

-

assert_param 2022年2月18日发(作者:mnc)


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

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))

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

下面我们再回到assert_param这个函数,这个函数是哪里的呢?在stm32f10x_conf.h寻
到原型如下:

#ifdef USE_FULL_ASSERT

#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__,
__LIE__))

void assert_failed(uint8_t* file, uint32_t line);

#else

#define assert_param(expr) ((void)0)

#endif

这是一个预编译文件,若是定义了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__, __LIE__),函数的作用在库函数中有解释,用来指
示出错的行数和文件。注意:__FILE__, __LIE__是标准库函数中的宏定义!切记

void assert_failed(uint8_t* file, uint32_t line);刚开始没看明白为什么加在这里,
仔细一想是在头文件的函数声明。至于函数实体呢?我们从官方文件的模板中中可
以到。如下:

void assert_failed(u8* file, u32 line)

{ * User can add his own implementation to report the file name and line number,

ex: printf(


* Infinite loop *

while (1) { }

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

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


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

#if !defined USE_STDPERIPH_DRIVER

**

* @brief 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

#endif

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

通过以上可以看出,通过头文件的相互包含,来控制外设以及调试文件的调用,这样我们理


清思路,理解起来就好多了。当然在学习中可能有些C语言问题还没有理解透彻,多上网搜
一下,或者多看书,很快就搞明白的。


-

assert_param

发布时间:2022-02-18 22:12:46
文章版权声明:除非注明,否则均为IT技术网-学习WEB前端开发等IT技术的网络平台原创文章,转载或复制请以超链接形式并注明出处。

发表评论

评论列表 (有 14 条评论,175人围观)

最近发表

随便看看

热门文章

标签列表