C++常量详解二(常量形参,常量返回值,常量成员函数)

时间:2021-05-20

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, 初始化失败。
综述:常量对象,常量对象的指针或者引用都只能调用常量成员函数。

声明:本页内容来源网络,仅供用户参考;我单位不保证亦不表示资料全面及准确无误,也不保证亦不表示这些资料为最新信息,如因任何原因,本网内容或者用户因倚赖本网内容造成任何损失或损害,我单位将不会负任何法律责任。如涉及版权问题,请提交至online#300.cn邮箱联系删除。

相关文章