C 動態繫結的實現

虛函式與純虛函式

純虛函式是在基類中宣告的虛函式，它在基類中沒有定義，但要求所有的派生類都要定義自己的實現方法，基類中實現純虛函式的方法是在函式原型的後面加上"= 0"，比如 virtual void f() = 0;

1、動態繫結的定義

有乙個基類，兩個派生類，基類有乙個virtual函式，兩個派生類都覆蓋了這個虛函式。當有乙個基類的指標或者引用，該基類的指標或者引用指向不同的派生類物件時，呼叫該虛函式，那麼最終呼叫的應該是被指向物件所對應的派生類實現的虛函式。

2、為什麼能夠在執行過程中實現動態繫結？

實現動態繫結，即在執行時能夠找到派生類自己實現的虛函式，是因為可以在執行時動態的改變基類指標所指向的物件，即該基類指標指向的位址是可以變化的。物件的內部儲存了關於自己和父類的虛函式的關係。因為每次基類都是指向物件本身的，而基類通過物件本身找到了所對應的的虛函式，即派生類的虛函式。

虛函式是類的成員，是所有的物件共有的，因此要特殊儲存虛函式應該是類的事情，而不是物件的工作，物件只負責能夠找到它就可以了。

編譯器會為每個有虛函式的類建立乙個虛函式表，裡面記錄著每個虛函式。另外，每個物件都有乙個隱含指標，指向它對應的類的虛函式表。

這樣，在執行時動態繫結會按照以下過程呼叫：

首先，基類指標被賦值為派生類中物件的位址，那麼就可以找到指向這個類的虛函式的隱含指標；然後通過該虛函式的名字就可以在這個虛函式表中找到對應虛函式的位址，從而進行呼叫。

由於繼承層次中每個類都有自己的虛函式表，因此各自完成自己的動態繫結，互不影響。