C++中点操作符和箭头操作符
区别
C++中对于类来说,对于其中的成员,用点操作符.来获得,
而对于一个指向类对象的指针来说,则用箭头操作符->调用该指针所指向对象的成员。
当类定义->重载操作符后,则既可以用箭头操作符,也可以用点操作符。
重载->操作符
重载箭头操作符必须定义为类成员函数。没有显式形参(而且是类成员,唯一隐式形参是this)。->的右操作数不是表达式,而是对应类成员的一个标识符,由编译器处理获取成员工作。
重载箭头操作符必须返回指向类类型的指针,或者返回定义了自己的箭头操作符的类类型对象。
如果返回类型是指针,则内置箭头操作符可用于该指针,编译器对该指针解引用并从结果对象获取指定成员。如果被指向的类型没有定义那个成员,则编译器产生一个错误。
如果返回类型是类类型的其他对象(或是这种对象的引用),则将递归应用该操作符。编译器检查返回对象所属类型是否具有成员箭头,如果有,就应用那个操作符;否则,编译器产生一个错误。这个过程继续下去,直到返回一个指向带有指定成员的的对象的指针,或者返回某些其他值,在后一种情况下,代码出错。
代码分析
下面给出代码,加深理解。
1 #include <iostream> 2 3 using namespace std; 4 5 class A{ 6 public: 7 void action() 8 { 9 cout<<"action in class A!"<<endl; 10 } 11 }; 12 13 class B{ 14 //A a; 15 public: 16 A a; 17 A* operator->(){ 18 return &a; 19 } 20 void action(){ 21 cout << "Action in class B!" << endl; 22 } 23 }; 24 25 class C{ 26 B b; 27 public: 28 B operator->(){ 29 return b; 30 } 31 void action(){ 32 cout << "Action in class C!" << endl; 33 } 34 }; 35 36 int main() 37 { 38 C* pc = new C; 39 pc->action(); 40 C c; 41 c->action(); 42 return 0; 43 }
上面代码输出结果是:
Action in class C!
Action in class A!
对于代码
C* pc = new C;
pc->action();
输出的结果是:Action in class C!
这是因为pc是类对象指针,此时的箭头操作符使用的是内置含义,对pc解引用然后调用对象的成员函数action。
对于代码:
C c;
c->action();
可以这样理解:
c是对象,c后面的箭头操作符使用的是重载箭头操作符,即调用类C的operator->()成员函数。此时返回的是类B的对象,所以调用类B的operator->()成员函数,B的operator->()返回的是指针,所以现在可以使用内置箭头操作符了。对B的operator->()返回的指针进行解引用,然后调用解引用后的对象的成员函数action,此时调用的就是类A的action()。这里存在一个递归调用operator->()的过程,最后再使用一次内置含义的箭头操作符。