一、概述
? ? ? ? ?用const限定來(lái)限定值不能被改變的變量。一個(gè)變量被const限定后，值不能被改變，只能在const類型的對(duì)象上執(zhí)行不改變其內(nèi)容的操作。
? ? ? ?默認(rèn)狀態(tài)下，const對(duì)象僅在文件內(nèi)有效，若要在多個(gè)文件內(nèi)共享該對(duì)象，可以只在一個(gè)文件中定義const，而在多個(gè)文件中聲明并使用它。此時(shí)，對(duì)于const變量，不管是聲明還是定義，都添加extern關(guān)鍵字。
//file1.cpp定義并初始化一個(gè)常量，該常量能被其他文件訪問(wèn)
extern const int a=1;
//file1.h頭文件
extern const int a;//與file1.cpp中定義的a是同一個(gè)
二、const的引用
? ? ? ? 可以把引用綁定到const對(duì)象上，我們稱之為對(duì)常量的引用。與普通引用不同的是，對(duì)常量的引用不能被用作修改它所綁定的對(duì)象。
const int b=2017;
const int &r=b;//正確，引用及其對(duì)應(yīng)的對(duì)象都是常量
r=27;//錯(cuò)誤，r是一個(gè)對(duì)常量的引用
int &r1=b;//錯(cuò)誤，視圖讓一個(gè)非常量引用指向一個(gè)常量對(duì)象
因?yàn)椴辉试S直接為b賦值，因此也不能通過(guò)引用去改變b。因此，對(duì)r1的初始化是錯(cuò)的。
? 對(duì)const的引用可能引用一個(gè)非const的對(duì)象
? ? ? ?對(duì)const 的引用可以引用一個(gè)非const的對(duì)象，但是不能通過(guò)對(duì)const的引用來(lái)改變這個(gè)非const ? ? ? 對(duì)象，但是可以通過(guò)其他途徑來(lái)改變這個(gè)被引用的非const對(duì)象。
int i=25;//非const的對(duì)象
int &r1=i;//r1引用i
const int &r2=i;//r2是對(duì)const的引用，也引用非const對(duì)象i
r1=1;//正確，r1非常量，值可以變
r2=1;//錯(cuò)誤，r2是一個(gè)對(duì)常量的引用，值不可變
r2可以引用非const對(duì)象i，但是，r2是對(duì)常量的引用，因此不能通過(guò)r2來(lái)改變i的值，不過(guò)可以通過(guò)其他途徑來(lái)改變i的值。
三、指針和const
? ? 指向常量的指針
? ? ? ? ? 類似常量引用，指向常量的指針不能用于改變其所指對(duì)象的值。要想存放常量對(duì)象的地址， ? ? ? 只能用指向常量的指針：
const double pi=3.14;//pi是個(gè)常量，它的值不能改變
double *ptr=π//錯(cuò)誤：ptr是一個(gè)普通指針
const double *cptr=π//正確：cptr可以指向一個(gè)雙精度常量
*cptr=42;//錯(cuò)誤：不能給*cptr賦值
? ? ? ? ? ?和對(duì)常量的引用一樣，指向常量的指針也可以指向一個(gè)非常量對(duì)象。
綜上：
? ? ? ? ? ? ? ? 指針/引用所指向/引用的對(duì)象是常量（const修飾）對(duì)象時(shí)，其本身必須是一個(gè)指向 ? ? ? ? ?常量的指針/對(duì)常量的引用（const修飾）。但是，指向常量的指針/對(duì)常量的引用也可以 ? ? ? ? ?指向/引用沒(méi)有const修飾的普通對(duì)象，即不能通過(guò)該指針/引用改變對(duì)象的值，但可以通 ? ? ? ? ?過(guò)其他途徑改變對(duì)象值。
? ? ? const指針
? ? ? ? ? ? ? ? ?指針是對(duì)象，因此可以把指針本身定為常量，稱為常量指針。常量指針必須初始化，一旦 ? ? ? ? ? 初始化完成，它的值（存放在指針中的地址）無(wú)法再改變。
? ? ? ? ? ? ? ? ?聲明常量指針，是把*放在const關(guān)鍵字之前，用以說(shuō)明指針是一個(gè)常量，不變的是指針本 ? ? ? ? ? 身的值而非指向的那個(gè)值。
常量指針和指向常量的指針:
? ? ? ? ? ? 常量指針和指向常量的指針不同。常量指針是把*放在const之前，表示指針是個(gè)常 ? ? ? ? ? ? 量，就是指針本身的值不變，也就是存放在指針中的地址不變，但其指向的對(duì)象值可以通 ? ? ? 過(guò)該指針改變；而指向常量的指針是把*放在const之后，可以指向常量對(duì)象也可以指 ? ? ? ? ? ? 向普通對(duì)象，指針本身的值可以改變，存放在指針中的地址可以改變，但是其指向的對(duì)象 ? ? ?不能通過(guò)該指針改變值。當(dāng)指向常量對(duì)象時(shí)，必須用指向常量的指針。
int errNumb=0;
int errNumb1=2;
int *const curErr=&errNumb;//常量指針,curErr的值為&errNumb不變,即一直指向&errNumb
curErr=&errNumb1;//錯(cuò)誤：curErr是常量，值不能變
*curErr=2;//正確：curErr指向的對(duì)象值可通過(guò)它改變
const double pi=3.14159;//常量
const double pi1=2.1412;
const double *pip1=π//pip1是指向常量的指針
*pip1=2.1412;//錯(cuò)誤：pi的值不能通過(guò)pip1改變
pip1=&pi1;//正確：pip1本身的值可以改變
const double *const pip=π//pip是一個(gè)指向常量對(duì)象的常量指針
四、頂層const和底層const
? ? ? ? ? ? ? ?如前面所述，const遇到指針，有兩種情況，分別是常量指針和指向常量的指針。兩者的區(qū) ? ? ? ? ? 別是，常量指針是指針本身是一個(gè)常量，指向常量的指針是指針?biāo)赶虻膶?duì)象是個(gè)常量，不 ? ? ? ? ? ? 能改變所指向?qū)ο蟮闹怠?/p>
? ? ? ? ? ? ? ?頂層const表示對(duì)象本身是個(gè)常量，如常量指針是頂層const，底層const表示指針?biāo)傅?? ? ? ? ? ? 對(duì)象或者引用所引用的對(duì)象是個(gè)常量，如指向常量的指針是個(gè)底層const。
? ? ? ? ? ? ? ?頂層const可表示任意對(duì)象是常量，底層const則與指針和引用等符合類型的基本類型部分 ? ? ? ? ? ? 有關(guān)。
? ? ? ? ? ? ? ?用于聲明引用的const都是底層const。
int i=0;
int *const p1=&i;//頂層const，p1是個(gè)常量
const int ci=42;//頂層const，ci是個(gè)常量
const int *p2=&ci;//底層const，p2所指的對(duì)象是個(gè)常量
const int *const p3=p2;//靠右的const是頂層const，靠左的是底層const
const int &r=ci;//用于聲明引用的const都是底層const
? ? ? ? ? ? ?當(dāng)執(zhí)行拷貝操作時(shí)，常量是頂層const還是底層const區(qū)別明顯。其中，頂層const不受什么 ? ? ? ? 影響：
（繼續(xù)上一個(gè)例子）
i=ci;//正確：拷貝ci的值，ci是一個(gè)頂層const，對(duì)此操作無(wú)影響
p2=p3;//正確：p2和p3指向的對(duì)象類型相同，p3頂層const部分不受影響
? ? ? ? ? ? ? 底層const的限制卻不能忽視。當(dāng)執(zhí)行對(duì)象的拷貝操作時(shí)，考入和拷出的對(duì)象必須具有相同 ? ? ? ?的底層const資格，或者兩個(gè)對(duì)象的數(shù)據(jù)類型必須能轉(zhuǎn)化。一般來(lái)說(shuō)，非常量可以轉(zhuǎn)換成常量， ? ? ? ?反之不行：
(繼續(xù)上一個(gè))
int *p=p3;//錯(cuò)誤：p3包含底層const的定義，而p沒(méi)有
p2=p3;//正確：p2和p3都是底層const
p2=&i;//正確：int*能轉(zhuǎn)換成const int*
int &r=ci;//錯(cuò)誤：普通的int&不能綁定到int常量上
const int &r2=i;//正確：const int&可以綁定到一個(gè)普通int上
? ? ? ?其實(shí)底層const的拷貝規(guī)則就是前面對(duì)常量的引用和指向常量的指針的拷貝規(guī)則，不理解的可以參照前面。
以上內(nèi)容參考自《C++ primer(第五版)》,歡迎給出建議和批評(píng)。
