C++中点操作符和箭头操作符

区别

C++中对于类来说，对于其中的成员，用点操作符.来获得，

而对于一个指向类对象的指针来说，则用箭头操作符->调用该指针所指向对象的成员。

当类定义->重载操作符后，则既可以用箭头操作符，也可以用点操作符。

重载->操作符

重载箭头操作符必须定义为类成员函数。没有显式形参(而且是类成员，唯一隐式形参是this)。->的右操作数不是表达式，而是对应类成员的一个标识符，由编译器处理获取成员工作。

重载箭头操作符必须返回指向类类型的指针，或者返回定义了自己的箭头操作符的类类型对象。

如果返回类型是指针，则内置箭头操作符可用于该指针，编译器对该指针解引用并从结果对象获取指定成员。如果被指向的类型没有定义那个成员，则编译器产生一个错误。
如果返回类型是类类型的其他对象（或是这种对象的引用），则将递归应用该操作符。编译器检查返回对象所属类型是否具有成员箭头，如果有，就应用那个操作符；否则，编译器产生一个错误。这个过程继续下去，直到返回一个指向带有指定成员的的对象的指针，或者返回某些其他值，在后一种情况下，代码出错。

代码分析

下面给出代码，加深理解。

#include <iostream>

using namespace std;

class A{
public:
void action()
{
cout<<"action in class A!"<<endl;
}
};

class B{
//A a;
public:
A a;
A* operator->(){
return &a;
}
void action(){
cout << "Action in class B!" << endl;
}
};

class C{
B b;
public:
B operator->(){
return b;
}
void action(){
cout << "Action in class C!" << endl;
}
};

int main()
{
C* pc = new C;
pc->action();
C c;
c->action();
return 0;
}

上面代码输出结果是：
Action in class C!
Action in class A!

对于代码


输出的结果是：Action in class C!
这是因为pc是类对象指针，此时的箭头操作符使用的是内置含义，对pc解引用然后调用对象的成员函数action。

对于代码：


可以这样理解：

c是对象，c后面的箭头操作符使用的是重载箭头操作符，即调用类C的operator->()成员函数。此时返回的是类B的对象，所以调用类B的operator->()成员函数，B的operator->()返回的是指针，所以现在可以使用内置箭头操作符了。对B的operator->()返回的指针进行解引用，然后调用解引用后的对象的成员函数action，此时调用的就是类A的action()。这里存在一个递归调用operator->()的过程，最后再使用一次内置含义的箭头操作符。