STM32 一种参数检查用法介绍
assert_param()是一个在代码中很常见的写法，这个函数的功能一般是对函数参数的合法性进行检查，这里以一个例子进行分析：
assert_param(IS_GPIO_ALL_PERIPH(GPIOx))
函数的参数是IS_GPIO_ALL_PERIPH(GPIOx)，原型为：
#define IS_GPIO_ALL_PERIPH(PERIPH) (((PERIPH) == GPIOA) ||
((PERIPH) == GPIOB) ||
((PERIPH) == GPIOC) ||
((PERIPH) == GPIOD) ||
((PERIPH) == GPIOE) ||
((PERIPH) == GPIOF) ||
((PERIPH) == GPIOG) ||
((PERIPH) == GPIOH) ||
((PERIPH) == GPIOI) ||
((PERIPH) == GPIOJ) ||
((PERIPH) == GPIOK))
这个宏定义的作用就是检查参数PERIPH，判断参数PERIPH是否为GPIOX（A...G)基址中的一个，只要有一个为真则其值为真，否则为假。由于这个是宏定义，因此并不是在编译的时候进行判断上的简化，而是将多行代码用宏定义代替了。
下面再看看assert_param:
assert_param
函数原型如下：
#ifdef USE_FULL_ASSERT
/**
* @brief The assert_param macro is used for function's parameters check.
* @param expr: If expr is false, it calls assert_failed function
* which reports the name of the source file and the source
* line number of the call that failed.
* If expr is true, it returns no value.
* @retval None
*/
#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))
/* Exported functions ------------------------------------------------------- */
void assert_failed(uint8_t* file, uint32_t line);
#else
#define assert_param(expr) ((void)0)
#endif /* USE_FULL_ASSERT */
这里有一个判断，如果是FULL ASSERT，则宏定义被展开为：((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))，否则则被展开为((void)0)。
先看第二种：
如果被展开为((void)0)，则相当于什么也没做，那么看第一种，如果expr为真，则跟第二种的处理一样，什么也不做，如果expr为假，则执行断言失败assert_failed((uint8_t *)__FILE__, __LINE__))
既然如果选择了FULL ASSERT，那么就有断言失败的可能，因此，这里把断言失败的函数声明写上，即可避免编译错误。
再看断言失败的处理：
void assert_failed(u8* file, u32 line)
官方给出的代码如下：
void assert_failed(u8* file, u32line)
{
/* User can add his ownimplementation to report the file name and line number,
ex: printf("Wrong parametersvalue: file %s on line %drn", file, line) */
/* Infinite loop */
while (1) { }
}
这里可以使用串口打印出来，并将程序halt在这里。STM32的这种用法，可以推广至一般的嵌入式APP开发中，在不支持高级语言的场景下，使用C语言对输入参数进行检查也是一种很好用的手段。
我们可以在应用开发时，建立一个参数检查的宏定义表，并在编写函数时使用上面的检查方式进行检查。