看到交流群的小伙伴在討論STM32標(biāo)準(zhǔn)庫中Assert斷言語句，感覺還是有很多小伙伴都不清楚什么是Assert，今天就再來分享一下關(guān)于Assert的內(nèi)容。

什么是Assert斷言？

---來自百度百科

這里的概念，可能不好理解，簡單舉一個例子來說明吧。

有這么一個數(shù)組和函數(shù)：

int Array[5] = {0xA1, 0xB2, 0xC3, 0xD4, 0xE5};
int Fun(char i){ return Array[i];}

如果我們函數(shù)中不加Assert斷言語句，你覺得直接調(diào)用會這個函數(shù)會有風(fēng)險嗎？

假如這么調(diào)用：

int a;
a = Fun(8);

很明顯，就這么調(diào)用，會出錯，且我們不容易發(fā)現(xiàn)錯誤在哪里。

但是，假如添加有Assert斷言語句，錯誤就能一下找出來。

其實，Assert斷言在很多標(biāo)準(zhǔn)的代碼中，基本都有。我們還是拿STM32的代碼來說明吧。

不管是STM32標(biāo)準(zhǔn)外設(shè)庫、還是HAL、LL庫源代碼里面都有Assert斷言機制。

不知道大家有沒有注意過assert_param函數(shù)？

1.拿STM32最常見的GPIO初始化函數(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，可以手動：

#define USE_FULL_ASSERT 1U

也可以通過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ù)實際項目需求，做出一定處理。比如：打印錯誤信息，存儲錯誤日志等。

本文就講到這里，方法教給大家，需要自己理解并消化其中內(nèi)容。

serif;">長按前往圖中包含的公眾號關(guān)注