為了支援c++的多型性，才用了動態繫結和靜態繫結。理解他們的區別有助於更好的理解多型性，以及在程式設計的過程中避免犯錯誤，需要理解四個名詞：
1、物件的靜態型別：物件在宣告時採用的型別。是在編譯期確定的。
2、物件的動態型別：目前所指物件的型別。是在執行期決定的。
物件的動態型別可以更改，但是靜態型別無法更改。關於物件的靜態型別和動態型別，看乙個示例：
classb;
class
c : publicb;
class
d : public
b;
// pd的靜態型別是它宣告的型別d*，動態型別也是d*
d* pd = new d();
// pb的靜態型別是它宣告的型別b*，動態型別是pb所指向的物件pd的型別d*
b* pb = pd;
c* pc = new c();
//pb的動態型別是可以更改的，現在它的動態型別是c*
pb = pc;
4、動態繫結：繫結的是物件的動態型別，某特性（比如函式）依賴於物件的動態型別，發生在執行期。
class b
class c : public b
class d : public b
d* pd = new d();
b* pb = pd;
不是的，雖然 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()。
至於哪些是動態繫結，哪些是靜態繫結，有篇文章總結的非常好:
我總結了一句話：只有虛函式才使用的是動態繫結，其他的全部是靜態繫結。目前我還沒有發現不適用這句話的，如果有錯誤，希望你可以指出來。（ps：原作者說的）
特別需要注意的地方
當預設引數和虛函式一起出現的時候情況有點複雜，極易出錯。我們知道，虛函式是動態繫結的，但是為了執行效率，預設引數是靜態繫結的。
class b
class d : public b
d* pd = new d();
b* pb = pd;
pd->vfun();
pb->vfun();
分析一下，預設引數是靜態繫結的，pd->vfun()時，pd 的靜態型別是 d*，所以它的預設引數應該是 20；同理，pb->vfun() 的預設引數應該是 10。編寫**驗證了一下，正確。
對於這個特性，估計沒有人會喜歡。所以，永遠記住：
「絕不重新定義繼承而來的預設引數（never redefine function』s inherited default parameters value.）」
動態型別語言與靜態型別語言
在程式執行期間才做型別檢查的語言。在編寫程式時，不需要給變數指定型別。在程式執行時，給變數賦第乙個值時確定變數的資料型別。動態語言型別優點 1.簡潔，且程式設計師可以專注於本質設計，大大提公升開發效率。動態語言的缺點 1.程式執行速度慢，因為型別檢查是在執行時做的。2.不執行就發現不了型別錯誤問題。...
強型別與弱型別，靜態型別和動態型別
首先強弱是相對的。強型別 每個變數和物件都必須宣告型別，在編譯時確定好型別了，執行時不能更改。偏向於不容忍隱式型別轉換。譬如說haskell的int就不能變成double。弱型別 編譯時不確定型別，執行時根據語義確定是哪種型別。通俗地說，弱型別偏向於容忍隱式轉換，把不同型別的變數放在一起運算。靜態型...
C 物件的靜態型別與動態型別
在c 當中 因為出現了繼承 繼承導致物件的指標和引用具有兩種不同的型別 靜態型別 和 動態型別 靜態型別 指標或者是引用宣告時的型別。動態型別 由他實際指向的型別確定。class base class derived public base base base base的靜態型別是 base new...