1寫在前面有經(jīng)驗(yàn)的工程師都知道，隨著軟件版本的迭代，或者需求不斷變更，我們的代碼就會變得越來越“臃腫”。 在編碼的過程中，如果沒有注重一些細(xì)節(jié)，你的代碼就可能存在許多隱藏的Bug。 那么，我們?nèi)绾握页鲞@些隱藏的Bug呢？ 今天就說其中的一點(diǎn)：Assert斷言。 2關(guān)于Assert斷言什么是Assert斷言？ 編寫代碼時，我們總是會做出一些假設(shè)，斷言就是用于在代碼中捕捉這些假設(shè)，可以將斷言看作是異常處理的一種高級形式。 斷言表示為一些布爾表達(dá)式，程序員相信在程序中的某個特定點(diǎn)該表達(dá)式值為真。 可以在任何時候啟用和禁用斷言驗(yàn)證，因此可以在測試時啟用斷言，而在部署時禁用斷言。 同樣，程序投入運(yùn)行后，最終用戶在遇到問題時可以重新啟用斷言。 ---來自百度百科 這里的概念，可能不好理解，簡單舉一個例子來說明吧。 有這么一個數(shù)組和函數(shù)： int Array[5] = {0xA1, 0xB2, 0xC3, 0xD4, 0xE5};int Fun(char i){ return Array[i];}如果我們函數(shù)中不加Assert斷言語句，你覺得直接調(diào)用會這個函數(shù)會有風(fēng)險(xiǎn)嗎？ 假如這么調(diào)用：
很明顯，就這么調(diào)用，會出錯，且我們不容易發(fā)現(xiàn)錯誤在哪里。 但是，假如添加有Assert斷言語句，錯誤就能一下找出來。 3Assert斷言實(shí)際應(yīng)用其實(shí)，Assert斷言在很多標(biāo)準(zhǔn)的代碼中，基本都有。我們還是拿STM32的代碼來說明吧。 不管是STM32標(biāo)準(zhǔn)外設(shè)庫，還是HAL、LL庫源代碼里面都有Assert斷言機(jī)制。 不知道大家有沒有注意過assert_param函數(shù)？
A.標(biāo)準(zhǔn)外設(shè)庫GPIO初始化： B.HAL庫GPIO初始化： 相信大家都看到過STM32庫中的參數(shù)斷言語句，他的作用就是用于檢查函數(shù)傳入?yún)?shù)是否正確。 2.STM32參數(shù)斷言使能 STM32的assert_param參數(shù)斷言函數(shù)是沒有使能的，如下： #define assert_param(expr) ((void)0)也就是assert_param不起作用。 如果需要使用，就需要對其使能才行。 A.標(biāo)準(zhǔn)外設(shè)庫 B.HAL庫 道理一樣，使能ASSERT，可以手動： 也可以通過STM32CubeMX配置： 3.代碼大小 添加Assert斷言之后，代碼量肯定要增加，比如： 不使能assert_param代碼量： Code=5350 RO-data=360 RW-data=16 ZI-data=1152 使能assert_param： Code=8300 RO-data=362 RW-data=16 ZI-data=1152 4.斷言失敗處理 斷言失敗，可根據(jù)實(shí)際項(xiàng)目需求，做出一定處理。比如：打印錯誤信息，存儲錯誤日志等。 本文就講到這里，方法教給大家，需要自己理解并消化其中內(nèi)容。 |
|
|
