關於ASSERT(斷言)的作用

程序一般分爲Debug 版本和Release 版本，Debug 版本用於內部調試，Release 版本發行給用戶使用。斷言assert 是僅在Debug 版本起作用的宏，它用於檢查“不應該”發生的情況。在運行過程中，如果assert 的參數爲假，那麼程序就會中止（一般地還會出現提示對話，說明在什麼地方引發了assert）。

　　在STM32的固件庫和提供的例程中，到處都可以見到assert_param()的使用。如果打開任何一個例程中的stm32f10x_conf.h文件，就可以看到實際上assert_param是一個宏定義；在固件庫中，它的作用就是檢測傳遞給函數的參數是否是有效的參數。

　　所謂有效的參數是指滿足規定範圍的參數，比如某個參數的取值範圍只能是小於3的正整數，如果給出的參數大於3，則這個assert_param()可以在運行的程序調用到這個函數時報告錯誤，使程序員可以及時發現錯誤，而不必等到程序運行結果的錯誤而大費周折。

　　這是一種常見的軟件技術，可以在調試階段幫助程序員快速地排除那些明顯的錯誤。它確實在程序的運行上犧牲了效率(但只是在調試階段)，但在項目的開發上卻幫助你提高了效率。

　　當你的項目開發成功，使用release模式編譯之後，或在stm32f10x_conf.h文件中註釋掉對USE_FULL_ASSERT的宏定義，所有的assert_param()檢驗都消失了，不會影響最終程序的運行效率。

　　在執行assert_param()的檢驗時，如果發現參數出錯，它會調用函數assert_failed()向程序員報告錯誤，在任何一個例程中的main.c中都有這個函數的模板，如下：

void assert_failed(uint8_t* file, uint32_t line)
{
/* User can add his own implementation to report the file name and line number,
ex: printf("Wrong parameters value: file %s on line %d\r\n", file, line) */
     while (1)
     {
     }

}  

　你可以按照自己使用的環境需求，添加適當的語句輸出錯誤的信息提示，或修改這個函數做出適當的錯誤處理。

、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、、

我們在學STM32的時候函數assert_param出現的機率非常大，上網搜索一下，網上一般解釋斷言機制，做爲程序開發調試階段時使用。下面我就談一下我對這些應用的看法，學習東西抱着知其然也要知其所以然。

   4  斷言機制函數assert_param
      我們在分析庫函數的時候，幾乎每一個函數的原型有這個函數assert_param()；下面以assert_param(IS_GPIO_ALL_PERIPH(GPIOx));爲例說一下我的理解，函數的參數IS_GPIO_ALL_PERIPH(GPIOx)，我們可以尋找到原型
     #define IS_GPIO_ALL_PERIPH(PERIPH) (((*(uint32_t*)&(PERIPH)) == GPIOA_BASE) || 
                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOB_BASE) ||    //都是或的關係
                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOC_BASE) || 
                                                                       ((*(uint32_t*)&(PERIPH)) == GPIOD_BASE) ||