關注+星標公眾號,不錯過精彩內容
作者 | strongerHuang
微信公眾號?|?strongerHuang
有經驗的工程師都知道,隨著軟件版本的迭代,或者需求不斷變更,我們的代碼就會變得越來越“臃腫”。在編碼的過程中,如果沒有注重一些細節,你的代碼就可能存在許多隱藏的Bug。編寫代碼時,我們總是會做出一些假設,斷言就是用于在代碼中捕捉這些假設,可以將斷言看作是異常處理的一種高級形式。斷言表示為一些布爾表達式,程序員相信在程序中的某個特定點該表達式值為真。可以在任何時候啟用和禁用斷言驗證,因此可以在測試時啟用斷言,而在部署時禁用斷言。同樣,程序投入運行后,最終用戶在遇到問題時可以重新啟用斷言。這里的概念,可能不好理解,簡單舉一個例子來說明吧。int Array[5] = {0xA1, 0xB2, 0xC3, 0xD4, 0xE5};
int Fun(char i){ return Array[i];}
如果我們函數中不加Assert斷言語句,你覺得直接調用會這個函數會有風險嗎?很明顯,就這么調用,會出錯,且我們不容易發現錯誤在哪里。但是,假如添加有Assert斷言語句,錯誤就能一下找出來。其實,Assert斷言在很多標準的代碼中,基本都有。我們還是拿STM32的代碼來說明吧。不管是STM32標準外設庫、還是HAL、LL庫源代碼里面都有Assert斷言機制。不知道大家有沒有注意過assert_param函數?相信大家都看到過STM32庫中的參數斷言語句,他的作用就是用于檢查函數傳入參數是否正確。STM32的assert_param參數斷言函數是沒有使能的,如下:#define assert_param(expr) ((void)0)
#define USE_FULL_ASSERT 1U
也可以通過STM32CubeMX配置:
添加Assert斷言之后,代碼量肯定要增加,比如:Code=5350 RO-data=360 RW-data=16 ZI-data=1152Code=8300 RO-data=362 RW-data=16 ZI-data=1152斷言失敗,可根據實際項目需求,做出一定處理。比如:打印錯誤信息,存儲錯誤日志等。本文就講到這里,具體如何應用實際項目中,還需要大家進一步深入理解其中精髓。------------?END?------------

●專欄《嵌入式工具》
●專欄《嵌入式開發》
●專欄《Keil教程》
●嵌入式專欄精選教程
關注公眾號回復“加群”按規則加入技術交流群,回復“1024”查看更多內容。
