上面的代碼實(shí)際上將無(wú)法通過(guò)編譯，我們把"SomeMethod"換一個(gè)寫(xiě)法來(lái)理解一下

void SomeMethod()const

{

    this->m_a = 0;

}

這里的“this”就是我們通常說(shuō)的成員函數(shù)的隱含this指針參數(shù)了，該參數(shù)雖然沒(méi)在函數(shù)參數(shù)列表里(所以稱(chēng)之為隱含)，但是這個(gè)參數(shù)是實(shí)際存在的，并且該參數(shù)類(lèi)型對(duì)于非const成員函數(shù)來(lái)說(shuō)是SomeType* const，對(duì)于const 成員函數(shù)，其類(lèi)型是const SomeType* const, 也就是又增加了一個(gè)const(我想是由于this指針是隱含參數(shù)，所以const沒(méi)地方放了，只好放在成員函數(shù)的結(jié)尾了)。這也就解釋了，為什么上面的代碼無(wú)法通過(guò)編譯，同時(shí)也說(shuō)明了，成員函數(shù)是通過(guò)這個(gè)隱含的this指針來(lái)訪(fǎng)問(wèn)其成員的，這個(gè)隱含的this指針，在代碼定義的時(shí)候仍然可以省去不寫(xiě)，當(dāng)然，在編譯的時(shí)候，編譯器會(huì)自動(dòng)添加這個(gè)this的。

 

這里還存在一個(gè)很別扭的問(wèn)題: 在SomeMethod的第一個(gè)版本定義里，定義的是const成員函數(shù)，但是第二個(gè)版本由于升級(jí)，我們需要改動(dòng)某個(gè)成員變量的值，很顯然，這個(gè)時(shí)候我們需要把SomeMethod成員函數(shù)后面的const去掉才能通過(guò)編譯，但這樣做又會(huì)帶來(lái)一個(gè)問(wèn)題，如果SomeMethod是作為共享代碼庫(kù)的形式存在，我們有理由保證SomeMethod的版本兼容性，這樣才能完全保證該庫(kù)的第一個(gè)版本使用者，在升級(jí)到該庫(kù)的第二個(gè)版本時(shí)，可以不改變調(diào)用代碼，進(jìn)行成功編譯。為了解決這個(gè)問(wèn)題，C++引入mutable關(guān)鍵字，也就是把m_a定義為”mutable int m_a”就可以了。該關(guān)鍵字將屏蔽掉編譯過(guò)程中對(duì)const的特殊優(yōu)化處理，不僅僅解決這個(gè)編譯問(wèn)題，也保證了運(yùn)行期的邏輯正確性。

 

這個(gè)時(shí)候，大家可能會(huì)提出一個(gè)”實(shí)用”的做法，就是避免定義const成員函數(shù)，一切問(wèn)題不就解決了嗎（函數(shù)參數(shù)的const定義規(guī)范，以后我會(huì)專(zhuān)門(mén)討論）？其實(shí)用const有如下幾個(gè)明顯好處:

 

1.     const從語(yǔ)言層面保證該方法不會(huì)改動(dòng)其成員，幫助該方法的使用者理解其含義并做出正確調(diào)用，也幫助該方法的設(shè)計(jì)者不違背其實(shí)現(xiàn)意圖，從編譯層面盡可能防止寫(xiě)出錯(cuò)誤的實(shí)現(xiàn)代碼

2.     const可以擴(kuò)大該方法的使用范圍，const SomeType c; c.SomeMethod(); 如果不是const成員函數(shù)，這個(gè)代碼將無(wú)法實(shí)現(xiàn)編譯，也就是說(shuō)該方法的調(diào)用將受到本不該受到的限制

3.     從語(yǔ)義以外的執(zhí)行層面，const變量在一定程度上會(huì)參與編譯的優(yōu)化，從而提高運(yùn)行效率，也就是const對(duì)象的存在是必要的