const 成员函数

在解释跟在形参表后面的 const 之前，必须先说明成员函数是如何定义的：

类的成员函数既可以在类的定义内也可以在类的定义外定义。

编译器隐式地将在类内定义的成员函数当作内联函数

调用成员函数时，实际上是使用对象来调用的。

每个成员函数（除了static 成员函数外，static 成员是类的组成部分但不是任何对象的组成部分，因此，static 成员函数没有 this 指针。通过使用非 static 成员显式或隐式地引用 this 是一个编译时错误。）都有一个额外的、隐含的形参 this。在调用成员函数时，形参 this 初始化为调用函数的对象的地址。

const 成员函数的引入

class Sales_item {
public:
// operations on Sales_item objects
double avg_price() const;
bool same_isbn(const Sales_item &rhs) const
{ return isbn == rhs.isbn; }
// private members as before
private:
std::string isbn;
unsigned units_sold;
double revenue;
};

为了理解成员函数的调用，可考虑下面的语句：
total.same_isbn(trans);
就如编译器这样重写这个函数调用：
// pseudo-code illustration of how a call to a member function is translated
Sales_item::same_isbn(&total, trans);
在这个调用中，函数 same_isbn 中的数据成员 isbn 属于对象 total。

跟在 Sales_item 成员函数声明的形参表后面的 const 所起的作用：const 改变了隐含的 this 形参的类型

在调用
total.same_isbn(trans) 时，隐含的 this 形参将是一个指向 total 对象的const Sales_Item* 类型的指针。

bool Sales_item::same_isbn(const Sales_item *const this,
const Sales_item &rhs) const
{ return (this->isbn == rhs.isbn); }

用这种方式使用 const 的函数称为常量成员函数。由于 this 是指向 const 对
象的指针，const 成员函数不能修改调用该函数的对象。

因此，函数 avg_price和函数 same_isbn 只能读取而不能修改调用它们的对象的数据成员。

const 对象、指向 const 对象的指针或引用只能用于调用其const 成员函数，如果尝试用它们来调用非 const 成员函数，则是错误的。