區別
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->()的過程,最後再使用一次內置含義的箭頭操作符。