const的用法查剖,特別是用在函數(shù)后面
在普通的非 const成員函數(shù)中钾虐,this的類型是一個(gè)指向類類型的 const指針∷褡可以改變this所指向的值效扫,但不能改變 this所保存的地址。
在 const成員函數(shù)中无切,this的類型是一個(gè)指向 const類類型對象的 const指針荡短。既不能改變 this所指向的對象丐枉,也不能改變 this所保存的地址哆键。
關(guān)鍵字:Const,Const函數(shù)瘦锹,Const變量籍嘹,函數(shù)后面的Const
看到const關(guān)鍵字,C++程序員首先想到的可能是const常量弯院。這可不是良好的條件反射辱士。如果只知道用const定義常量,那么相當(dāng)于把火藥僅用于制作鞭炮听绳。const更大的魅力是它可以修飾函數(shù)的參數(shù)颂碘、返回值,甚至函數(shù)的定義體椅挣。
const 是constant的縮寫头岔,“恒定不變”的意思。被const修飾的東西都受到強(qiáng)制保護(hù)鼠证,可以預(yù)防意外的變動峡竣,能提高程序的健壯性。所以很多C++程序設(shè)計(jì)書籍建議:“Useconst whenever you need”量九。
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)生臨時(shí)變量用于復(fù)制該參數(shù),該輸入?yún)?shù)本來就無需保護(hù)河狐,所以不要加const修飾米绕。
例如不要將函數(shù)voidFunc1(int x) 寫成voidFunc1(const int x)。同理不要將函數(shù)voidFunc2(A a) 寫成voidFunc2(const A a)馋艺。其中A為用戶自定義的數(shù)據(jù)類型栅干。
對于非內(nèi)部數(shù)據(jù)類型的參數(shù)而言,象voidFunc(A a) 這樣聲明的函數(shù)注定效率比較底捐祠。因?yàn)楹瘮?shù)體內(nèi)將產(chǎn)生A類型的臨時(shí)對象用于復(fù)制參數(shù)a碱鳞,而臨時(shí)對象的構(gòu)造、復(fù)制踱蛀、析構(gòu)過程都將消耗時(shí)間窿给。
為了提高效率,可以將函數(shù)聲明改為voidFunc(A &a)率拒,因?yàn)椤耙脗鬟f”僅借用一下參數(shù)的別名而已崩泡,不需要產(chǎn)生臨時(shí)對象。但是函數(shù)voidFunc(A &a) 存在一個(gè)缺點(diǎn):
“引用傳遞”有可能改變參數(shù)a猬膨,這是我們不期望的角撞。解決這個(gè)問題很容易,加const修飾即可勃痴,因此函數(shù)最終成為voidFunc(const A &a)谒所。
以此類推,是否應(yīng)將voidFunc(int x) 改寫為voidFunc(const int&x)召耘,以便提高效率百炬?完全沒有必要,因?yàn)閮?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引用傳遞”缴守,目的是提高效率。例如將voidFunc(A a) 改為voidFunc(const A &a)镇辉。
對于內(nèi)部數(shù)據(jù)類型的輸入?yún)?shù)屡穗,不要將“值傳遞”的方式改為“const引用傳遞”。否則既達(dá)不到提高效率的目的忽肛,又降低了函數(shù)的可理解性村砂。例如voidFunc(int x) 不應(yīng)該改為voidFunc(const int &x)。
2 用const修飾函數(shù)的返回值
如果給以“指針傳遞”方式的函數(shù)返回值加const修飾屹逛,那么函數(shù)返回值(即指針)的內(nèi)容不能被修改础废,該返回值只能被賦給加const修飾的同類型指針。例如函數(shù)
constchar * GetString(void);
如下語句將出現(xiàn)編譯錯誤:
char*str = GetString();
正確的用法是
constchar *str =GetString();
如果函數(shù)返回值采用“值傳遞方式”罕模,由于函數(shù)會把返回值復(fù)制到外部臨時(shí)的存儲單元中评腺,加const修飾沒有任何價(jià)值。
例如不要把函數(shù)intGetInt(void) 寫成constint GetInt(void)淑掌。
同理不要把函數(shù)AGetA(void) 寫成constA GetA(void)蒿讥,其中A為用戶自定義的數(shù)據(jù)類型。
如果返回值不是內(nèi)部數(shù)據(jù)類型锋拖,將函數(shù)AGetA(void) 改寫為constA &GetA(void)的確能提高效率诈悍。但此時(shí)千萬千萬要小心,一定要搞清楚函數(shù)究竟是想返回一個(gè)對象的“拷貝”還是僅返回“別名”就可以了兽埃,否則程序會出錯。
函數(shù)返回值采用“引用傳遞”的場合并不多适袜,這種方式一般只出現(xiàn)在類的賦值函數(shù)中柄错,目的是為了實(shí)現(xiàn)鏈?zhǔn)奖磉_(dá)。
例如:
classA
{
A & operate = (const A &other); // 賦值函數(shù)
};
Aa, 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í)恒削,不慎修改了數(shù)據(jù)成員池颈,或者調(diào)用了其它非const成員函數(shù),編譯器將指出錯誤钓丰,這無疑會提高程序的健壯性躯砰。以下程序中,類stack的成員函數(shù)GetCount僅用于計(jì)數(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:
intm_num;
int m_data[100];
};
int Stack::GetCount(void)const
{
++ m_num; // 編譯錯誤梦鉴,企圖修改數(shù)據(jù)成員m_num
Pop();// 編譯錯誤李茫,企圖調(diào)用非const函數(shù)
returnm_num;
}
const 成員函數(shù)的聲明看起來怪怪的:const關(guān)鍵字只能放在函數(shù)聲明的尾部,大概是因?yàn)槠渌胤蕉家呀?jīng)被占用了肥橙。
關(guān)于Const函數(shù)的幾點(diǎn)規(guī)則:
a.const對象只能訪問const成員函數(shù),而非const對象可以訪問任意的成員函數(shù),包括const成員函數(shù).
b.const對象的成員是不可修改的,然而const對象通過指針維護(hù)的對象卻是可以修改的.
c.const成員函數(shù)不可以修改對象的數(shù)據(jù),不管對象是否具有const性質(zhì).它在編譯時(shí),以是否修改成員數(shù)據(jù)為依據(jù),進(jìn)行檢查.
e.然而加上mutable修飾符的數(shù)據(jù)成員,對于任何情況下通過任何手段都可修改,自然此時(shí)的const成員函數(shù)是可以修改它的
補(bǔ)充:
標(biāo)題:const放在后面有什么意思涌矢?
一個(gè)函數(shù)
AcGePoint3dstartPoint() const;
const放在后面跟前面有區(qū)別么
==>
準(zhǔn)確的說const是修飾this指向的對象的
譬如,我們定義了
classA{
public:
f(int);
};
這里f函數(shù)其實(shí)有兩個(gè)參數(shù)快骗,第一個(gè)是Aconst this, 另一個(gè)才是int類型的參數(shù)
如果我們不想f函數(shù)改變參數(shù)的值娜庇,可以把函數(shù)原型改為f(constint),但如果我們不允許f改變this指向的對象呢?因?yàn)閠his是隱含參數(shù)方篮,const沒法直接修飾它名秀,就加在函數(shù)的后面了,表示this的類型是constA constthis藕溅。
const修飾this是本質(zhì)匕得,至于說“表示該成員函數(shù)不會修改類的數(shù)據(jù)。否則會編譯報(bào)錯”之類的說法只是一個(gè)現(xiàn)象巾表,根源就是因?yàn)?/em>this是const類型的