本文主要講述了嵌入式系統C 編程中內存操作的相關技巧.掌握並深入理解關於數據指針、函數指針、動態申請內存、const 及volatile 關鍵字等的相關知識,是一個優秀的C 語言程序設計師的基本要求.當我們已經牢固掌握了上述技巧後,我們就已經學會了C 語言的99%,因爲C 語言最精華的內涵皆在內存操作中體現.我們之所以在嵌入式系統中使用C 語言進行程序設計,99%是因爲其強大的內存操作能力!
數據指針
在嵌入式系統的編程中,常常要求在特定的內存單元讀寫內容,彙編有對應的MOV指令,而除C/C++以外的其它編程語言基本沒有直接訪問絕對地址的能力.在嵌入式系統的實際調試中,多借助C 語言指針所具有的對絕對地址單元內容的讀寫能力.以指針直接操作內存多發生在如下幾種情況:
(1) 某I/O 芯片被定位在CPU 的存儲空間而非I/O 空間,而且寄存器對應於某特定地址;
(2) 兩個CPU 之間以雙端口RAM 通信,CPU 需要在雙端口RAM 的特定單元(稱爲mail box)書寫內容以在對方CPU 產生中斷;
(3) 讀取在ROM 或FLASH 的特定單元所燒錄的漢字和英文字模.記住:CPU 以字節爲單位編址,而C 語言指針以指向的數據類型長度作自增和自減.理解這一點對於以指針直接操作內存是相當重要的'.
函數指針
首先要理解以下三個問題:
(1)C 語言中函數名直接對應於函數生成的指令代碼在內存中的地址,因此函數名可以直接賦給指向函數的指針;
(2)調用函數實際上等同於"調轉指令+參數傳遞處理+迴歸位置入棧",本質上最核心的操作是將函數生成的目標代碼的首地址賦給CPU 的PC 寄存器;
(3)因爲函數調用的本質是跳轉到某一個地址單元的code 去執行,所以可以"調用"一個根本就不存在的函數實體
數組vs.動態申請
在嵌入式系統中動態內存申請存在比一般系統編程時更嚴格的要求,這是因爲嵌入式系統的內存空間往往是十分有限的,不經意的內存泄露會很快導致系統的崩潰.所以一定要保證你的malloc 和free 成對出現給出原則:
(1)儘可能的選用數組,數組不能越界訪問(真理越過一步就是謬誤,數組越過界限就光榮地成全了一個混亂的嵌入式系統);
(2)如果使用動態申請,則申請後一定要判斷是否申請成功了,並且malloc 和free應成對出現!
關鍵字const
const 意味着"只讀".區別如下代碼的功能非常重要,也是老生長嘆,如果你還不知道它們的區別,而且已經在程序界摸爬滾打多年,那隻能說這是一個悲哀:
const int a;
int const a;
const int *a;
int * const a;
int const * a const;
(1)關鍵字const 的作用是爲給讀你代碼的人傳達非常有用的信息.例如,在函數的形參前添加const 關鍵字意味着這個參數在函數體內不會被修改,屬於"輸入參數".在有多個形參的時候,函數的調用者可以憑藉參數前是否有const 關鍵字,清晰的辨別哪些是輸入參數,哪些是可能的輸出參數.
(2)合理地使用關鍵字const 可以使編譯器很自然地保護那些不希望被改變的參數,防止其被無意的代碼修改,這樣可以減少bug 的出現.
關鍵字volatile
C 語言編譯器會對用戶書寫的代碼進行優化,譬如如下代碼:
int a,b,c;
a = inWord(0x100); /*讀取I/O 空間0x100 端口的內容存入a 變量*/
b = a;
a = inWord (0x100); /*再次讀取I/O 空間0x100 端口的內容存入a 變量*/
c = a;
很可能被編譯器優化爲:
int a,b,c;
a = inWord(0x100); /*讀取I/O 空間0x100 端口的內容存入a 變量*/
b = a;
c = a;
但是這樣的優化結果可能導致錯誤,如果I/O 空間0x100 端口的內容在執行第一次讀操作後被其它程序寫入新值,則其實第2 次讀操作讀出的內容與第一次不同,b 和c的值應該不同.在變量a 的定義前加上volatile 關鍵字可以防止編譯器的類似優化,正確的做法是:
volatile int a;
volatile 變量可能用於如下幾種情況:
(1) 並行設備的硬件寄存器(如:狀態寄存器,例中的代碼屬於此類);
(2) 一箇中斷服務子程序中會訪問到的非自動變量(也就是全局變量);
(3) 多線程應用中被幾個任務共享的變量.
