C++类继承时的作用域嵌套,破解C++继承的一切秘密
類其實也是一種作用域,每個類都會定義它自己的作用域,在這個作用域內我們再定義類的成員,這一點已在《類其實也是一種作用域》中講到。當存在繼承關系時,派生類的作用域嵌套在基類的作用域之內,如果一個名字在派生類的作用域內無法找到,編譯器會繼續到外層的基類作用域中查找該名字的定義。
換句話說,作用域能夠彼此包含,被包含(或者說被嵌套)的作用域稱為內層作用域(inner scope),包含著別的作用域的作用域稱為外層作用域(outer scope)。一旦在外層作用域中聲明(或者定義)了某個名字,那么它所嵌套著的所有內層作用域中都能訪問這個名字。同時,允許在內層作用域中重新定義外層作用域中已有的名字。
假設 Base 是基類,Derived 是派生類,那么它們的作用域的嵌套關系如下圖所示
派生類的作用域位于基類作用域之內這一事實可能有點出人意料,畢竟在我們的代碼中派生類和基類的定義是相互分離的。不過也恰恰因為類作用域有這種繼承嵌套的關系,所以派生類才能像使用自己的成員一樣來使用基類的成員。
運行結果:
c.biancheng.net
20
本例中,B 繼承自 A,C繼承自 B,它們作用域的嵌套關系如下圖所示:
obj 是 C 類的對象,通過 obj 訪問成員變量 n 時,在 C 類的作用域中就能夠找到了 n 這個名字。雖然 A 類和 B 類都有名字 n,但編譯器不會到它們的作用域中查找,所以是不可見的,也即派生類中的 n 遮蔽了基類中的 n。
通過 obj 訪問成員函數 func() 時,在 C 類的作用域中沒有找到 func 這個名字,編譯器繼續到 B 類的作用域(外層作用域)中查找,仍然沒有找到,再繼續到 A 類的作用域中查找,結果就發現了 func 這個名字,于是查找結束,編譯器決定調用 A 類作用域中的 func() 函數。
這個過程叫做名字查找(name lookup),也就是在作用域鏈中尋找與所用名字最匹配的聲明(或定義)的過程。
總結
以上是生活随笔為你收集整理的C++类继承时的作用域嵌套,破解C++继承的一切秘密的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: C++继承时的名字遮蔽(二)
- 下一篇: C++继承时的对象内存位置(一)