STM32庫函數(shù)中的assert_param和assert_failed

使用STM32庫函數(shù)的時候，你會發(fā)現(xiàn)帶參數(shù)的庫函數(shù)前面都有assert_param語句。

例如我們隨便看一個庫函數(shù)，如下所示：

這個函數(shù)是3.5版本庫函數(shù)stm32f10x_tim.c中的定時器復(fù)位函數(shù)。

assert_param語句的作用？

assert_param語句是用于程序開發(fā)的時候，調(diào)試用的檢測語句。默認是不開啟的，你可以無視它的存在。但是，當你在調(diào)試程序的時候，可以打開這個檢測機制，調(diào)試完了再關(guān)閉。

怎么使assert_param起作用？

查看assert_param的定義，位于stm32f10x_conf.h文件，你會發(fā)現(xiàn)它實際上是個宏，看它的條件編譯語句，你會發(fā)現(xiàn)，把USE_FULL_ASSERT定義后，即可打開assert_param這個參數(shù)檢測機制。USE_FULL_ASSERT這個宏定義已經(jīng)在文件中隱掉，我們把它的注釋符號去掉即可。

看上圖中第59行代碼，是個條件編譯語句，意思是：如果定義了USE_FULL_ASSERT，就把assert_param定義為一個三目運算的結(jié)構(gòu)（第68行），否則（第71行），就把assert_param定義成((void)0)(第72行)。也就是說，你只有定義了USE_FULL_ASSERT，assert_param才會起作用，這個作用就是通過一個三目運算結(jié)構(gòu)（如下）來判斷的。關(guān)于三目運算的基礎(chǔ)知識，請看http://www.rationmcu.com/clang/382.html

#defineassert_param(expr)((expr)?(void)0:assert_failed((uint8_t*)__FILE__,__LINE__))

assert_param語句的作用是檢測函數(shù)的參數(shù)是否符合該函數(shù)的要求，例如上面的函數(shù)中的參數(shù)就是TIMx，我們找到IS_TIM_ALL_PERIPH這個定義，可以看到TIMx中的x的范圍是1~17，也就是說，你要是把函數(shù)寫成TIM_DeInit(TIM1);assert_param的結(jié)果就是(void)0，如果你把函數(shù)寫成TIM_DeInit(TIM18);就會調(diào)用assert_failed函數(shù)。

#defineIS_TIM_ALL_PERIPH(PERIPH)(((PERIPH)==TIM1)||((PERIPH)==TIM2)||((PERIPH)==TIM3)||((PERIPH)==TIM4)||((PERIPH)==TIM5)||((PERIPH)==TIM6)||((PERIPH)==TIM7)||((PERIPH)==TIM8)||((PERIPH)==TIM9)||((PERIPH)==TIM10)||((PERIPH)==TIM11)||((PERIPH)==TIM12)||((PERIPH)==TIM13)||((PERIPH)==TIM14)||((PERIPH)==TIM15)||((PERIPH)==TIM16)||((PERIPH)==TIM17))

assert_failed函數(shù)怎么寫？

如上，當你定義了USE_FULL_ASSET之后，你立即編譯，編譯器會報錯，提示assert_failed函數(shù)沒有定義。我們把assert_failed這個函數(shù)放到mian.c文件中，如下定義：

voidassert_failed(uint8_t*file,uint32_tline){printf("Wrongparametersvalue:file%sonline%drn",file,line);while(1);}

上面函數(shù)的意思就是，如果參數(shù)出錯，輸出出錯的文件名稱和行號。結(jié)果是輸出到串口，用串口調(diào)試助手可以看到輸出結(jié)果。注意，編譯器Build Output欄是不會報錯的。

下面給出一個例程，故意寫錯參數(shù)，通過STM32串口1把錯誤參數(shù)的文件名稱和行數(shù)發(fā)到串口，你打開串口調(diào)試助手即可看到結(jié)果。