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