? ? ? ? 在類成員函數(shù)中喂分,有部分函數(shù)會在函數(shù)形參后面加入const作為該函數(shù)的約束肴掷,將該函數(shù)約束為常量函數(shù)歌殃,假設(shè)所屬類名為date乔妈,函數(shù)為getday,無輸入實參氓皱,其函數(shù)形式為:
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?int ?date::getday() const ? {}
? ? ? ? 函數(shù)后面的const主要控制該類為常量,換句話說,就是在這個函數(shù)中波材,不會修改類的任意成員股淡。為了更加了解這個約束,我們先了解下this指針廷区。
(一)*this指針
? ? ? ? this指針是對象在類成員函數(shù)中的引用唯灵,它隱式地指向調(diào)用該函數(shù)的對象的地址,當我們通過某個對象調(diào)用類的成員函數(shù)時隙轻,則this被請求該函數(shù)的對象地址所初始化埠帕。
? ? ? ? 舉個例子,假設(shè)類date中有成員變量day玖绿,在主函數(shù)中敛瓷,創(chuàng)建一個date類對象D,調(diào)用函數(shù)getday斑匪,該函數(shù)的編寫為:
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? int date::getday() const { return this->day;}
? ? ? ? 當調(diào)用函數(shù)getdate時呐籽,this便被賦為對象D的地址,并且返回該對象的成員day蚀瘸。因此this在成員函數(shù)中的作用就是替換對象狡蝶,便于函數(shù)中的使用。
? ? ? ? ?因此const對函數(shù)的約束贮勃,其實是對調(diào)用該函數(shù)的對象的約束贪惹,即不能在函數(shù)中無法改變該對象的任何成員。
(二)如果函數(shù)中我不改變成員寂嘉,那么加const是否就可有可無奏瞬?
? ? ? 對于這個問題,答案是最好加上垫释。
? ? ? 先來對比兩個初始化語句:
? ? ? ? ? ? ? ?int A;
? ? ? ? ? ? ? const int B;
? ? ? ? ? ? ? int *C=&B; ? ?//出錯丝格,指向常量的指針無法初始化指向非常量指針
? ? ? ? ? ? ? const int *D=&A; ? ? //對,指向非常量的指針可以初始化指向常量的指針
? ? ? ? 引用初始化與指針初始化時棵譬,只允許用指向非常量的指針去初始化指向常量的指針显蝌,無法用指向常量的指針去初始化指向非常量指針,因為對于前者订咸,當修改非常量的值時候曼尊,常量指針的值也跟著改變,這跟常量的概念剛好背道而馳脏嚷。這個解釋對于后者是否矛盾骆撇?當用指向普通變量的指針去初始化指向常量的指針時,當修改該普通變量的值時父叙,也能修改到指向常量的指針的值神郊,該初始化只是說明我們無法通過該常量指針來修改原來的普通變量肴裙,但是該變量能通過其他途徑來修改。
? ? ? ? 這個說明有點繞涌乳,現(xiàn)在換成上面的常量成員函數(shù)蜻懦,我們知道this是對象的地址,在調(diào)用該函數(shù)時夕晓,已經(jīng)隱式用對象的地址初始化this指針宛乃,按照上面邏輯,若將this定義為指向常量的指針蒸辆,那么它可以由指向常量的指針來初始化征炼,也可以由指向普通變量的指針來初始化,因此對于常量成員函數(shù)而言躬贡,可以被常量對象和非常量對象所調(diào)用谆奥。但是對于非常量對象而言,由于指向常量的this指針無法被指向普通變量的指針所初始化逗宜,因此主函數(shù)中定義了該類的常量對象雄右,當調(diào)用沒用const約束的函數(shù)時,系統(tǒng)將會報錯纺讲。
(三)結(jié)論
1擂仍、若某個類成員函數(shù)中不會修改到類的任何值,那么一般都要將其設(shè)置為const函數(shù)熬甚。
2逢渔、常量成員函數(shù)能被普通對象和常量對象調(diào)用。
3乡括、若定義某個類的常量對象肃廓,那么該對象只能調(diào)用該類中的常量成員函數(shù)。
若有matlab編程或者算法研究等技術(shù)需求诲泌,可加QQ(3141104423)或者加QQ群(479888200)交流平臺