const和volatile

對(duì)于const變量，人們有個(gè)誤區(qū)，就是認(rèn)為const是個(gè)常量，其實(shí)這種說法是不正確的，const本質(zhì)還是一個(gè)變量，只是這個(gè)變量被const修飾后成為了只讀的變量。

const只讀變量

關(guān)于const有幾點(diǎn)要注意的：

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

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

3.const修飾的全局變量在全局?jǐn)?shù)據(jù)區(qū)分配空間。

4.const只在編譯期有用，在運(yùn)行期無用。

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

const全局變量的分歧

在現(xiàn)代C語言編譯器中，修改const全局變量將導(dǎo)致程序崩潰（在現(xiàn)代C語言編譯器中，被const修飾的全局變量被編譯器存放在只讀存儲(chǔ)區(qū)，所以修改該變量將導(dǎo)致程序奔潰）

注意：標(biāo)準(zhǔn)C語言編譯器不會(huì)將const修飾的全局變量存儲(chǔ)于只讀存儲(chǔ)區(qū)中，而是存儲(chǔ)于可修改的全局?jǐn)?shù)據(jù)區(qū)，其值依然可以改變。

下面我們通過一個(gè)編程實(shí)驗(yàn)來驗(yàn)證一下。

這是在BCC編譯環(huán)境下的運(yùn)行結(jié)果，BCC是一款標(biāo)準(zhǔn)C語言編譯器，它將const修飾的全局變量存儲(chǔ)于可以改變的全局?jǐn)?shù)據(jù)區(qū)。所以當(dāng)程序改變其中的變量的時(shí)候，不會(huì)報(bào)錯(cuò)。

在linux系統(tǒng)中運(yùn)行程序會(huì)出現(xiàn)段錯(cuò)誤的提示，原因是因?yàn)間cc編譯器是一款現(xiàn)代C語言編譯器，全局變量i被const修飾后，被編譯器存儲(chǔ)在只讀存儲(chǔ)區(qū)，當(dāng)視圖修改的時(shí)候會(huì)報(bào)錯(cuò)。

在函數(shù)中，局部變量i被static修飾后，成為全局變量，當(dāng)用const修飾后，編譯器將它儲(chǔ)存在只讀存儲(chǔ)區(qū)。再次修改會(huì)出錯(cuò)。

在linux中  局部變量i被const修飾后，gcc編譯器將它存儲(chǔ)在棧上，其值可以改變。程序不報(bào)錯(cuò)。

const的本質(zhì)

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

2.現(xiàn)代C編譯器中的const將具有全局生命周期的變量存儲(chǔ)于只讀存儲(chǔ)區(qū)。

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

const修飾函數(shù)參數(shù)和返回值

1.const修飾函數(shù)的參數(shù)表示在函數(shù)體內(nèi)不希望改變參數(shù)的值。

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

 Tips：

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

程序中有兩處錯(cuò)誤，第一處是j變量被static const修飾后 編譯器將它存儲(chǔ)在只讀存儲(chǔ)區(qū)，修改值會(huì)出現(xiàn)程序奔潰，第二處是全局變量g_array被const修飾也被編譯器存儲(chǔ)在只讀存儲(chǔ)區(qū)，修改值會(huì)發(fā)生程序奔潰。

深藏不露的volatile

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

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

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

4.volatile也可以修飾可能被多個(gè)未知因數(shù)改變的變量。

一個(gè)有趣的問題

const volatile int i=0；

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

-編譯器如何處理這個(gè)變量？

i是一個(gè)只讀變量，編譯器不做任何優(yōu)化，每次訪問i的時(shí)候 都會(huì)讓編譯器去內(nèi)存中去取值。

小結(jié)

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

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

3. const將具有全局生命期的變量存儲(chǔ)于只讀存儲(chǔ)區(qū)

4. volatile強(qiáng)制編譯器減少優(yōu)化，必須每次從內(nèi)存中取值。