断言一般会用做函数入口参数的有效性判断，在STM32的HAL库中就有很多应用，比如在STM32F429中断优先级分组配置函数中（此处只说断言应用，不对STM32F429的中断分组做过多讨论）：

这里第一条语句assert_param就是断言函数，它用来判断函数参数PriorityGroup是否合法，断言函数assert_param使用一个宏来实现的，通过MDK的“Go To Definition of ‘assert_param’”可以在stm32f4xx_hal_conf.h中找到其定义如下：

宏USE_FULL_ASSERT是用来表示是否支持断言的开关，如果没有定义这个宏，那么断言函数assert_param无任何操作；如果开启了断言，那么它将通过三目操作符来进行判断，如果expr为真，不执行任何操作，如果expr为假，执行assert_failed函数。assert_failed函数在库中只有声明，没有定义，需要用户自己根据实际开发需要去实现其功能，该函数的两个参数分别是调用assert_failed函数（即参数不合法）的文件的文件名和行号，可以通过该函数打印参数不合法的文件及不合法的行号位置。 回到最初的HAL_NVIC_SetPriorityGrouping函数，这里assert_param函数的参数IS_NVIC_PRIORITY_GROUP也是一个宏，定义在stm32f4xx_hal_cortex.h中：

stm32f429的中断分组共0-4五组，如果函数参数PriorityGroup不是这五个之一，那么整个表达式为假，此时调用断言函数中的assert_failed函数来打印错误信息。