C 中const的實現機制深入分析

2021-07-01 20:44:24 字數 1427 閱讀 7601

問題

c語言以及c++語言中的const究竟表示什麼?其具體的實現機制又是如何實現的呢? 本文將對這兩個問題進行一些分析,簡單解釋const的含義以及實現機制。 

問題分析

簡單的說const在c語言中表示唯讀的變數,而在c++語言中表示常量。關於const在c與c++語言中的使用以及更多的區別,以後有時間另開一貼說明。

那麼const究竟是如何實現的呢? 對於宣告為const的內建型別,例如int,short,long等等,編譯器會如何實現const的本意?那麼對於非內建型別是否也是與內建資料型別一樣處理呢,例如對於結構體型別則會怎樣處理呢?下面通過幾個小例子來說明這些問題: 

c語言const示例

: 複製**

**如下:

const int i=10; 

int *p=(int *)(&i); 

*p=20; 

printf("i=%d *p=%d \n",i,*p); 

猜一猜輸出結果是什麼? i=20 *p=20 

c++語言const示例1: 

複製**

**如下:

const int i=10; 

int *p=const_cast(&i); 

*p=20; 

cout<<"i="《輸出結果是 i=10 *p=20 

c++語言const示例2: 

複製**

**如下:

struct test 

}; int main(int argc, char* argv)  { 

const struct test t1; 

int *q=(int *)(&t1.j); 

*q=40; 

cout<<"j="《輸出結果是 j=40 *q=40 

示例結果分析

看到上面三組輸出結果,有沒有感到很詭異: 

問題1,對於const int型別的變數i,c語言中通過指標p修改了值後,i變成了20;而在c++中,通過指標p修改了值後,i仍然是10。 

問題2,c++語言中 const struct test的元素j通過指標q被改變了,為何const int 與 const struct test的反應機制不同? 

針對問題1,我們知道c語言中const表示唯讀的變數,既然把const看成是變數,那麼其在記憶體中就會有儲存他的空間,並且可以通過指標間接的改變該記憶體空間的值,當通過指標p改變該記憶體中的值後,再獲取i的值的時候,會訪問該空間,得到的是被改變後的值。而c++把const看做常量,編譯器會使用常數直接替換掉對i的引用,例如cout<

針對問題2,c++語言中只是對於內建資料型別做常數替換,而對於像結構體這樣的非內建資料型別則不會。因為結構體型別不是內建資料型別,編譯器不知道如何直接替換,因此必須要訪問記憶體去取資料,而訪問記憶體去取資料必然會取到被指標q改變後的值,因此會造成與c++中const int型別完全不一樣的處理模式。

C 中const的實現機制深入分析

c語言以及c 語言中的const究竟表示什麼?其具體的實現機制又是如何實現的呢?本文將對這兩個問題進行一些分析,需要了解的朋友可以參考下 問題 c語言以及c 語言中的const究竟表示什麼?其具體的實現機制又是如何實現的呢?本文將對這兩個問題進行一些分析,簡單解釋const的含義以及實現機制。問題分...

C 中const的實現機制深入分析

問題 c語言以及c 語言中的const究竟表示什麼?其具體的實現機制又是如何實現的呢?本文將對這兩個問題進行一些分析,簡單解釋const的含義以及實現機制。問題分析 簡單的說const在c語言中表示唯讀的變數,而在c 語言中表示常量。關於const在c與c 語言中的使用以及更多的區別,以後有時間另開...

深入辨析C 中的static和const

const和static在c 中經常被使用到。簡單地說 const定義乙個類例項化範圍內的常量,而static定義的是類的靜態成員變數是由乙個類的所有例項物件共享的。再仔細說明一下 另外,也存在例外的情況!在stl原始碼剖析中1.9.3中提到的 如果在class中含有const static int...