為了支援c++的多型性,才用了動態繫結和靜態繫結。理解他們的區別有助於更好的理解多型性,以及在程式設計的過程中避免犯錯誤。
需要理解四個名詞:
1、物件的靜態型別:物件在宣告時採用的型別。是在編譯期確定的。
2、物件的動態型別:目前所指物件的型別。是在執行期決定的。物件的動態型別可以更改,但是靜態型別無法更改。
關於物件的靜態型別和動態型別,看乙個示例:
1classb2
4class c : publicb5
7class d : publicb8
10 d* pd = new d();//
pd的靜態型別是它宣告的型別d*,動態型別也是d*
11 b* pb = pd;//
pb的靜態型別是它宣告的型別b*,動態型別是pb所指向的物件pd的型別d*
12 c* pc = new
c();
13 pb = pc;//
pb的動態型別是可以更改的,現在它的動態型別是c*
3、靜態繫結:繫結的是物件的靜態型別,某特性(比如函式)依賴於物件的靜態型別,發生在編譯期。
4、動態繫結:繫結的是物件的動態型別,某特性(比如函式)依賴於物件的動態型別,發生在執行期。
1classb2
6class c : publicb7
11class d : publicb12
16 d* pd = new
d();
17 b* pb = pd;
讓我們看一下,pd->dosomething()和pb->dosomething()呼叫的是同乙個函式嗎?
不是的,雖然pd和pb都指向同乙個物件。因為函式dosomething是乙個no-virtual函式,它是靜態繫結的,也就是編譯器會在編譯期根據物件的靜態型別來選擇函式。pd的靜態型別是d*,那麼編譯器在處理pd->dosomething()的時候會將它指向d::dosomething()。同理,pb的靜態型別是b*,那pb->dosomething()呼叫的就是b::dosomething()。
讓我們再來看一下,pd->vfun()和pb->vfun()呼叫的是同乙個函式嗎?
是的。因為vfun是乙個虛函式,它動態繫結的,也就是說它繫結的是物件的動態型別,pb和pd雖然靜態型別不同,但是他們同時指向乙個物件,他們的動態型別是相同的,都是d*,所以,他們的呼叫的是同乙個函式:d::vfun()。
上面都是針對物件指標的情況,對於引用(reference)的情況同樣適用。
指標和引用的動態型別和靜態型別可能會不一致,但是物件的動態型別和靜態型別是一致的。
d d;
d.dosomething()和d.vfun()永遠呼叫的都是d::dosomething()和d::vfun()。
至於那些事動態繫結,那些事靜態繫結,有篇文章總結的非常好:
我總結了一句話:只有虛函式才使用的是動態繫結,其他的全部是靜態繫結。目前我還沒有發現不適用這句話的,如果有錯誤,希望你可以指出來。
動態繫結與靜態繫結
對指標來說 動態型別與靜態型別 動態型別是所指向的物件型別,這發生在程式執行期,靜態型別是宣告時指標時候,指標本身的型別,這發生在編譯期 所以說靜態型別宣告好後就不發生改變了,動態型別,可以執行改變,也就是允許指向不同的物件型別 如 基類classa 子類 class b publica pa靜態型...
java動態繫結與靜態繫結
首先需要了解方法的呼叫過程 1.編譯器檢視物件宣告型別與方法。假設呼叫x.f param 且隱式引數型別x宣告為c型別的物件。需要注意的是 可能存在多個名稱為f的方法,但是引數型別不一樣,例如f string f int 這時編譯器會列舉 出c類中方法名為f和c類的父類中修飾符為public的f方法...
C 動態繫結與靜態繫結
為了支援c 的多型性,才用了動態繫結和靜態繫結。理解他們的區別有助於更好的理解多型性,以及在程式設計的過程中避免犯錯誤。需要理解四個名詞 1 物件的靜態型別 物件在宣告時採用的型別。是在編譯期確定的。2 物件的動態型別 目前所指物件的型別。是在執行期決定的。物件的動態型別可以更改,但是靜態型別無法更...