const用来定义不可变数据成员
一个函数如果被定义为const,其实const修饰的是该函数里的this指针,不允许修改this指针所指向的值,而this指针本来就是不允许修改的(不会有人this = ** 这样吧)。
而mutable用来定义可变数据成员
const成员函数可以改变mutable成员,这样的好处是保护那些想保护的涉及类状态的数据成员,而使一些与类状态关系不大的数据成员可以被改变,比如统计访问次数的成员。
const的修饰关系也比较纠结,const是修饰其后的第一个关键字,,那么有如下几种情况:
int b = 1;
const int* p = &b; //[1]
int const *p = &b; //[2]
int* const p = &b; //[3]
const int* const p = &b; //[4]
对于[1]情况和[2]情况其实是一样的,const是用来修饰int*的,是指p这个指针所指向的变量是const的,不可以被改变,诸如*p = 2;这样的赋值是不允许的。可以理解为,*代表p是一个指针,而不管是const int 还是int const,都表示的是p这个指针指向的数据类型,所以p是一个指向常整数的指针。
而对于[3],const是用来修饰p的,是指p不可以被修改,诸如p++这样的是不允许的。因为const已经在*之后,就表示const是修饰p的,说明p是const的,然后*表示p是指针,int表示p指向的数据类型。
[4]就简单了,无论是p还是p所指向的变量都是不可以被修改的.
所以上面所说的const如果修饰函数,由于本身this指针已经是T* const this,即this不可被修改,而const再修饰函数,则this指针变为const T* const this,即this指针所指向的内容也不可以被修改.