1. 程式人生 > 其它 >深入聊一下const關鍵字

深入聊一下const關鍵字

const是一個C語言的關鍵字,它限定一個變數不允許被改變。使用const在一定程式上可以提高程式的健壯性,另外,在觀看別人程式碼的時候,清晰理解const所起的作用,對理解別人的程式有所幫助。

1、const簡介

下面簡單描述一下const,基本都是教科書的知識。const修飾的變數,其值存放在只讀資料段中,其值不能被改變。稱為只讀變數。關於什麼是資料段,什麼是程式碼段,請看我之前的文章《C語言的記憶體分配》。

int const a;
const int a;

上面兩條語句都可以將a宣告為一個整數,它的值不能被修改。這兩種方式你可以任意選一種即可。

常量在定義時可以被初始化。

int
const a =15;

當指標和常量結合時,就會很有趣,因為有兩樣東西都可能成為常量,指標和它指向的實體。一般大家在大學考計算機二級和麵試時經常會遇到的。

int *a;

a就是一個很普通的指向整型的指標。

int const *a;

這時則是一個指向整型常量的指標。也就是說,你可以修改指標的值,但是不能修改它指向的值。

int *const a;

這時a是一個指向整型的常量指標。這個指標是常量,它的值無法修改,但是你可以修改它所指向的整型的值。

int const *const a;

這個時候無論是指標本身還是它所指向的值都是常量,都不允許修改。

那麼問題來了,就像C語言的運算子的優先順序,這個東西很不好記憶,在實際開發中,我們直接多用()符號解決優先順序的問題。上面指標和const結合那麼麻煩,學習為了什麼呢?

1、合理地使用關鍵字const可以使編譯器很自然地保護那些不希望被改變的引數,防止其被無意的程式碼修改。簡而言之,這樣可以減少bug的出現

2、正是基於上面的原因,一些優秀的開原始碼都會利用const這個屬性,深入理解後,方便我們閱讀理解一些優秀的開原始碼

02、常量的應用

上文就簡述了一下教科書中的const定義,現在說一下const在我日常開發中的應用。

在微控制器開發中

const定義一個常量,在微控制器開發中,一個定義在函式體外的常量constint a = 5; 它是儲存在微控制器內部Flash裡的,不懂的同學請看之前的文章《C語言在STM32中的記憶體分配》。那麼上文提到和指標結合時,也是儲存在內部Flash中嗎?我們來驗證一下

int data = 0x1234;
int const *a = &data;
int *const b= &data;
int const *const c= &data;
int main(void)
{  
  int data1 = 0x1234;  
  a =&data1;  
  data1 = *b;  
  data1 = *c;  
  while(1);
}

它們的記憶體分配如下

b和c是分配到內部flash的,a是分配到ram中的。其實這也很好理解,根據上面的const的定義,微控制器在分配時,將不能修改的變數,也就是隻讀變數放到flash中,可以讀寫的變數放到ram中,這個大家仔細想一下就明白了。

常量作為函式的引數

非指標引數(也就是傳值引數)不會被修改原始值,const對它是沒有意義的,所以這裡只討論引數是指標加const的情況。

在上面看到,指標加const共3種情況,這裡先討論int const *a; 也就是你可以修改指標的值,但是不能修改它指向的值。

int fun(int *p) 
{    
  if(*p == 0xA5)    
  {        
    return*p;    
  }else{         
    p++;        
    return *p;    
  }
}

上面是個簡單的例子,也就是傳入一個指標,函式讀取指標指向的內容,執行不同的命令。類似串列埠接收,一個函式內部處理這些資料,但是不能修改,可能串列埠接收的資料在其他地方還有用。

在上述例子中,沒有問題的,因為程式碼全在“掌控”中。函式內部是否進行寫操作,自己是知道的。但還有一個更規範的寫法。

int fun(int const *p) 
{    
  if(*p == 0xA5)    
  {        
    return *p;   
  }else{         
    p++;         
    return *p;    
  }
}

這裡寫法,就是明顯表現出自己的設計意圖,函式內部不可以對指標指向的內容進行修改,只能讀取。

如果嘗試修改,編譯器會直接報錯的。但是函式內部也是可以繞過去,修改的資料的,如下

int fun(const int *p) 
{   
  int *p2 = p; /* 來個重名指標會繞過const的限制*/   
  *p2 += 1;    
  return*p;
}

那麼對於int *const a;有沒有對應的使用場景呢?如下

這樣的介面設計,如果函式內部嘗試修改指標的值,也就是指標指向的位置,編譯器就會直接報錯。

不過這裡例子很現實,因為即使去掉p2的const修飾,編譯器會直接報waring,因為p2是入參。這裡只是簡單舉例子,大家理解意思就好。

在日常開發中,入參是intconst *a;使用場景比較多。

C++中應用加const

C++中可以使用應用的語法,這裡不再展開什麼是應用,如下例子,C++函式引數中引用時也常加const修飾,如下

void find(constint  &x)
{   
  .......
}

最後,舉兩個常用的標準C庫函式宣告,它們都是使用const的典範。

1.字串拷貝函式:char*strcpy(char*strDest,constchar *strSrc);

2.返回字串長度函式:intstrlen(constchar *str);

3、#define和const

#define預編譯和const在某些情況下有些“混淆”,如下

#define MAX_NUM 5
int const max_num = 5;
void fun(){    
  if(len >MAX_NUM)    
  if(len> max_num)
}

上述程式碼5行和6行都能起效果。那麼我們就詳細分析一下它們的區別

1#define的資料是巨集定義,它佔用的是程式碼段空間(微控制器對應:內部flash),const定義一個數據型別,它佔用的是data段(微控制器對應:內部ram)。

2如上,#define是巨集定義,在預編譯階段直接替換,而const是資料型別。

#define MAX_NUM 5
int const max_num = 5;
int data[MAX_NUM];
intdata2[max_num];

上述程式碼第4行是編譯不過的,因為max_num是一個int的資料型別變數,陣列定義的長度不能用變數。實際上,在更章節第一個例子,只用於判斷長度,#define更加合適,因為只要允許使用字面值常量的地方都可以使用巨集定義

3define只是簡單的字串替換,沒有型別檢查。而const有對應的資料型別,是要進行判斷的,可以避免一些低階的錯誤。define只是簡單的字串替換會導致邊界效應,

比如定義

#define A 1
#define B A+3
#define C A/B3

那麼c是多少呢?c=A/B3=A/A+33=1/1+33=10;所以這種用的時候可以直接都用個括號括起來,就不怕邊界效應了。

4const不能重定義,不可以定義兩個一樣的,而define就比較牛氣了,它通過undef取消某個符號的定義,再重新定義。並還可以用於判斷巨集定義是否存在,常用於標頭檔案防止標頭檔案被重複引用。

#ifndef GRAPHICS_H //防止graphics.h被重複引用 
#defineGRAPHICS_H    
……程式碼…… 
#endif

5const常量可以進行除錯的,define是不能進行除錯的,主要是預編譯階段就已經替換掉了,除錯的時候就沒它了。

點選檢視本文所在的專輯:C語言進階