类的成员函数声明中常常见到const的身影,其作用是什么?有什么含义?这个const是用来修饰this指针的,你也可以理解为修饰成员函数的,是一个常量成员函数。
一、默认情况,this 指针绑定的对象是不变的
对象如果不可以修改,this
指针就会失效。如下面的A类:
class A
{
public:
void fun(){this->a=333;}//this指针可以省略,隐藏
private:
int a=44;
//const A * this;方便理解
};
int main()
{
A a;
const A aa;
a.fun();
aa.fun();//error,this指针不能操作const对象,因为其默认属性为top-level const
}
this
指针巧妙之处在于,类中的所有方法都不需要显式书写A * const this
,在方法内部也不需要写this->xxx
,隐藏了许多不必要书写。this
指针要求对象是可以改变的,这是否意味着我们只能对一个非常量调用其定义的方法?是否可以修改this
的属性?当然可以!
二、修改默认属性,让不变的对象也可以调用成员方法
在成员函数()
后增加const用于改变this的默认属性,这个const出现意味着,这个this的属性既是top-level 又是low-level的,const * const this
。但是这个this指针变成了只读指针,你不能对对象进行任何写操作。
class A
{
public:
void fun() cout<<this->a<<endl; }//this指针可以省略,隐藏
private:
int a = 44;
};
int main()
{
A a;
a.fun();
const A ca;
ca.fun();//not allow
}
如果类中的方法不会更改任何数据成员,那么你最好将这个成员函数声明为const,让一个常量对象也能使用这个成员函数,增加程序灵活性。还是刚刚那个程序,略微修改就可以让ca也条用fun了:
class A
{
public:
void fun()const { this->a = 333; }//this指针可以省略,隐藏
private:
int a = 44;
};
int main()
{
A a;
a.fun();
const A ca;
ca.fun();//not allow
}
mutable 数据成员
对于一个内置类型而言,low-level的属性是显而易见的。如:const int a =3;
int型变量是不可以更改的;那么对于一个对象而言的const属性是什么含义?默认情况下,对象的low-level const属性表示所有数据成员都不发生改变,如果你希望一些属性就算改变也是low-level的,那么你可能需要用到:mutable,凡是用mutable修饰的数据成员,不会修改其const属性。
class A
{
public:
void fun() const { this->a = 222; }//重新定义了const约束,让a的修改也是const的
private:
mutable int a = 44;
};
int main()
{
A a;
a.fun();
const A ca;
ca.fun();
}