使用STM32庫函數的時候，你會發現帶參數的庫函數前面都有assert_param語句。

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

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

assert_param語句的作用？

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

怎么使assert_param起作用？

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

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

#defineassert_param（expr）（（expr）？（void）0:assert_failed（（uint8_t*）__FILE__，__LINE__））

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

#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函數怎么寫？

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

voidassert_failed（uint8_t*file，uint32_tline）{printf（“Wrongparametersvalue:file%sonline%d\r\n”，file，line）;while（1）;}

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

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