STM32库函数编程学习心得：assert_param的应用

在STM32的固件库和提供的例程中，到处都可以见到assert_param()的使用。如果打开任何一个例程中的stm32f10x_conf.h文件，就可以看到实际上assert_param是一个宏定义；在固件库中，它的作用就是检测传递给函数的参数是否是有效的参数。 所谓有效的参数是指满足规定范围的参数，比如某个参数的取值范围只能是小于3的正整数，如果给出的参数大于3，则这个assert_param()可以在运行的程序调用到这个函数时报告错误，使程序员可以及时发现错误，而不必等到程序运行结果的错误而大费周折。
这是一种常见的软件技术，可以在调试阶段帮助程序员快速地排除那些明显的错误。
它确实在程序的运行上牺牲了效率(但只是在调试阶段)，但在项目的开发上却帮助你提高了效率。
当你的项目开发成功，使用release模式编译之后，或在stm32f10x_conf.h文件中注释掉对USE_FULL_ASSERT的宏定义，所有的assert_param()检验都消失了，不会影响最终程序的运行效率。
摘抄于库函数stm32f0xx_conf.h中：

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

如果定义了USE_FULL_ASSERT，就把 assert_param(expr) 定义为((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__)) 并申明一下assert_failed这个函数。否则把assert_param(expr)定义为空。 __FILE__和__LINE__是IAR定义的宏，指的是当前的编译的文件名和行数。 整个宏作用为：如果expr为真，则什么也不返回，如果expr为假，则调用assert_failed()这个出错程序。

举例：#define IS_GPIO_MODE(MODE) (((MODE) == GPIO_Mode_IN) || ((MODE) ==GPIO_Mode_OUT) || ((MODE) == )
|| ((MODE) == GPIO_Mode_AN))

void GPIO_Init(GPIO_TypeDef* GPIOx, GPIO_InitTypeDef* GPIO_InitStruct)
{
/* Check the parameters */
assert_param(IS_GPIO_MODE(GPIO_InitStruct->GPIO_Mode));
}

GPIO_InitStruct->GPIO_Mode是枚举类型，只能是GPIO_Mode_IN、GPIO_Mode_OUT、GPIO_Mode_AF、GPIO_Mode_AN中一个，因此宏定义IS_GPIO_MODE(MODE)能判断是其中一个为真，否则为假。因此达到调试的目的。
assert_failed()函数完成的具体操作，由用户自己定义。

（转自：http://bbs.21ic.com/icview-357261-1-1.html）