weibing

上面的代碼實(shí)際上將無法通過編譯，我們把"SomeMethod"換一個(gè)寫法來理解一下

void SomeMethod()const

{

    this->m_a = 0;

}

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

 

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

 

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

 

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

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

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