assert_param

在STM32的固件库和提供的例程中，到处都可以见到assert_param()的使用。如果打开任何一个例程中的stm32f10x_conf.h文件，就可以看到实际上assert_param是一个宏定义；

在固件库中，它的作用就是检测传递给函数的参数是否是有效的参数。

举例说明：

　　assert_param(IS_USART_ALL_PERIPH(USARTx));　　

　这句代码用于检查参数USARTx是否有效，其中IS_USART_ALL_PERIPH(USARTx)是一个宏定义，如下：

#define IS_USART_ALL_PERIPH(PERIPH) (((PERIPH) == USART1) || \
                                     ((PERIPH) == USART2) || \
                                     ((PERIPH) == USART3) || \
                                     ((PERIPH) == USART4) || \
                                     ((PERIPH) == USART5) || \
                                     ((PERIPH) == USART6) || \
                                     ((PERIPH) == USART7) || \
                                     ((PERIPH) == USART8))

宏定义的功能是参数USARTx是USART1~USART8其中的一个，表示参数USARTx有效，返回true，否则返回false。

assert_param()也是一个宏，定义在stm32f4xx_conf.h中，具体如下

#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 */

#endif /* __STM32F4xx_CONF_H */

如果USE_FULL_ASSERT宏定义了，则执行下面的代码：

#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))　　//表示参数expr为false，则执行后面的assert_failed()函数，__FILE__, __LINE__是标准库函数中的宏定义，表示文件名和行号

 void assert_failed(uint8_t* file, uint32_t line);　　//申明该函数

如果USE_FULL_ASSERT没有宏定义，则执行((void)0)，即什么都不做。

参考：https://www.cnblogs.com/leo0621/p/9435794.html