箭頭的過載

2021-06-18 11:48:06 字數 2062 閱讀 1587

今天看《c++ primer》的成員訪問操作符。看過載箭頭操作符部分,剛開始有點迷茫,看了兩遍總算有點理解,把心得寫在這,與各位分享,如果有錯誤歡迎指正。

箭頭操作符(->)的通常用法是,使用乙個類物件的指標來呼叫該指標所指物件的成員。左運算元為物件指標,右運算元為該物件的成員。定義過載箭頭操作符之後看起來就有點特別,可以用類物件的指標來呼叫,也可以用類物件直接呼叫。

過載箭頭操作符,首先過載箭頭操作符必須定義為類成員函式。

箭頭操作符可能看起來是二元操作符:接受乙個物件和乙個成員名,對物件解引用以獲取成員。其實箭頭操作符是一元操作符,沒有顯示形參(而且是類成員,唯一隱式形參是this)。->的右運算元不是表示式,而是對應類成員的乙個識別符號,由編譯器處理獲取成員工作(編譯器對過載箭頭操作符所做的事情,比其它過載操作符要多,這裡也正是複雜的地方)。

下面這一段是《c++ primer》過載箭頭操作符的內容。

----------------------------------------華麗分割線----------------------------------------

過載箭頭操作符

箭頭操作符與眾不同。它可能表現得像二元操作符一樣:接受乙個物件和乙個成員名。對物件解引用以獲取成員。不管外表如何,箭頭操作符不接受顯式形參。

這裡沒有第二個形參,因為 -> 的右運算元不是表示式,相反,是對應著類成員的乙個識別符號。沒有明顯可行的途徑將乙個識別符號作為形參傳遞給函式,相反,由編譯器處理獲取成員的工作。

當這樣編寫時:

point->action();

由於優先順序規則,它實際等價於編寫:

(point->action)();

換句話說,我們想要呼叫的是對 point->action 求值的結果。編譯器這樣對該**進行求值:

1.如果 point 是乙個指標,指向具有名為 action 的成員的類物件,則編譯器將**編譯為呼叫該物件的 action 成員。

2.否則,如果 point(注:中文版誤寫為action) 是定義了 operator-> 操作符的類的乙個物件,則 point->action 與 point.operator->()->action 相同。即,執行 point 的 operator->(),然後使用該結果重複這三步。

3.否則,**出錯。

對過載箭頭的返回值的約束

過載箭頭操作符必須返回指向類型別的指標,或者返回定義了自己的箭頭操作符的類型別物件。

如果返回型別是指標,則內建箭頭操作符可用於該指標,編譯器對該指標解引用並從結果物件獲取指定成員。如果被指向的型別沒有定義那個成員,則編譯器產生乙個錯誤。

如果返回型別是類型別的其他物件(或是這種物件的引用),則將遞迴應用該操作符。編譯器檢查返回物件所屬型別是否具有成員箭頭,如果有,就應用那個操作符;否則,編譯器產生乙個錯誤。這個過程繼續下去,直到返回乙個指向帶有指定成員的的物件的指標,或者返回某些其他值,在後一種情況下,**出錯。

----------------------------------------華麗分割線----------------------------------------

如果上面分割線之間的內容看懂了,下面的也就不用看了哈。

根據理解,定義了3個類,c包含b,b包含a。a、b、c都定義了乙個action的成員函式。b和c都過載箭頭操作符,不同的是b的過載箭頭操作符返回的是a類物件的指標,而c的過載箭頭操作符返回的是b類物件。

** #include

using namespace std;   

class a   

};   

class b   

void action()   

};   

class c   

void action()   

};   

int main(int argc, char *argv)   

#include

using namespace std;

class a

};class b

void action()

};class c

void action()

};int main(int argc, char *argv)

C 過載箭頭操作符的理解

gdc注 今天在看 c primer 第14.6小結 成員訪問操作符 時,對於過載箭頭操作符不是很理解,主要是對於過載該操作符後的返回值應該是乙個指標還是乙個物件。然後在網上找到了該篇文章。該篇文章首先對書中的相關知識做了乙個小結,然後設計了乙個例子。通過看這個例子,我終於明白了返回指標和返回物件之...

C 過載箭頭操作符的理解

箭頭操作符 的通常用法是,使用乙個類物件的指標來呼叫該指標所指物件的成員。左運算元為物件指標,右運算元為該物件的成員。定義過載箭頭操作符之後看起來就有點特別,可以用類物件的指標來呼叫,也可以用類物件直接呼叫。過載箭頭操作符,首先過載箭頭操作符必須定義為類成員函式。箭頭操作符可能看起來是二元操作符 接...

C 過載箭頭操作符的理解

出處 今天看 c primer 的成員訪問操作符。看過載箭頭操作符部分,剛開始有點迷茫,看了兩遍總算有點理解,把心得寫在這,與各位分享,如果有錯誤歡迎指正。箭頭操作符 的通常用法是,使用乙個類物件的指標來呼叫該指標所指物件的成員。左運算元為物件指標,右運算元為該物件的成員。定義過載箭頭操作符之後看起...