C語言const詳解

原文地址：http://hi.baidu.com/onlys_c/blog/item/7d0dc7f70e413829720eec2a.html

　基本解釋

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

雖然這聽起來很簡單，但實際上，const的使用也是c語言中一個比較微妙的地方，微妙在何處呢？請看下面幾個問題。

　　問題：const變數 & 常量

　　為什麼我象下面的例子一樣用一個const變數來初始化數組，ANSI C的編譯器會報告一個錯誤呢？

const int n = 5; int a[n];

　　答案與分析:

　　1）、這個問題討論的是“常量”與“唯讀變數”的區別。常量肯定是唯讀，例如5， “abc”，等，肯定是唯讀，因為程式中根本沒有地方存放它的值，當然也就不能夠去修改它。而“唯讀變數”則是在記憶體中開闢一個地方來存放它的值，只不過這個值由編譯器限定不允許被修改。C語言關鍵字const就是用來限定一個變數不允許被改變的修飾符（Qualifier）。上述代碼中變數n被修飾為唯讀變數，可惜再怎麼修飾也不是常量。而ANSI C規定數組定義時維度必須是“常量”，“唯讀變數”也是不可以的。

　　2)、注意：在ANSI C中，這種寫法是錯誤的，因為數組的大小應該是個常量，而const int n,n只是一個變數（常量 != 不可變的變數，但在標準C++中，這樣定義的是一個常量，這種寫法是對的），實際上，根據編譯過程及記憶體配置來看，這種用法本來就應該是合理的，只是ANSI C對數組的規定限制了它。

　　3)、那麼，在ANSI C 語言中用什麼來定義常量呢？答案是enum類型和#define宏，這兩個都可以用來定義常量。

　　問題：const變數 & const 限定的內容

　　下面的代碼編譯器會報一個錯誤，請問，哪一個語句是錯誤的呢？

typedef char * pStr; char string[4] = "abc"; const char *p1 = string; const pStr p2 = string; p1++; p2++;

　　答案與分析：

　　問題出在p2++上。

　　1)、const使用的基本形式： const char m; 

　　限定m不可變。

　　2)、替換1式中的m, const char *pm; 

　　限定*pm不可變，當然pm是可變的，因此問題中p1++是對的。

　　3)、替換1式char, const newType m; 

　　限定m不可變，問題中的charptr就是一種新類型，因此問題中p2不可變，p2++是錯誤的。

　　問題：const變數 & 字串常量

　　請問下面的代碼有什麼問題？

char *p = "i'm hungry!"; p[0]= 'I';

　　答案與分析：

　　上面的代碼可能會造成記憶體的非法寫操作。分析如下， “i'm hungry”實質上是字串常量，而常量往往被編譯器放在唯讀記憶體區，不可寫。p初始指向這個唯讀記憶體區，而p[0] = 'I'則企圖去寫這個地方，編譯器當然不會答應。

　　問題：const變數 & 字串常量2

　　請問char a[3] = "abc" 合法嗎？使用它有什麼隱患？ 

　　答案與分析：

　　在標準C中這是合法的，但是它的生存環境非常狹小；它定義一個大小為3的數組，初始化為“abc”，，注意，它沒有通常的字串終止符'\0'，因此這個數組只是看起來像C語言中的字串，實質上卻不是，因此所有對字串進行處理的函數，比如strcpy、printf等，都不能夠被使用在這個假字串上。

　　問題5：const & 指標

　　型別宣告中const用來修飾一個常量，有如下兩種寫法，那麼，請問，下面分別用const限定不可變的內容是什麼?

　　1)、const在前面

const int nValue； //nValue是const const char *pContent; //*pContent是const, pContent可變 const (char *) pContent;//pContent是const,*pContent可變 char* const pContent; //pContent是const,*pContent可變 const char* const pContent; //pContent和*pContent都是const

　　2)、const在後面，與上面的聲明對等

int const nValue； // nValue是const char const * pContent;// *pContent是const, pContent可變 (char *) const pContent;//pContent是const,*pContent可變 char* const pContent;// pContent是const,*pContent可變 char const* const pContent;// pContent和*pContent都是const

　　答案與分析：

　　const和指標一起使用是C語言中一個很常見的困惑之處，在實際開發中，特別是在看別人代碼的時候，常常會因為這樣而不好判斷作者的意圖，下面講一下我的判斷原則：

　　沿著*號劃一條線，const和誰在一邊，那麼誰就是const，即const限定的元素就是它。你可以根據這個規則來看上面聲明的實際意義，相信定會一目瞭然。

　　另外，需要注意：對於const (char *) ; 因為char *是一個整體，相當於一個類型(如 char)，因此，這是限定指標是const。

完