C 中的頂層 const與底層const

2021-06-26 14:28:44 字數 1916 閱讀 4942

我們知道,指標本身是乙個物件,因為,指標實際對應著記憶體單元的一段儲存空間,然而,指標所指向的也是乙個資料物件,因此,指標是乙個常量與指標所指向的是乙個常量是兩個完全不同的概念,頂層 const表示的是指標本身是乙個常量底層 const表示的是指標所指的物件是乙個常量,更一般情況下,頂層 const 可以表示任意物件是乙個常量,這對於算術型別、類、指標等任何資料型別都是成立的,底層 const 則與指標和引用等復合型別的基本型別部分有關,比較特殊的是,指標既可以是頂層 const 也可以是底層 const ,這一點與其他型別區別明顯。

對於頂層 const 與底層 const ,在執行物件拷貝時有著明顯的不同:

(1)頂層 const 不受什麼影響

int i = 0;

const

int ci = 42; // 不能改變 ci 的值,這是乙個頂層 const

i = ci; // 正確:ci 是乙個頂層 const,對此操作無影響

const

int *p2 = &ci; // 允許改變 p2 的值,這是乙個底層 const

const

int *const p3 = p2; // 靠右的 const 是頂層 const ,靠左的是底層 const

p2 = p3; // 正確:p2 和 p3 指向的物件的型別相同,p3 頂層 const 的部分不影響

(2)底層 const 的限制不能忽略, 要求拷出和拷入的物件有相同的底層 const 資格或者能轉換為相同的資料型別,一般非常量能夠向常量轉換,反之則不行

int

*p = p3; // 錯誤:p3 包括底層 const 定義,而 p 沒有

p2 = p3; // 正確:p2 和 p3 都是底層 const

p2 = &i; // 正確:int* 能轉換成 const int*

int &r = ci; // 錯誤:普通的 int& 不能繫結到 int 常量上

const int &r2 = i; // 正確:const int& 可以繫結到乙個普通 int 上

來分析一下以上的**:

int *p = p3;

p3 既是乙個頂層 const 又是乙個底層 const,在執行物件拷貝時,頂層 const 部分沒有任何影響,完全不用考慮,但是 p3 又是乙個底層 const ,它要求拷入的物件有相同的底層 const 資格,而 p 沒有,所以是錯的;

p2 = p3;

p3 要求拷入的物件擁有相同的底層 const 資格,p2 也是乙個底層 const,故正確;

p2 = &i;

對 i 取位址將得到int*, p2 是const int*,前者是非常量,後者是常量,賦值語句等號右側的型別向左側轉換,非常量能夠向常量轉換,故正確;

int &r = ci;

由左側部分我們知道,需要得到的是乙個繫結到 ci 上的引用,而繫結到 ci 上的引用的型別是const int&,等號左側的型別是int&,賦值語句等號右側的型別向左側轉換,但是常量不能向非常量轉換,所以是錯誤的;

const int &r2 = i;

由左側部分我們知道,需要得到的是乙個繫結到 i 上的引用,而繫結到 i 上的引用的型別是int&,等號左側的型別是const int&,賦值語句等號右側的型別向左側轉換,一般非常量可以向非常量轉換,所以是正確的。

C 頂層const與底層const

1.頂層const 指代指標是乙個常量 2.底層const 指代指標指向的物件是乙個常量。int i 0 int const p1 i 不能改變p1的值,這是乙個頂層const,符合第一點 const int ci 42 不能改變ci的值,這是乙個頂層const,符合第二點 const int p2...

頂層const與底層const

是否可修改所指向的物件 是否可通過指標修改物件的值 頂層const 指標本身是常量。否 是 底層const 指標所指的物件是常量。是 否 int a 0 const int b 1 const int p1 a 底層const p1指向a int const p1與const int p1等效 p1...

C 中頂層const和底層const

指標本身是乙個物件,由於,指標實際相應著記憶體單元的一段儲存空間,然而,指標所指向的也是乙個資料物件,因此,指標是乙個常量與指標所指向的是乙個常量是兩個全然不同的概念,頂層 const 表示的是 指標本身是乙個常量,底層 const 表示的是 指標所指的物件是乙個常量,更普通情況下,頂層 const...