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

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,然后调用函数呢？
不是。。

//定义一个简单类student
class 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,初始化失败。
综述：常量对象，常量对象的指针或者引用都只能调用常量成员函数。

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!