C++类的常成员函数

让一个成员函数带上常量性是什么意思呢？通常的答案是，一个常成员函数不会更改其class对象。这是一种平凡的表述，而编译器实现的手法也相当平凡。

任何非静态成员函数其实都被编译器隐式插入了一个指针类型的参数，以在调用时有一种指向class对象自身的途径。在函数内部，关键字this被用于给出该指针的值：

对于T类型的非常成员函数而言，其this指针的类型是T* const;亦即，它是一个指向非常量T对象的常量指针。该指针自身是不能被修改的（因此，它可以保证总是指向同一个T对象），但（通过它）可以修改它指向的T对象的（数据）成员。

而对于T类型的常成员函数而言，其this指针的类型是cosnt T* const；亦即，它是一个指向常量T对象的常量指针。该指针自身和其指向的class对象都是不可修改的。