一谤民、概述
? ? ? ? ?用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)歇攻。