在普通的非 const成員函數(shù)中,this的類型是一個指向類類型的 const指針。可以改變this所指向的值,但不能改變 this所保存的地址。
在 const成員函數(shù)中,this的類型是一個指向 const類類型對象的 const指針。既不能改變 this所指向的對象,也不能改變 this所保存的地址。
1.用const修飾函數(shù)的參數(shù)
如果參數(shù)作輸出用,不論它是什么數(shù)據(jù)類型,也不論它采用“指針傳遞”還是“引用傳遞”,都不能加const修飾,否則該參數(shù)將失去輸出功能。const只能修飾輸入?yún)?shù):
如果輸入?yún)?shù)采用“指針傳遞”,那么加const修飾可以防止意外地改動該指針,起到保護(hù)作用。
例如StringCopy函數(shù):
void StringCopy(char *strDestination, const char *strSource);
其中strSource是輸入?yún)?shù),strDestination是輸出參數(shù)。給strSource加上const修飾后,如果函數(shù)體內(nèi)的語句試圖改動strSource的內(nèi)容,編譯器將指出錯誤。
如果輸入?yún)?shù)采用“值傳遞”,由于函數(shù)將自動產(chǎn)生臨時變量用于復(fù)制該參數(shù),該輸入?yún)?shù)本來就無需保護(hù),所以不要加const修飾。
例如不要將函數(shù)void Func1(int x) 寫成void Func1(const int x)。同理不要將函數(shù)void Func2(A a) 寫成void Func2(const A a)。其中A為用戶自定義的數(shù)據(jù)類型。
對于非內(nèi)部數(shù)據(jù)類型的參數(shù)而言,象void Func(A a) 這樣聲明的函數(shù)注定效率比較底。因為函數(shù)體內(nèi)將產(chǎn)生A類型的臨時對象用于復(fù)制參數(shù)a,而臨時對象的構(gòu)造、復(fù)制、析構(gòu)過程都將消耗時間。
為了提高效率,可以將函數(shù)聲明改為void Func(A &a),因為“引用傳遞”僅借用一下參數(shù)的別名而已,不需要產(chǎn)生臨時對象。但是函數(shù)void Func(A &a) 存在一個缺點:
“引用傳遞”有可能改變參數(shù)a,這是我們不期望的。解決這個問題很容易,加const修飾即可,因此函數(shù)最終成為void Func(const A &a)。
以此類推,是否應(yīng)將voidFunc(int x) 改寫為void Func(const int&x),以便提高效率?完全沒有必要,因為內(nèi)部數(shù)據(jù)類型的參數(shù)不存在構(gòu)造、析構(gòu)的過程,而復(fù)制也非???,“值傳遞”和“引用傳遞”的效率幾乎相當(dāng)。
問題是如此的纏綿,我只好將“const&”修飾輸入?yún)?shù)的用法總結(jié)一下。
對于非內(nèi)部數(shù)據(jù)類型的輸入?yún)?shù),應(yīng)該將“值傳遞”的方式改為“const引用傳遞”,目的是提高效率。例如將void Func(A a) 改為void Func(const A &a)。
對于內(nèi)部數(shù)據(jù)類型的輸入?yún)?shù),不要將“值傳遞”的方式改為“const引用傳遞”。否則既達(dá)不到提高效率的目的,又降低了函數(shù)的可理解性。例如void Func(int x) 不應(yīng)該改為void Func(const int &x)。
2用const修飾函數(shù)的返回值
如果給以“指針傳遞”方式的函數(shù)返回值加const修飾,那么函數(shù)返回值(即指針)的內(nèi)容不能被修改,該返回值只能被賦給加const修飾的同類型指針。例如函數(shù)
const char * GetString(void);
如下語句將出現(xiàn)編譯錯誤:
char *str = GetString();
正確的用法是
const char *str = GetString();
如果函數(shù)返回值采用“值傳遞方式”,由于函數(shù)會把返回值復(fù)制到外部臨時的存儲單元中,加const修飾沒有任何價值。
例如不要把函數(shù)int GetInt(void) 寫成constint GetInt(void)。
同理不要把函數(shù)A GetA(void) 寫成const A GetA(void),其中A為用戶自定義的數(shù)據(jù)類型。
如果返回值不是內(nèi)部數(shù)據(jù)類型,將函數(shù)A GetA(void) 改寫為const A &GetA(void)的確能提高效率。但此時千萬千萬要小心,一定要搞清楚函數(shù)究竟是想返回一個對象的“拷貝”還是僅返回“別名”就可以了,否則程序會出錯。
函數(shù)返回值采用“引用傳遞”的場合并不多,這種方式一般只出現(xiàn)在類的賦值函數(shù)中,目的是為了實現(xiàn)鏈?zhǔn)奖磉_(dá)。
例如:
classA
{
A & operator = (const A &other); // 賦值函數(shù)
};
A a, b, c; // a, b, c 為A的對象
a= b = c; // 正常的鏈?zhǔn)劫x值
(a= b) = c; // 不正常的鏈?zhǔn)劫x值,但合法
如果將賦值函數(shù)的返回值加const修飾,那么該返回值的內(nèi)容不允許被改動。上例中,語句a= b = c 仍然正確,但是語句(a= b) = c 則是非法的。
3const 成員函數(shù)
任何不會修改數(shù)據(jù)成員的函數(shù)都應(yīng)該聲明為const類型。如果在編寫const成員函數(shù)時,不慎修改了數(shù)據(jù)成員,或者調(diào)用了其它非const成員函數(shù),編譯器將指出錯誤,這無疑會提高程序的健壯性。以下程序中,類stack的成員函數(shù)GetCount僅用于計數(shù),從邏輯上講GetCount應(yīng)當(dāng)為const函數(shù)。編譯器將指出GetCount函數(shù)中的錯誤。
classStack{
public:
void Push(int elem);
int Pop(void);
intGetCount(void) const; // const 成員函數(shù)
private:
int m_num;
int m_data[100];
};
int Stack::GetCount(void)const
{
++ m_num; // 編譯錯誤,企圖修改數(shù)據(jù)成員m_num
Pop();// 編譯錯誤,企圖調(diào)用非const函數(shù)
return m_num;
}
const 成員函數(shù)的聲明看起來怪怪的:const關(guān)鍵字只能放在函數(shù)聲明的尾部,大概是因為其它地方都已經(jīng)被占用了。
關(guān)于Const函數(shù)的幾點規(guī)則:
a.const對象只能訪問const成員函數(shù),而非const對象可以訪問任意的成員函數(shù),包括const成員函數(shù).
b.const對象的成員是不可修改的,然而const對象通過指針維護(hù)的對象卻是可以修改的.
c.const成員函數(shù)不可以修改對象的數(shù)據(jù),不管對象是否具有const性質(zhì).它在編譯時,以是否修改成員數(shù)據(jù)為依據(jù),進(jìn)行檢查.
d.然而加上mutable修飾符的數(shù)據(jù)成員,對于任何情況下通過任何手段都可修改,自然此時的const成員函數(shù)是可以修改它的
補充:
標(biāo)題:const放在后面有什么意思?
--------------------------------------------------------------------------------
一個函數(shù)
AcGePoint3dstartPoint() const;
const放在后面跟前面有區(qū)別么
準(zhǔn)確的說const是修飾this指向的對象的
譬如,我們定義了
classA{
public:
f(int);
};
這里f函數(shù)其實有兩個參數(shù),第一個是A*const this, 另一個才是int類型的參數(shù)
如果我們不想f函數(shù)改變參數(shù)的值,可以把函數(shù)原型改為f(const int),但如果我們不允許f改變this指向的對象呢?因為this是隱含參數(shù),const沒法直接修飾它,就加在函數(shù)的后面了,表示this的類型是constA *const this。
const修飾*this是本質(zhì),至于說“表示該成員函數(shù)不會修改類的數(shù)據(jù)。否則會編譯報錯”之類的說法只是一個現(xiàn)象,根源就是因為*this是const類型的