C 的動態繫結和靜態繫結

2021-05-31 23:59:29 字數 1869 閱讀 2358

定義:

1、物件的靜態型別:物件在宣告時採用的型別。是在編譯期確定的。

2、物件的動態型別:目前所指物件的型別。是在執行期決定的。

物件的動態型別可以更改,但是靜態型別無法更改。

eg.class b

class c : public b

class d : public b

d* pd = new d();    //pd的靜態型別是它宣告的型別d*,動態型別也是d*

b* pb = pd;              //pb的靜態型別是它宣告的型別b*,動態型別是pb所指向的物件pd的型別d*

c* pc = new c();

pb = pc;                   //pb的動態型別是可以更改的,現在它的動態型別是c*

3、靜態繫結:繫結的是物件的靜態型別,某特性(比如函式)依賴於物件的靜態型別,發生在編譯期。

4、動態繫結:繫結的是物件的動態型別,某特性(比如函式)依賴於物件的動態型別,發生在執行期。

eg.class b

class c : public b

class d : public b

d* pd = new d();

b* pb = pd;

1、pd->dosomething()和pb->dosomething()呼叫的是同乙個函式嗎?

不是的,雖然pd和pb都指向同乙個物件。因為函式dosomething是乙個no-virtual函式,它是靜態繫結的,也就是編譯器會在編譯期根據物件的靜態型別來選擇函式。pd的靜態型別是d*,那麼編譯器在處理pd->dosomething()的時候會將它指向d::dosomething()。同理,pb的靜態型別是b*,那pb->dosomething()呼叫的就是b::dosomething()。

2、pd->vfun()和pb->vfun()呼叫的是同乙個函式嗎?

是的。因為vfun是乙個虛函式,它動態繫結的,也就是說它繫結的是物件的動態型別,pb和pd雖然靜態型別不同,但是他們同時指向乙個物件,他們的動態型別是相同的,都是d*,所以,他們的呼叫的是同乙個函式:d::vfun()。

需要注意的地方:

1、針對物件指標的情況,對於引用(reference)的情況同樣適用。

2、指標和引用的動態型別和靜態型別可能會不一致,但是物件的動態型別和靜態型別是一致的。

eg.d d;

d.dosomething()和d.vfun()永遠呼叫的都是d::dosomething()和d::vfun()。

小結:只有虛函式才使用的是動態繫結,其他的全部是靜態繫結。

3、當預設引數和虛函式一起出現的時候情況有點複雜,極易出錯。我們知道,虛函式是動態繫結的,但是為了執行效率,預設引數是靜態繫結的。

eg.class b

class d : public b

d* pd = new d();

b* pb = pd;

pd->vfun();

pb->vfun();

有上面的分析可知pd->vfun()和pb->vfun()呼叫都是函式d::vfun(),但是他們的預設引數是多少?

分析一下,預設引數是靜態繫結的,pd->vfun()時,pd的靜態型別是d*,所以它的預設引數應該是20;同理,pb->vfun()的預設引數應該是10。編寫**驗證了一下,正確。

對於這個特性,估計沒有人會喜歡。所以,永遠記住:

「絕不重新定義繼承而來的預設引數(never redefine function』s inherited default parameters value.)」

總結:1、動態編譯和靜態編譯概念。

2、物件的動態型別和靜態型別是一致。

3、只有虛函式才使用的是動態繫結,其他的全部是靜態繫結。

4、虛函式中的預設引數是靜態繫結的。

C 動態繫結和靜態繫結

學習大佬的總結 為了支援c 的多型性,才用了動態繫結和靜態繫結。理解他們的區別有助於更好的理解多型性,以及在程式設計的過程中避免犯錯誤。需要理解四個名詞 1 物件的靜態型別 物件在宣告時採用的型別。是在編譯期確定的。2 物件的動態型別 目前所指物件的型別。是在執行期決定的。物件的動態型別可以更改,但...

c 動態繫結和靜態繫結

為了支援c 的多型性,才用了動態繫結和靜態繫結。1 物件的靜態型別 物件在宣告時採用的型別。是在編譯期確定的。2 物件的動態型別 目前所指物件的宣告。在執行期決定。物件的動態型別可以更改,但是靜態型別無法更改。關於物件的靜態型別和動態型別,看乙個示例 class a class b public a...

動態繫結和靜態繫結

繫結 binding 是指將變數和函式名轉換成位址的過程 絕大部分的順序執行邏輯中函式呼叫或某個確定資料型別的class型別的物件對成員呼叫都屬於靜態繫結 include using namespace std class employee class teamper public employee...