使用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%d\r\n”，file，line）;while（1）;}

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

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