1.常量形參
當形參有頂層const或者底層const的時候,傳給它常量對象或者非常量對象都是可以的,在這里我們主要考慮形參無const, 而實參有const的情況,其實這里也十分簡單,只需要記住一點:底層const的限制,就可以了。
2.常量返回值
這里也很簡單,略過不提。
3.常量成員函數
常量函數里的const是用來修飾*this的,其形式如下:
int f() const{```}
然后這里就有意思了
*this的默認類型是type *const this,this指針有一個頂層const,但并沒有底層const,由于低層const的限制,有底層const的實參不能拷貝給默認版的*this,也就是說常量對象的引用或指針都不能調用默認版的*this成員函數。
還沒完。。。
剛剛我們已經明確了有底層const的實參是無法初始化默認版*this,但是擁有頂層const的對象是不是就能初始化默認版的*this, 然后調用函數呢?
不是。。
//定義一個簡單類studentclass student{public: string name; int number;public : student() :name("lili"), number(0){ }//構造函數 string Name(){return name;}//非常量成員函數 int Number() const{return number;}//常量成員函數};//現在定義一個常量student對象const student s1;s1.Name();//報錯s1.Number();//正確
事實上,當我們調用s1.Name()的時候發生了以下初始化過程:
student *const this=&s1;
此時相當于如下過程:
const student *s1;student *const this=s1;
很顯然s1有一個底層const, 而this沒有,初始化失敗。
同理,如果一個實參是 int *const p,那么在初始化this的時候,會轉化成const int *const p, 有一個底層const, 初始化失敗。
綜述:常量對象,常量對象的指針或者引用都只能調用常量成員函數。
新聞熱點
疑難解答
圖片精選