在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）