标签:c++ this指针 返回this指针 基于const的重载 mutable
引言:
在前面提到过,成员函数具有一个附加的隐含形参,即指向该类对象的一个指针。这个隐含形参命名为this,与调用成员函数的对象绑定在一起。成员函数不能定义this形参,而是有编译器隐含地定义。成员函数可以显式的使用this指针,但不是必须这么做。
1、何时使用this指针
有一种情况下,我们必须显式使用this指针:当需要将一个对象作为整体引用而不是引用对象的一个成员时。
比如在类Screen中定义两个操作:set和move,可以使得用户将这些操作的序列连接成一个单独的表达式:
myScreen.move(4,0).set(‘#‘); //其等价于 myScreen.move(4.0); myScreen.set(‘#‘);
2、返回*this
在单个表达式中调用move和 set操作时,每个操作必须返回一个引用,该引用指向执行操作的那个对象:
class Screen { public: Screen &move(index r,index c); Screen &set(char); Screen &set(index,index,char); };
这样,每个函数都会返回调用自己的那个对象。使用this指针可以用来访问该对象:
Screen &Screen::set(char c) { contents[cursor] = c; return *this; } Screen &Screen::move(index r,index c) { index row = r * width; cursor = row + c; return *this; }
3、从const成员返回*this
在普通的非const成员函数中,this的类型是一个指向类类型的const指针。可以改变this所指向的值,但不能改变this所保存的地址。在const成员函数中,this的类型是一个指向const类类型对象的const指针。既不能改变this所指向的对象,也不能改变this所保存的地址。
不能从const成员函数返回指向类对象的普通引用。const成 员函数只能返回*this作为一个 const引用。
我们可以给Screen类增加一个const成员函数:display操作。如果将display作为 Screen的 const成员,则 display内部的 this指针将是一个constScreen* 型的const。然而:
myScreen.move(4,0).set(‘#‘).display(cout); //OK myScreen.display().set(‘*‘); //Error
问题在于这个表达式是在由display返回的对象上运行set。该对象是const,因为display将其对象作为const返回。我们不能在const对象上调用set。
4、基于const的重载
为了解决以上问题,我们必须定义两个display操作:一个是const,一个不是const。基于成员函数是否为const,可以重载一个成员函数;同样的,基于一个指针形参是否指向const,也可以重载一个函数。非const对象可以使用任一成员,但非const版本是一个更好的匹配。
class Screen { public: //As before Screen &display(std::ostream &os) { do_display(os); return *this; } const Screen &display(std::ostream &os) const { do_display(os); return *this; } private: void do_display(std::ostream &os) const { os << contents; } //As before };
调用:
Screen myScreen(5,3); const Screen blank(5,3); myScreen.set(‘#‘).display(cout); //调用非const版本 blank.display(cout); //调用const版本
5、可变数据成员
有时,我们希望类的数据成员(甚至是在const成员函数中)可以修改。这可以通过将它们声明为mutable来实现。
可变数据成员永远都不能为const,甚至当它们是const对象的成员时也如此。因此,const成员函数可以改变mutable成员。
class Screen { public: //... private: mutable size_t access_ctr; //使用access_ctr来跟踪Screen成员函数的调用频度 void do_display(std::ostream &os) const { ++ access_ctr; //OK os << contents; } };
【建议:用于公共代码的私有实用函数】
使用私有实用函数(如前面的do_display)的好处:
1)一般愿望是避免在多个地方编写同样的代码。
2)display操作预期会随着类的演变而变得复杂。当涉及到的动作变得更复杂时,只在一处而不是两处编写这些动作有更显著的意义。
3)很可能我们会希望在开发时给do_display增加调试信息,这些调试信息将会在代码的最终成品版本中去掉。如果只需要改变一个do_display的定义来增加或删除调试代码,这样做将更容易。 4)这个额外的函数调用不需要涉及任何开销。我们使do_display成为内联的,所以调用do_display与将代码直接放入display操作的运行时性能应该是相同的。
P379习题12.13
//1. in screen.h #ifndef SCREEN_H_INCLUDED #define SCREEN_H_INCLUDED #include <string> class Screen { public: typedef std::string::size_type index; Screen &move(index r,index c); Screen &set(char); Screen &set(index,index,char); char get() const { return contents[cursor]; } char get(index ht,index wd) const; index get_cursor() const; Screen &display(std::ostream &os) { do_display(os); return *this; } const Screen &display(std::ostream &os) const { do_display(os); return *this; } Screen():cursor(0),height(0),width(0){} Screen(index,index,const std::string &tmp); private: void do_display(std::ostream &os) const { os << contents; } std::string contents; index cursor; index height,width; }; inline char Screen::get(index ht,index wd) const { index row = width * ht; return contents[row + wd]; } inline Screen::index Screen::get_cursor() const { return cursor; } #endif // SCREEN_H_INCLUDED
//2. in screen.cpp #include "screen.h" Screen::Screen(index ht,index wd,const std::string &cntnts):height(ht),width(wd),cursor(0),contents(cntnts){} Screen &Screen::set(char c) { contents[cursor] = c; return *this; } Screen &Screen::set(index ht,index wd,char c) { index row = ht * width; contents[row + wd] = c; return *this; } Screen &Screen::move(index r,index c) { index row = r * width; cursor = row + c; return *this; }
//3. in main.cpp #include <iostream> #include "screen.h" using namespace std; int main() { Screen myScreen(5,6,"aaaaa\naaaaa\naaaaa\naaaaa\naaaaa\naaaaa\n"); myScreen.move(4,0).set(‘#‘).display(cout); }
C++ Primer 学习笔记_49_类与数据抽象 --隐含的this指针
标签:c++ this指针 返回this指针 基于const的重载 mutable
原文地址:http://blog.csdn.net/zjf280441589/article/details/24704603