指針是一個對象怎燥,占據(jù)內(nèi)存空間,而指針本身可以指向另一個對象蜜暑,這就導(dǎo)致指針是常量和指針指向的對象是常量是兩個不同的概念铐姚。而名詞頂層const指代指針是一個常量,名詞底層const指代指針指向的對象是一個常量肛捍。
更一般的說隐绵,頂層const可以用來指定其他更普通的數(shù)據(jù)類型,而底層const只在復(fù)合的數(shù)據(jù)類型的時候出現(xiàn)拙毫,比如指針和引用依许。就像是復(fù)合函數(shù),里層的函數(shù)和外層的函數(shù)的定義域是不一樣的缀蹄。
int i = 0;
int *const p1 = &i;//不能改變p1的值峭跳,這是一個頂層const
const int ci = 42;//不能改變ci的值膘婶,這是一個頂層const
const int *p2 = &ci;//允許改變p2的值,這是一個底層const
const int *const p3 = p2;//靠右的const是頂層const蛀醉,靠左的是底層const
const int &r = ci;//用于聲明引用的const都是底層const
值得注意的是悬襟,頂層const和底層const進(jìn)行拷貝操作時有所不同≌螅總的來說古胆,頂層const常量一般不受影響,而底層const必須是拷入和拷出的對象必須具有相同的底層const筛璧,或者能夠進(jìn)行數(shù)據(jù)轉(zhuǎn)換逸绎,常常是非常量可以轉(zhuǎn)換成常量。
i = ci;//正確:拷貝ci的值夭谤,ci是一個頂層const棺牧,對此操作無影響
p2 = p3;//正確:p2和p3指向的對象類型相同,p3頂層const的部分不影響
int *p = p3;//錯誤:p3包含底層const的定義朗儒,而p沒有
p2 = p3;//正確:p2和p3都是底層const
p2 = &i;//正確:int*能轉(zhuǎn)換成const int*
int &r = ci;//錯誤:普通的int&不能綁定到int常量上
const int &r2 = i;//正確:const int&可以綁定到一個普通int上