我們在學(xué)STM32的時候函數(shù)assert_param出現(xiàn)的幾率非常大,上網(wǎng)搜索一下,網(wǎng)上一般解釋斷言機制,做為程序開發(fā)調(diào)試階段時使用。下面我就談一下我對這些應(yīng)用的看法,學(xué)習(xí)東西抱著知其然也要知其所以然。4斷言機制函數(shù)assert_param
我們在分析庫函數(shù)的時候,幾乎每一個函數(shù)的原型有這個函數(shù)assert_param();下面以assert_param(IS_GPIO_ALL_PERIPH(GPIOx));為例說一下我的理解,函數(shù)的參數(shù)IS_GPIO_ALL_PERIPH(GPIOx),我們可以尋找到原型
#define IS_GPIO_ALL_PERIPH(PERIPH) (((*(uint32_t*)&(PERIPH)) == GPIOA_BASE) ||
((*(uint32_t*)&(PERIPH)) == GPIOB_BASE) || //都是或的關(guān)系
((*(uint32_t*)&(PERIPH)) == GPIOC_BASE) ||
((*(uint32_t*)&(PERIPH)) == GPIOD_BASE) ||
((*(uint32_t*)&(PERIPH)) == GPIOE_BASE) ||
((*(uint32_t*)&(PERIPH)) == GPIOF_BASE) ||
((*(uint32_t*)&(PERIPH)) == GPIOG_BASE)
)
這個宏定義的作用就是檢查參數(shù)PERIPH(外圍),判斷參數(shù)PERIPH是否為GPIOX(A...G)基址中的一個,只要有一個為真則其值為真,否則為假,不用多說,這是C語言中基本的邏輯運算。當然這個庫函數(shù)也用的很有意思,看:首先對PERIPH進行取址,也就是求地址,&PERIPH,然后對這個地址強制轉(zhuǎn)化為32位的指針,即前面加(uint32_t *),然后通過*進行訪問這個地址(指針)中的內(nèi)容。不多說了,看幾遍就能明白。
下面我們再回到assert_param這個函數(shù),這個函數(shù)是哪里的呢?在stm32f10x_conf.h尋找到原型如下:
#ifdefUSE_FULL_ASSERT
#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))
void assert_failed(uint8_t* file, uint32_t line);好有作用啊()
#else
#define assert_param(expr) ((void)0)
#endif
這是一個預(yù)編譯文件,若是定義了USE_FULL_ASSERT這個文件,則執(zhí)行后面的文件,我們在程序中一般都沒什么定義,即執(zhí)行后面這個語句((void)0),這個語句不用多想,沒有定義USE_FULL_ASSERT就是什么也不執(zhí)行。說的明白點,對上面的那個語句IS_GPIO_ALL_PERIPH(GPIOx)不執(zhí)行任何操作。若是定義了USE_FULL_ASSERT它,我們調(diào)用這個函數(shù)assert_param時,及對參數(shù)IS_GPIO_ALL_PERIPH(GPIOx)的正確性進行檢查,通過一個C語言中的雙目運算符來判斷,若是返回1,執(zhí)行語句(void)0,跟上面一樣,若是返回0,則執(zhí)行后面的函數(shù)assert_failed((uint8_t *)__FILE__, __LINE__),函數(shù)的作用在庫函數(shù)中有解釋,用來指示出錯的行數(shù)和文件。注意:__FILE__, __LINE__是標準庫函數(shù)中的宏定義!切記
void assert_failed(uint8_t* file, uint32_t line);剛開始沒看明白為什么加在這里,仔細一想是在頭文件的函數(shù)聲明。至于函數(shù)實體呢?我們從官方文件的模板中main.c中可以找到。如下:
void assert_failed(u8* file, u32 line)
{ 自己可以寫個串口打印信息什么的,同時會將錯誤的行返回的
while (1) { }
} 英文注釋也說明了怎么應(yīng)用,通過輸入?yún)?shù)來確定位置,最簡單的方法就是串口打印了,這個函數(shù)的主要思想是在輸入?yún)?shù)有問題的時候,但是有編譯不出來,它可以幫你檢查參數(shù)的有效性,好處不必多言,自己領(lǐng)悟就行。
繼續(xù)說明: assert_param是怎樣包含進去的呢?我們在stm32f10x_conf.h這個頭文件中定義的函數(shù)聲明還是宏定義,怎么在其它文件中都能應(yīng)用呢?也很多網(wǎng)上朋友在剛開始學(xué)習(xí)的時候都遇到編譯不過去的問題出現(xiàn),最后通過在文件中添加USE_STDPERIPH_DRIVER來解決的:
本文引用地址:http://butianyuan.cn/article/201611/321893.htm我們可以在整個工程中進行搜索USE_STDPERIPH_DRIVER,通過頭文件可以看出,是使用標準外設(shè)文件。在stm32f10x.h文件中我們可以搜索到如下情況:
#if !definedUSE_STDPERIPH_DRIVER
#define USE_STDPERIPH_DRIVER
#endif
#ifdef USE_STDPERIPH_DRIVER
#include "stm32f10x_conf.h"
#endif
可以很容易看出來,我們不在那里添加,這個頭文件中也給我們設(shè)置了開關(guān),只要把第一個的注釋去掉,就不用在配置中添加USE_STDPERIPH_DRIVER了,在第二個文件中我們可以知道怎樣包含這個控制開關(guān)文件了,呵呵。我們也明白為什么我們在寫程序的時候只要包含stm32f10x.h就能很容易的包含所有的文件文件了吧,我們只要在stm32f10x_conf.h配置一下就能包含所需要的庫文件了。
通過以上可以看出,通過頭文件的相互包含,來控制外設(shè)以及調(diào)試文件的調(diào)用,這樣我們理清思路,理解起來就好多了。當然在學(xué)習(xí)中可能有些C語言問題還沒有理解透徹,多上網(wǎng)搜一下,或者多看書,很快就搞明白的。
評論