const 和 非const函式過載
在下面的程式碼中a1呼叫const版本,a2呼叫非const版本。 const a a1; a a2; a1.x(); a2.x(); 後面加const表示在該函式中不能對類的資料成員進行改變,比如: class A { private: int aa; public: int x() { return aa++; } //這可以 int x() const { return aa++;//這錯誤 } }; 當然有特殊情況,就是用mutable關鍵字修飾過的成員變數可以在宣告為const 函式中被改變。 關於mutable: 關鍵字mutable是C++中一個不常用的關鍵字,他只能用於類的非靜態和非常量資料成員 我們知道一個物件的狀態由該物件的非靜態資料成員決定,所以隨著資料成員的改變, 對像的狀態也會隨之發生變化! 如果一個類的成員函式被宣告為const型別,表示該函式不會改變物件的狀態,也就是 該函式不會修改類的非靜態資料成員.但是有些時候需要在該類函式中對類的資料成員 進行賦值.這個時候就需要用到mutable關鍵字了 例如: class Demo { public: Demo(){} ~Demo(){} public: bool getFlag() const { m_nAccess++; return m_bFlag; } private: int m_nAccess; bool m_bFlag; }; int main() { return 0; } 編譯上面的程式碼會出現 error C2166: l-value specifies const object的錯誤 說明在const型別的函式中改變了類的非靜態資料成員. 這個時候需要使用mutable來修飾一下要在const成員函式中改變的非靜態資料成員 m_nAccess,程式碼如下: class Demo { public: Demo(){} ~Demo(){} public: bool getFlag() const { m_nAccess++; return m_bFlag; } private: mutable int m_nAccess; bool m_bFlag; }; int main() { return 0; } 這樣再重新編譯的時候就不會出現錯誤了!
再看為String類實現的[]操作符過載函式:
char& operator[](int posion) // function_1 { return data[posion]; }; 注意,這裡該函式的返回值為一個引用,否則str[0] = 'c'這樣的語句就會不合法,因為str[0]將是一個左值。
那麼,是否提供這樣一個function_1就足夠了呢?看下面這段程式碼: const String str= "She"; char c = str[0]; // 錯誤!編譯提示:error C2678: 二進位制“[” : 沒有找到接受“const String”型別的左運算元的運算子(或沒有可接受的轉換)
很顯然,我們必須還要為const String提供一個const版本的opeartor[]。如下: char& operator[](int posion) const { return data[posion]; } 這樣,當使用const的String物件使用[]操作符時,便會呼叫該const的過載版本。 但是,這樣就OK了嘛?雖然上面的那段程式碼沒有問題了,但是其中卻隱藏了一個陷阱,看如下程式碼: const String str = "She"; str[0] = 'T'; 上面這段程式碼可以編譯,執行通過,str變為了"The"!而str宣告為const的!!
現在,你應該知道了,對於const的該操作符過載函式其返回值也應該是const的,否則就會出現可以通過其修改const物件的漏洞。修改如下: const
我們再回過頭來看一下,為了給String提供一個[]操作符來讀寫指定位置的字元,需要提供如下兩個函式,以分別對非const String物件和const String物件提供支援: char& operator[](int posion) { return data[posion]; };
const char& operator[](int posion) const { return data[posion]; }