c 的多型性

oop的核心思想是多型性（polymorphism）。多型性這個詞源自希臘語，其含義是「多種形式」。我們把具有繼承關係的多個型別稱為多型型別，因為我們能使用這些型別的「多種形式」而無須在意他們的差異。引用或指標的靜態型別與動態型別不同這一事實正是c++語言支援多型性的根本所在。

當我們使用基類的引用或指標呼叫基類中定義的乙個函式時，我們並不知道該函式真正作用的物件是什麼型別，因為它可能是乙個基類的物件也可能是乙個派生類的物件。如果該函式是虛函式，則直到執行時才會決定到底執行哪個版本，判斷的依據是引用或指標所繫結的物件的真實型別。

另一方面，對非虛函式的呼叫在編譯時進行繫結。類似的，通過物件進行的函式（虛函式和非虛函式）呼叫也在編譯時繫結。物件的型別是確定不變的，我們無論如何都不可能令物件的動態型別和靜態型別不一致。因此，通過物件進行的函式呼叫將在編譯時繫結到該物件所屬類中的函式版本上。