（感謝原作者分享：http://www.cnblogs.com/lizhenghn/p/3657717.html）

C++在面向物件程式設計中，存在著靜態繫結和動態繫結的定義，本節即是主要講述這兩點區分。
我是在一個類的繼承體系中分析的，因此下面所說的物件一般就是指一個類的例項。
首先我們需要明確幾個名詞定義：

• 靜態型別：物件在宣告時採用的型別，在編譯期既已確定；
• 動態型別：通常是指一個指標或引用目前所指物件的型別，是在執行期決定的；
• 靜態繫結：繫結的是靜態型別，所對應的函式或屬性依賴於物件的靜態型別，發生在編譯期；
• 動態繫結：繫結的是動態型別，所對應的函式或屬性依賴於物件的動態型別，發生在執行期；

從上面的定義也可以看出，非虛擬函式一般都是靜態繫結，而虛擬函式都是動態繫結（如此才可實現多型性）。
先看程式碼和執行結果：

 1 class A
 2 {
 3 public:
 4     /*virtual*/ void func(){ std::cout << "A::func()\n"; }
 5 };
 6 class B : public A
 7 {
 8 public:
 9     void func(){ std::cout << "B::func()\n"; }
10 };
11 class C : public A
12 {
13 public:
14     void func(){ std::cout << "C::func()\n"; }
15 };
 

下面逐步分析測試程式碼及結果，

1 C* pc = new C(); //pc的靜態型別是它宣告的型別C*，動態型別也是C*；
2 B* pb = new B(); //pb的靜態型別和動態型別也都是B*；
3 A* pa = pc;      //pa的靜態型別是它宣告的型別A*，動態型別是pa所指向的物件pc的型別C*；
4 pa = pb;         //pa的動態型別可以更改，現在它的動態型別是B*，但其靜態型別仍是宣告時候的A*；
5 C *pnull = NULL; //pnull的靜態型別是它宣告的型別C*,沒有動態型別，因為它指向了NULL；

如果明白上面程式碼的意思，請繼續， 

1
 
 pa->func();      //A::func() pa的靜態型別永遠都是A*，不管其指向的是哪個子類，都是直接呼叫A::func()；
2 pc->func();      //C::func() pc的動、靜態型別都是C*，因此呼叫C::func()；
3 pnull->func();   //C::func() 不用奇怪為什麼空指標也可以呼叫函式，因為這在編譯期就確定了，和指標空不空沒關係；

如果註釋掉類C中的func函式定義，其他不變，即

1 class C : public A
2 {
3 };
4 
5 pa->func();      //A::func() 理由同上；
6 pc->func();      //A::func() pc在類C中找不到func的定義，因此到其基類中尋找；
7 pnull->func();   //A::func() 原因也解釋過了；

如果為A中的void func()函式新增virtual特性，其他不變，即

1 class A
2 {
3 public:
4     virtual void func(){ std::cout << "A::func()\n"; }
5 };
6 
7 pa->func();      //B::func() 因為有了virtual虛擬函式特性，pa的動態型別指向B*，因此先在B中查詢，找到後直接呼叫；
8 pc->func();      //C::func() pc的動、靜態型別都是C*，因此也是先在C中查詢；
9 pnull->func();   //空指標異常，因為是func是virtual函式，因此對func的呼叫只能等到執行期才能確定，然後才發現pnull是空指標；

分析：
在上面的例子中，

1. 如果基類A中的func不是virtual函式，那麼不論pa、pb、pc指向哪個子類物件，對func的呼叫都是在定義pa、pb、pc時的靜態型別決定，早已在編譯期確定了。

    同樣的空指標也能夠直接呼叫no-virtual函式而不報錯（這也說明一定要做空指標檢查啊！），因此靜態繫結不能實現多型；

2. 如果func是虛擬函式，那所有的呼叫都要等到執行時根據其指向物件的型別才能確定，比起靜態繫結自然是要有效能損失的，但是卻能實現多型特性；

 本文程式碼裡都是針對指標的情況來分析的，但是對於引用的情況同樣適用。

至此總結一下靜態繫結和動態繫結的區別：
1. 靜態繫結發生在編譯期，動態繫結發生在執行期；

2. 物件的動態型別可以更改，但是靜態型別無法更改；

3. 要想實現動態，必須使用動態繫結；

4. 在繼承體系中只有虛擬函式使用的是動態繫結，其他的全部是靜態繫結；

 建議：

絕對不要重新定義繼承而來的非虛(non-virtual)函式（《Effective C++ 第三版》條款36），因為這樣導致函式呼叫由物件宣告時的靜態型別確定了，而和物件本身脫離了關係，沒有多型，也這將給程式留下不可預知的隱患和莫名其妙的BUG；

另外，在動態繫結也即在virtual函式中，要注意預設引數的使用。當預設引數和virtual函式一起使用的時候一定要謹慎，不然出了問題怕是很難排查。
看下面的程式碼：

 1 class E
 2 {
 3 public:
 4     virtual void func(int i = 0)
 5     { 
 6         std::cout << "E::func()\t"<< i <<"\n";
 7     }
 8 };
 9 class F : public E
10 {
11 public:
12     virtual void func(int i = 1)
13     {
14         std::cout << "F::func()\t" << i <<"\n";
15     }
16 };
17 
18 void test2()
19 {
20     F* pf = new F();
21     E* pe = pf;
22     pf->func(); //F::func() 1  正常，就該如此；
23     pe->func(); //F::func() 0  哇哦，這是什麼情況，呼叫了子類的函式，卻使用了基類中引數的預設值！
24 }

為什麼會有這種情況，請看《Effective C++ 第三版》 條款37。
這裡只給出建議：
絕對不要重新定義一個繼承而來的virtual函式的預設引數值，因為預設引數值都是靜態繫結（為了執行效率），而virtual函式卻是動態繫結。