1 const
const限定的對象表示編譯器可以將它放在只讀存儲器中,也就意味著在對其進行初始化之后就不能改變它的值。根據(jù)const使用的不同場合,大致可以分為三種情況,其一限定普通變量,其二限定函數(shù)參數(shù),其三限定指針變量。
*和第二種情況最為簡單,語句①和語句②分別展示了它的用法。語句①定義了一個值為10的整型常量。語句②中的const表示在函數(shù)體中不能修改src指向的區(qū)域中的數(shù)據(jù),這與函數(shù)的拷貝功能相對應,只做它應該做的事情而不應該有其他副作用,編譯器可以利用這些信息進行適當?shù)膬?yōu)化。
①const int i=10;
②void*memcpy(void * dst,const void * src,size_t size);
③const int *ptr;
④int const *ptr;
⑤int*const ptr;
⑥int const*cons ptr;
第3種情況最為復雜,雖然只是const位置不同,但是卻可能具有完全不同的意義。一般,一個聲明語句由聲明說明符(decl-specifier)和一系列聲明子(declarator)兩部分組成,而且聲明說明符中的符號可以以任何次序出現(xiàn)。理解聲明的*步是定位說明符和聲明子的邊界。這很容易:所有的說明符都是關鍵字或者類型名,因此說明符終止于*個不是以上類型之一的符號。例如,在語句③和④中*個既不是關鍵字也不是類型名的符號是“*”,即聲明說明符分別為const.int和int const,由于聲明說明符中的符號可以以任意次序出現(xiàn),因此語句③和④的含義是相同的。
為了迅速弄清語句表達的含義,參考文獻[1]介紹了一種簡便的方法,其要點就是“逆序讀出定義”,如圖1所示。
2 static與extem
static的含義隨著出現(xiàn)位置(全局變量還是局部變量)和修飾對象(變量還是函數(shù))的不同而有很大的差別。下面各條目中的模塊指的是一個源文件或者一個翻譯單元:
①位于函數(shù)體中的靜態(tài)變量在多次函數(shù)調用間會維持其值。
②位于模塊內(但在函數(shù)體外)的靜態(tài)變量可以被模塊內的所有函數(shù)訪問,但不能被模塊外其他函數(shù)訪問。也就是說,它是一個本地的全局變量。
③位于模塊內的靜態(tài)函數(shù)只能被此模塊內的其他函數(shù)調用。也就是說,這個函數(shù)的作用域為聲明所在的模塊。
為了清楚地理解static的3種用法,必須首先了解C語言中每個標識符都具有的作用域、鏈接和存儲持續(xù)期等特性的含義。在ISO C99標準中,其定義如下:
①對象的作用域指的是它僅在程序的某個區(qū)域中是可見的(即可以使用)。常見的作用域有文件作用域和塊作用域。
②對象的存儲持續(xù)期決定對象的生命周期,即在程序執(zhí)行某段區(qū)間中為對象保留存儲區(qū)。有兩種類型的存儲持續(xù)期:靜態(tài)的和自動的。靜態(tài)存儲持續(xù)期的對象的生命周期為程序執(zhí)行的全過程,它的值在程序啟動前僅初始化一次。
③鏈接指的是在不同作用域中聲明的或者同一個作用域中多次聲明的標識符可以引用相同的對象或函數(shù)。有3種類型的鏈接:外部、內部和無。在情況②和③中,static分別用來修飾全局變量glob-al和函數(shù)foo,改變它們的鏈接特性,使它們具有內部鏈接。也就是說,只有在定義它們的翻譯單元或者文件內才能使用它們,這對于創(chuàng)建模塊化的軟件非常重要。
與static相反,extern修飾的對象或函數(shù)具有外部鏈接。對于那些暴露給外部使用的接口函數(shù)應該使用ex-tern限定,那些非接口函數(shù),例如工具函數(shù)或與實現(xiàn)細節(jié)相關的函數(shù),則應該顯式地使用static限定。這是因為如果函數(shù)聲明不帶任何存儲類說明符,那么它具有外部鏈接就好像使用了extern一樣。
在情況①中,static用來修飾局部變量local,將local的存儲持續(xù)期由自動的改變?yōu)殪o態(tài)的,這樣在foo函數(shù)的多次調用間會為其保留值。注意作用域、鏈接和存儲持續(xù)期特性之間是正交的。例如在情況①中,雖然變量local的存儲持續(xù)期變成靜態(tài)的,但是它的作用域仍然是塊作用域。
3 volatile
volatile關鍵字用來聲明這樣的對象,它們的值可能由于程序控制之外的事件而被潛在改變。volatile強制編譯器不會對其所限定的對象進行任何優(yōu)化,每次讀寫都必須訪問實際的存儲器而不能使用寄存器中的副本。在實踐中,它大量的用來描述一個對應于內存映射的輸入/輸出端口,例如飛利浦公司LPC21xx系列ARM處理器的向量地址寄存器定義為:
#define VICVectAddr (*((volatile unsigned long*)0xFFFFF030))
其次,中斷服務例程中使用的非自動變量或者多線程應用程序中多個任務共享的變量也必須使用volatile進行限定。例如在下面的示例中,如果沒有使用volatile限定g_Flag變量,編譯器看到在foo函數(shù)中并沒有修改g_Flag,可能只執(zhí)行一次g_Flag讀操作并將g_Flag的值緩存在寄存器中,以后每次g_Flag讀操作都使用寄存器中的緩存值而不進行存儲器訪問,導致some_action函數(shù)永遠無法執(zhí)行。
4 Dacked
在嵌入式軟件編程中,經常需要精確控