const和volatile

對于const變量，人們有個誤區，就是認為const是個常量，其實這種說法是不正確的，const本質還是一個變量，只是這個變量被const修飾后成為了只讀的變量。

const只讀變量

關于const有幾點要注意的：

1.const修飾的變量是只讀的，本質還是變量。

2.const修飾的局部變量在棧上分配空間。

3.const修飾的全局變量在全局數據區分配空間。

4.const只在編譯期有用，在運行期無用。

const修飾的變量不是真正的常量，它只是告訴編譯器該變量不能出現在賦值符號的左邊。

const全局變量的分歧

在現代C語言編譯器中，修改const全局變量將導致程序崩潰（在現代C語言編譯器中，被const修飾的全局變量被編譯器存放在只讀存儲區，所以修改該變量將導致程序奔潰）

注意：標準C語言編譯器不會將const修飾的全局變量存儲于只讀存儲區中，而是存儲于可修改的全局數據區，其值依然可以改變。

下面我們通過一個編程實驗來驗證一下。

這是在BCC編譯環境下的運行結果，BCC是一款標準C語言編譯器，它將const修飾的全局變量存儲于可以改變的全局數據區。所以當程序改變其中的變量的時候，不會報錯。

在linux系統中運行程序會出現段錯誤的提示，原因是因為gcc編譯器是一款現代C語言編譯器，全局變量i被const修飾后，被編譯器存儲在只讀存儲區，當視圖修改的時候會報錯。

在函數中，局部變量i被static修飾后，成為全局變量，當用const修飾后，編譯器將它儲存在只讀存儲區。再次修改會出錯。

在linux中  局部變量i被const修飾后，gcc編譯器將它存儲在棧上，其值可以改變。程序不報錯。

const的本質

1.C語言中的const使得變量具有只讀屬性。

2.現代C編譯器中的const將具有全局生命周期的變量存儲于只讀存儲區。

3.const本能定義真正意義上的常量。

const修飾函數參數和返回值

1.const修飾函數的參數表示在函數體內不希望改變參數的值。

2.const修飾函數返回值表示返回值不可以改變，多用于返回指針的情形。

 Tips：

 C語言中的字符串字面量存儲于只讀存儲區，在程序中需要使用const char* 指針。

程序中有兩處錯誤，第一處是j變量被static const修飾后 編譯器將它存儲在只讀存儲區，修改值會出現程序奔潰，第二處是全局變量g_array被const修飾也被編譯器存儲在只讀存儲區，修改值會發生程序奔潰。

深藏不露的volatile

1.volatile可以理解為編譯器警告指示字；

2.volatile告訴編譯器必須每次去內存中去變量值。

3.volatile主要修飾可能被多個線程訪問的變量。

4.volatile也可以修飾可能被多個未知因數改變的變量。

一個有趣的問題

const volatile int i=0；

-變量i具有什么樣的特性？

-編譯器如何處理這個變量？

i是一個只讀變量，編譯器不做任何優化，每次訪問i的時候 都會讓編譯器去內存中去取值。

小結

1. const使得變量具有只讀屬性

2. const不能定義真正意義上的常量。

3. const將具有全局生命期的變量存儲于只讀存儲區

4. volatile強制編譯器減少優化，必須每次從內存中取值。