我們也許學(xué)習(xí)過const的使用，但是對(duì)于const的細(xì)致的技術(shù)細(xì)節(jié)卻不一定掌握。const的用法在許多的教材上只是簡(jiǎn)單的介紹，在這里我們對(duì) const進(jìn)行細(xì)致的概念以及用法剖析。const 是由c++采用，并加進(jìn)標(biāo)準(zhǔn)c中，但是他們的意義完全不同，在舊版本(標(biāo)準(zhǔn)前)的c中，如果想建立一個(gè)常量，必須使用預(yù)處理器：
#define PI 3.14159

此后無論在何處使用PI，都會(huì)被預(yù)處理器以3.14159替代。編譯器不對(duì)PI進(jìn)行類型檢查，也就是說可以不受限制的建立宏并用它來替代值，如果使用不慎，很可能由預(yù)處理引入錯(cuò)誤，這些錯(cuò)誤往往很難發(fā)現(xiàn)。

我們也不能得到PI的地址（即不能向PI傳遞指針和引用）。
c++引入了命名常量的概念，命名常量就像變量一樣，只是它的值不能改變，如果試圖改變一個(gè)const 對(duì)象，編譯器將會(huì)產(chǎn)生錯(cuò)誤。 const 和正常變量一樣有作用域，所以函數(shù)內(nèi)部的const也不會(huì)影響程序的其余部分。在c++中const可以取代預(yù)處理器#define來進(jìn)行值替代， const有安全的類型檢查，所以不用擔(dān)心會(huì)像預(yù)處理器一樣引入錯(cuò)誤。

在通常的情況下const同預(yù)處理器#define一樣只是將所賦值保存入編譯器的符號(hào)表中（符號(hào)表僅僅在編譯時(shí)存在，在編譯過程中編譯器將程序中的名字與之在符號(hào)表中定義的數(shù)值作簡(jiǎn)單的替換），在使用的時(shí)候進(jìn)行值替換，并不為const創(chuàng)建存儲(chǔ)空間。我們將const的定義放進(jìn)頭文件里，這樣通過包含頭文件，可以把const定義單獨(dú)放在一個(gè)地方并把它分配給一個(gè)編譯單元，const默認(rèn)為內(nèi)部連接（內(nèi)部連接意味著只對(duì)正在編譯的文件創(chuàng)建存儲(chǔ)空間，別的文件可以使用相同的標(biāo)示符和全局變量，編譯器不會(huì)發(fā)現(xiàn)沖突，外部連接意味著為所有被編譯過的文件創(chuàng)建一片單獨(dú)的存儲(chǔ)空間，一般全局變量和函數(shù)名的外部連接通過extern聲明，可以通過其他的文件訪問）也就是說const僅能被它所定義過的文件訪問，在定義一個(gè)const時(shí)，必須賦一個(gè)值給它，除非用extern做出說明：

extern const int a;

這表示const的定義在其他的什么地方，這里僅僅是一個(gè)聲明，但是這樣的做法使const使用了外部連接，也就是說上面的extern強(qiáng)制進(jìn)行了對(duì)const的存儲(chǔ)空間分配，這樣我們就無法再用const作為常量折疊（在可能的情況下，符號(hào)常量的值會(huì)代替改名字的出現(xiàn)，這個(gè)替代過程叫做常量折疊）使用了，即使我們?cè)谄渌胤蕉x了const的值,如：

extern const int a=3;

因?yàn)閏onst的值被放入了存儲(chǔ)單元，在編譯的過程中，編譯器不會(huì)去讀存儲(chǔ)單元的內(nèi)容。如果我們這樣做：

int b[a];

編譯器就會(huì)給我們一個(gè)錯(cuò)誤信息。

想不為const分配存儲(chǔ)空間是不可能的，因?yàn)閷?duì)于復(fù)雜的結(jié)構(gòu)，例如集合，編譯器不會(huì)復(fù)雜到將集合保存到它的符號(hào)表中，所以必須分配內(nèi)存空間，這就意味著“這是一塊不能改變的存儲(chǔ)空間”，當(dāng)然也就不能在編譯期間使用它的值，因?yàn)榫幾g器不知道存儲(chǔ)的內(nèi)容：

const int i[]={1,2,3,4};

//float f[i[2]];
//將得到錯(cuò)誤信息，編譯器提示不能在數(shù)組定義里找到一個(gè)常數(shù)表達(dá)式。

因?yàn)榫幾g器靠移動(dòng)棧指針來存儲(chǔ)和讀取數(shù)據(jù)。
也因此，由于無法避免為const分配內(nèi)存，所以const的定義必須默認(rèn)為內(nèi)部連接，否則由于眾多的const在多個(gè)文件中分配內(nèi)存，就會(huì)引起錯(cuò)誤。下面我們看一段簡(jiǎn)單有效的代碼來說明const的常量折疊：

#include <iostream.h>
const int a=3;
const int b=a+1;
float *f=(float*)&b;
char c[b+3];
void main()
{
const char gc=cin.get();
const char c2=gc+3;
}

我們可以看到，a是一個(gè)編譯器期間的const，b是從a中計(jì)算出來的，由于a是一個(gè)const，b的計(jì)算值來自一個(gè)常數(shù)表達(dá)式，而它自身也是一個(gè)編譯器間的const，接著下面指針f取得了b的地址，所以迫使編譯器給b分配了存儲(chǔ)空間，不過即使分配了存儲(chǔ)空間，由于編譯器已經(jīng)知道了b的值,所以仍然不妨礙在決定數(shù)組c的大小時(shí)使用b。

在主函數(shù)main()里，標(biāo)識(shí)符gc的值在編譯期間是不知道的，這也意味著需要存儲(chǔ)空間，但是初始化要在定義點(diǎn)進(jìn)行，而且一旦初始化，其值就不能改變，我們發(fā)現(xiàn)c2是由gc計(jì)算出來的，它的作用域與其他類型const的作用域是一樣的，這是對(duì)#define用法的一種改進(jìn)。

在c++引進(jìn)常量的時(shí)候，標(biāo)準(zhǔn)c也引入了const，但是在c中const的意思和在c++中有很大不同，在c中const的意思是“一個(gè)不能改變的普通變量”，const常量總是被分配存儲(chǔ)空間而且它的名字是全局符即const使用外部連接。于是在c中：

const int size=100;
char c[size];

得出一個(gè)錯(cuò)誤。但是在c中可以這樣寫：

const int size;

因?yàn)閏中的const被默認(rèn)為外部連接，所以這樣做是合理的。
在c語言中使用限定符const不是很有用，如果希望在常數(shù)表達(dá)式里（必須在編譯期間被求值）使用一個(gè)已命名的值，必須使用預(yù)處理器#define。

在c++中可以使指針成為const，這很有用，如果以后想在程序代碼中改變const這種指針的使用，編譯器將給出通知，這樣大大提高了安全性。在用帶有const的指針時(shí)，我們有兩種選擇：const修飾指針指向的對(duì)象，或者const修飾指針自己指向的存儲(chǔ)空間。

如果要使指向的對(duì)象不發(fā)生改變，則需要這樣寫：

const int *p;

這里p是一個(gè)指向const int 的指針，它不需要初始化，因?yàn)閜可以指向任何標(biāo)識(shí)符，它自己并不是一個(gè)const，但是它所指的值是不能改變的，同樣的，我們可以這樣寫：

int const *p;

這兩種方法是等同的，依據(jù)個(gè)人習(xí)慣以及編碼風(fēng)格不同，程序員自己決定使用哪一種形式。
如果希望使指針成為一個(gè)const必須將const標(biāo)明的部分放在*右邊。

int a=3;
int *const j=&a

編譯器要求給它一個(gè)初始值，這個(gè)值在指針的生命期間內(nèi)不變，也就是說指針始終指向a的地址，不過要改變它地址中的值是可以的：

*j+=4;

也可以是一個(gè)const指針指向一個(gè)const對(duì)象：

const int *j1=&a;
int const *j2=&a;

這樣指針和對(duì)象都不能改變，這兩種形式同樣是等同的。在賦值的的時(shí)候需要注意，我們可以將一個(gè)非const的對(duì)象地址賦給一個(gè)const指針，但是不能將一個(gè)const對(duì)象地址賦給一個(gè)非const指針，因?yàn)檫@樣可能通過被賦值的指針改變對(duì)象的值，當(dāng)然也可以用類型的強(qiáng)制轉(zhuǎn)換來進(jìn)行const對(duì)象的賦值，但是這樣做打破了const提供的安全性。

const也被用于限定函數(shù)參數(shù)和函數(shù)的返回值，如果函數(shù)參數(shù)是按值傳遞時(shí)，即表示變量的初值不會(huì)被函數(shù)改變，如果函數(shù)的返回值為const那么對(duì)于內(nèi)部類型來說按值返回的是否是一個(gè)cosnt是無關(guān)緊要的，編譯器不讓它成為一個(gè)左值，因?yàn)樗且粋€(gè)值而不是一個(gè)變量，所以使用const是多余的，例如：

const int f(){return 1;}
void main(){int a=f();}

但是當(dāng)處理用戶定義類型的時(shí)候，按值返回常量就很有意義了，這時(shí)候函數(shù)的返回值不能被直接賦值也不能被修改。僅僅是非const返回值能作為一個(gè)左值使用，但是這往往失去意義，因?yàn)楹瘮?shù)返回值在使用時(shí)通常保存為一個(gè)臨時(shí)量，臨時(shí)量被作為左值使用并修改后，編譯器將臨時(shí)量清除。結(jié)果丟失了所有的修改。
可以用const限定傳遞或返回一個(gè)地址（即一個(gè)指針或一個(gè)引用）：

const int * const func(const int *p)
{ static int a=*p;
return &a;
}

參數(shù)內(nèi)的const限定指針p指向的數(shù)據(jù)不能被改變，此后p的值被賦給靜態(tài)變量a,然后將a的地址返回，這里a是一個(gè)靜態(tài)變量，在函數(shù)運(yùn)行結(jié)束后，它的生命期并沒有結(jié)束，所以可以將它的地址返回。因?yàn)楹瘮?shù)返回一個(gè)const int* 型，所以函數(shù)func的返回值不可以賦給一個(gè)非指向const的指針，但它同時(shí)接受一個(gè)const int * const和一個(gè)const int *指針，這是因?yàn)樵诤瘮?shù)返回時(shí)產(chǎn)生一個(gè)const臨時(shí)指針用以存放a的地址，所以自動(dòng)產(chǎn)生了這種原始變量不能被改變的約定，于是*右邊的const只有當(dāng)作左值使用時(shí)才有意義。

const同樣運(yùn)用于類中，但是它的意義又有所不同，我們可以創(chuàng)建const的數(shù)據(jù)成員，const的成員函數(shù)，甚至是const的對(duì)象，但是保持類的對(duì)象為const比較復(fù)雜，所以const對(duì)象只能調(diào)用const成員函數(shù)。

const的數(shù)據(jù)成員在類的每一個(gè)對(duì)象中分配存儲(chǔ)，并且一旦初始化這個(gè)值在對(duì)象的生命期內(nèi)是一個(gè)常量，因此在類中建立一個(gè)const數(shù)據(jù)成員時(shí)，初始化工作必須在構(gòu)造函數(shù)初始化列表中。如果我們希望創(chuàng)建一個(gè)有編譯期間的常量成員，這就需要在該常量成員的前面使用static限定符，這樣所有的對(duì)象都僅有一個(gè)實(shí)例：

class X
{
static const int size=50;
int a[size];
public:
X();
};

const對(duì)象只能調(diào)用const成員函數(shù)，一個(gè)普通對(duì)象同樣可以調(diào)用const成員函數(shù)，因此，const成員函數(shù)更具有一般性，但是成員函數(shù)不會(huì)默認(rèn)為const。聲明一個(gè)const成員函數(shù)，需要將const限定符放在函數(shù)名的后面：

void f (void ) const;

當(dāng)我們運(yùn)用const成員函數(shù)時(shí)，遇到需要改變數(shù)據(jù)成員，可以用mutable進(jìn)行特別的指定：

class X
{
mutable int i;
public:
X();
void nochange() const;
};

void X::nochange const(){i++;}

const消除了預(yù)處理器的值替代的不良影響，并且提供了良好的類型檢查形式和安全性，在可能的地方盡可能的使用const對(duì)我們的編程有很大的幫助。