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{

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!

對於代碼

複製代碼 代碼如下: 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->()的過程，最後再使用一次內建含義的箭頭操作符。