1. const
變量聲明中帶有關(guān)鍵詞const,意味著不能通過賦值,增量或減量來修改該變量的值,這是顯而易見的一點(diǎn)。指針使用const則要稍微復(fù)雜點(diǎn),因?yàn)椴坏貌话炎屩羔槺旧沓蔀閏onst和指針指向的值成為const區(qū)別開來、下面的聲明表示pf指向的值必須是不變的
constfloat *pf;而pf則是可變的,它可以指向另外一個const或非const值;相反,下面的聲明說明pf是不能改變的,而pf所指向的值則是可以改變的:
float* const pf;
最后,當(dāng)然可以有既不能改變指針的值也不能改變指針指向的值的值的聲明方式:
constfloat * const pf;
需要注意的是,還有第三種放置const關(guān)鍵字的方法:
float const * pf; //等價于constfloat * pf;
總結(jié)就是:一個位于*左邊任意位置的const使得數(shù)據(jù)成為常量,而一個位于*右邊的const使得指針本身成為const
還要注意的一點(diǎn)是關(guān)于const在全局?jǐn)?shù)據(jù)中的使用:
使用全局變量被認(rèn)為是一個冒險的方法,它使得數(shù)據(jù)在程序的任何部分都可以被錯誤地修改,如果數(shù)據(jù)是const,那么這種擔(dān)心就是多余的了不是嘛?因此對全局?jǐn)?shù)據(jù)使用const是合理的。
然而,在文件之間共享const數(shù)據(jù)要格外小心,有兩個策略可以使用。一個是遵循外部變量的慣用規(guī)則,在一個文件進(jìn)行定義聲明,在其他文件進(jìn)行引用聲明(使用關(guān)鍵字extern)。
/*file1.c------定義一些全局常量*/
const double PI = 3.14159;
/*file2.c-----是用在其他文件中定義的全局變量*/
extern const dounle PI;
另外一個方法是把全局變量放在一個include文件里,這時候需要格外注意的是必須使用靜態(tài)外部存儲類
/*constant.h----定義一些全局常量*/
static const double PI = 3.14159;
/*file1.c-----使用其他文件定義的全局變量*/
#include”constant.h”。
/*file2.c-----使用其他文件定義的全局變量*/
#include”constant.h”
如果不使用關(guān)鍵字static,在文件file1.c和file2.c中包含constant.h將導(dǎo)致每個文件都有同一標(biāo)識符的定義聲明ANSI標(biāo)準(zhǔn)不支持這樣做(有些編譯器確實(shí)支持)。通過使用static, 實(shí)際上給了每個文件一個獨(dú)立的數(shù)據(jù)拷貝,如果文件想使用該數(shù)據(jù)與另外一個文件通話,這樣做就不行了,因?yàn)槊總€文件只能看見他自己的拷貝,然而由于數(shù)據(jù)是不 可變的,這就不是問題了。使用頭文件的好處是不必惦記在一個文件中進(jìn)行定義聲明,在另一個文件中進(jìn)行引用聲明,缺點(diǎn)在于復(fù)制了數(shù)據(jù),如果常量很大的話,這 就是個問題了。
2. volatile
限定詞volatile告訴編譯器,該變量除了可被程序改變意外還可以被其他代理改變。典型的它用于硬件地址和其他并行運(yùn)行的程序共享的數(shù)據(jù)。例如,一個地址中可能保存著當(dāng)前的時鐘信息。不管程序做些什么,該地址會隨時間改變。另一種情況是一個地址用來接收來自其他計算機(jī)的信息;
語法同const:
volatile int a;//a是一個易變的位置
volatile int * pf;//pf指向一個易變的位置
把volatile作為一個關(guān)鍵字的原因是它可以方便編譯器優(yōu)化。
假如有如下代碼:
va= x;
//一些不使用x的代碼
vb= x;
一個聰明的編譯器可能注意到你兩次使用了x,但是沒有改變它的值,它將把x臨時存貯在一個寄存器中,接著,當(dāng)vb主要x是的時候,它從寄存器而非初始的內(nèi)存位置得到x的值來節(jié)省時間。這個過程被稱為緩存。通常緩存是一個好的優(yōu)化方式,但是如果兩個語句中間的其他代理改變了x的值的話就不是這樣了。如果沒有規(guī)定volatile關(guān)鍵字,編譯器將無從得知這種改變是否可能發(fā)生,因此,為了安全起見,編譯器不使用緩存。那是在ANSI以前的情形,現(xiàn)在,如果在聲明中沒有使用volatile關(guān)鍵字,編譯器就可以假定一個值在使用過程中沒有修改,它就可以試著優(yōu)化代碼。總而言之,volatile使得每次讀取數(shù)據(jù)都是直接在內(nèi)存讀取而不是緩存。
你可能會覺得奇怪,const和volatile可以同時使用,但是確實(shí)可以。例如硬件時鐘一般不能由程序改變,這使得他成為const,但他被程序以外的代理改變,這使得他成為volatile,所以你可以同時使用它們,順序是不重要的:
const volatile time;
volatile表明某個變量的值可能在外部被改變,優(yōu)化器在用到這個變量時必須每次都小心地重新讀取這個變量的值,而不是使用保存在寄存器里的備份。它可以適用于基礎(chǔ)類 型如:int,char,long......也適用于C的結(jié)構(gòu)和C++的類。當(dāng)對結(jié)構(gòu)或者類對象使用volatile修飾的時候,結(jié)構(gòu)或者類的所有成員 都會被視為volatile.
該關(guān)鍵字在多線程環(huán)境下經(jīng)常使用,因?yàn)樵诰帉懚嗑€程的程序時,同一個變量可能被多個線程修改,而程序通過該變量同步各個線程。
簡單示例:
mov ax,signal
label:
if(ax!=1)
goto label
對于C編譯器來說,它并不知道這個值會被其他線程修改。自然就把它c(diǎn)ache在寄存器里面。C 編譯器是沒有線程概念的,這時候就需要用到volatile。volatile 的本意是指:這個值可能會在當(dāng)前線程外部被改變。也就是說,我們要在threadFunc中的intSignal前面加上volatile關(guān)鍵字,這時 候,編譯器知道該變量的值會在外部改變,因此每次訪問該變量時會重新讀取,所作的循環(huán)變?yōu)槿缦旅鎮(zhèn)未a所示:
label:
mov ax,signal
if(ax!=1)
goto label
注意:一個參數(shù)既可以是const同時是volatile,是volatile因?yàn)樗赡鼙灰庀氩坏降馗淖儭K莄onst因?yàn)槌绦虿粦?yīng)該試圖去修改它。
3.restrict
關(guān)鍵字restrict通過允許編譯器優(yōu)化某幾種代碼增強(qiáng)了計算支持。記住,它只能用于指針,并且表明指針是訪問一個數(shù)據(jù)對象的唯一且初始的方式。為了清楚為何這樣做,我們需要看一些例子:
int* restrict restar = (int*)malloc(10*sizeof(int));
int* par = ar;
{
par[n]+= 5;
restar[n]+= 5;
ar[n]*= 2;
par[n]+= 3;
restar[n]+= 3;
}
restar[n]+= 8;/*可以替換*/
然而將兩個計算par的語句精簡為一個則會導(dǎo)致錯誤因?yàn)樵趐ar兩次訪問數(shù)據(jù)之間,ar改變了該數(shù)據(jù)的值。沒有關(guān)鍵字restrict,編譯器將不得不設(shè)想比較糟糕的那一種形式,而使用之后,編譯器可以放心大膽的尋找計算的捷徑。可以將關(guān)鍵字作為指針型函數(shù)參量的限定詞使用,這意味著編譯器可以假定在函數(shù)體內(nèi)沒有其他標(biāo)志符修改指針指向的數(shù)據(jù),因而可以試著優(yōu)化代碼,反之不然。來看一下C99標(biāo)準(zhǔn)下C庫中的兩個函數(shù),他們從一個位置把字節(jié)復(fù)制到另一個位置
void*memcpy(void* restrict s1,const void* restrict s2,size_t n);
void*memmove(void* s1,const void * s2,size_t);
memcpy要求兩個指針的位置不能重疊,但memmove沒有這個要求。把s1,s2聲明為restrict意味著每個指針都是相應(yīng)數(shù)據(jù)的唯一訪問方式,因此他們不能訪問同一數(shù)據(jù)塊。這滿足了不能有重疊的要求。
關(guān)鍵字restrict有兩個讀者:編譯器,它告訴編譯器可以自由地做一些優(yōu)化的假定。另一個讀者是用戶,他告訴用戶僅使用滿足restrict要求的參數(shù)。一般,編譯器沒法檢查你是否遵循了這一限制,如果你蔑視它,也就是讓自己冒險。
新聞熱點(diǎn)
疑難解答
圖片精選