|
|
我們在學(xué)STM32的時(shí)候函數(shù)assert_param出現(xiàn)的幾率非常大，上網(wǎng)搜索一下，網(wǎng)上一般解釋斷言機(jī)制，做為程序開發(fā)調(diào)試階段時(shí)使用。
下面我就談一下我對這些應(yīng)用的看法，學(xué)習(xí)東西抱著知其然也要知其所以然。
我們在分析庫函數(shù)的時(shí)候，幾乎每一個(gè)函數(shù)的原型有這個(gè)函數(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) || \((*(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))這個(gè)宏定義的作用就是檢查參數(shù)PERIPH，判斷參數(shù)PERIPH是否為GPIOX（A...G)基址中的一個(gè)，只要有一個(gè)為真則其值為真，否則為假，
不用多說，這是C語言中基本的邏輯運(yùn)算。當(dāng)然這個(gè)庫函數(shù)也用的很有意思，看：首先對PERIPH進(jìn)行取址，也就是求地址，&PERIPH,
然后對這個(gè)地址強(qiáng)制轉(zhuǎn)化為32位的指針，即前面加（uint32_t *),然后通過*進(jìn)行訪問這個(gè)地址（指針）中的內(nèi)容。
下面我們再回到assert_param這個(gè)函數(shù)，這個(gè)函數(shù)是哪里的呢？在stm32f10x_conf.h尋找到原型如下：#ifdef USE_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
若是沒有定義USE_FULL_ASSERT我們調(diào)用這個(gè)函數(shù)assert_param時(shí)，不對參數(shù)IS_GPIO_ALL_PERIPH(GPIOx)的正確性進(jìn)行檢查，
執(zhí)行語句(void)0，這是一個(gè)相當(dāng)于空語句的表達(dá)式，不對程序產(chǎn)生任何影響。
若是定義了USE_FULL_ASSERT它，我們調(diào)用這個(gè)函數(shù)assert_param時(shí)，及對參數(shù)IS_GPIO_ALL_PERIPH(GPIOx)的正確性進(jìn)行檢查，
通過一個(gè)C語言中的雙目運(yùn)算符來判斷，若是返回1，執(zhí)行語句(void)0，這是一個(gè)相當(dāng)于空語句的表達(dá)式；
若是返回0，則執(zhí)行后面的函數(shù)assert_failed((uint8_t *)__FILE__,__LINE__)，函數(shù)的作用在庫函數(shù)中有解釋，用來指示出錯的行數(shù)和文件。
注意：__FILE__,__LINE__是標(biāo)準(zhǔn)庫函數(shù)中的宏定義！切記
void assert_failed(uint8_t* file, uint32_t line);剛開始沒看明白為什么加在這里，仔細(xì)一想是在頭文件的函數(shù)聲明。
至于函數(shù)實(shí)體呢？我們從官方文件的模板中main.c中可以找到。如下：
void assert_failed(u8* file, u32 line) { while (1) { } } 英文注釋也說明了怎么應(yīng)用，通過輸入?yún)?shù)來確定位置，最簡單的方法就是串口打印了，這個(gè)函數(shù)的主要思想是在輸入?yún)?shù)有問題的時(shí)候，
但是有編譯不出來，它可以幫你檢查參數(shù)的有效性，好處不必多言，自己領(lǐng)悟就行。
繼續(xù)說明如下： assert_param是怎樣包含進(jìn)去的呢？我們在stm32f10x_conf.h這個(gè)頭文件中定義的函數(shù)聲明還是宏定義，
怎么在其它文件中都能應(yīng)用呢？也很多網(wǎng)上朋友在剛開始學(xué)習(xí)的時(shí)候都遇到編譯不過去的問題出現(xiàn),最后通過在文件中添加USE_STDPERIPH_DRIVER來解決的：
我們可以在整個(gè)工程中進(jìn)行搜索USE_STDPERIPH_DRIVER,通過頭文件可以看出，是使用標(biāo)準(zhǔn)外設(shè)文件。在stm32f10x.h文件中我們可以搜索到如下情況：#if !defined USE_STDPERIPH_DRIVER#define USE_STDPERIPH_DRIVER#endif#ifdef USE_STDPERIPH_DRIVER#include "stm32f10x_conf.h"#endif可以很容易看出來，我們不在那里添加，只要把第一個(gè)的注釋去掉，就不用在配置中添加USE_STDPERIPH_DRIVER了，
在第二個(gè)文件中我們可以知道怎樣包含這個(gè)控制開關(guān)文件了，呵呵。我們也明白為什么我們在寫程序的時(shí)候只要包含stm32f10x.h就能很容易的包含所有的文件文件了吧，
我們只要在stm32f10x_conf.h配置一下就能包含所需要的庫文件了。
通過以上可以看出，通過頭文件的相互包含，來控制外設(shè)以及調(diào)試文件的調(diào)用，這樣我們理清思路，理解起來就好多了。
當(dāng)然在學(xué)習(xí)中可能有些C語言問題還沒有理解透徹，多上網(wǎng)搜一下，或者多看書，很快就搞明白的。
這是一種常見的軟件技術(shù)，可以在調(diào)試階段幫助程序員快速地排除那些明顯的錯誤。
它確實(shí)在程序的運(yùn)行上犧牲了效率(但只是在調(diào)試階段)，但在項(xiàng)目的開發(fā)上卻幫助你提高了效率。
當(dāng)你的項(xiàng)目開發(fā)成功，使用release模式編譯之后，或在stm32f10x_conf.h文件中注釋掉對USE_FULL_ASSERT的宏定義，
所有的assert_param()檢驗(yàn)都消失了，不會影響最終程序的運(yùn)行效率。#define assert_param(expr) ((expr) ? (void)0 : assert_failed((u8 *)__FILE__, __LINE__))。。。assert_param(IS_ADC_ALL_PERIPH(ADCx));。。。
在執(zhí)行assert_param()的檢驗(yàn)時(shí)，如果發(fā)現(xiàn)參數(shù)出錯，它會調(diào)用函數(shù)assert_failed()向程序員報(bào)告錯誤，
在任何一個(gè)例程中的main.c中都有這個(gè)函數(shù)的模板，如下：
void assert_failed(uint8_t* file, uint32_t line){
while (1){}}
你可以按照自己使用的環(huán)境需求，添加適當(dāng)?shù)恼Z句輸出錯誤的信息提示，或修改這個(gè)函數(shù)做出適當(dāng)?shù)腻e誤處理。
1、STM32F10xD.LIB是DEBUG模式的庫庫文件。2、STM32F10xR.LIB是Release模式的庫庫文件。3、要選擇DEBUG和RELEASE模式，需要修改stm32f10x_conf.h的內(nèi)容。 #define DEBUG 表示DEBUG模式，把該語句注釋掉，則為RELEASE模式。4、要選擇DEBUG和RELEASE模式，也可以在Options,C/C++,Define里填入DEBUG的預(yù)定義。 這樣，就不需要修改stm32f10x_conf.h的內(nèi)容。5、如果把庫加入項(xiàng)目，則不需要將ST的庫源文件加入項(xiàng)目，比較方便。 但是，庫的選擇要和DEBUG預(yù)定義對應(yīng)。
|
|
