在解释跟在形参表后面的 const 之前,必须先说明成员函数是如何定义的:
类的成员函数既可以在类的定义内也可以在类的定义外定义。
编译器隐式地将在类内定义的成员函数当作内联函数
调用成员函数时,实际上是使用对象来调用的。
每个成员函数(除了 static 成员函数外)都有一个额外的、隐含的形参 this。在调用成员函数时,形参 this 初始化为调用函数的对象的地址。
const 成员函数的引入
- 1 class Sales_item {
- 2 public:
- 3 // operations on Sales_item objects
- 4 double avg_price() const;
- 5 bool same_isbn(const Sales_item &rhs) const
- 6 { return isbn == rhs.isbn; }
- 7 // private members as before
- 8 private:
- 9 std::string isbn;
- 10 unsigned units_sold;
- 11 double revenue;
- 12 };
为了理解成员函数的调用,可考虑下面的语句:
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 成员函数,则是错误的。
来源: