c++ 覆盖
- 覆蓋構成條件和多態構成條件是相同的,覆蓋是一種函數間的表現關系,而多態描述的是函數的一種性質,二者所描述的其實是同一種語法現象。
- 覆蓋首先要求有繼承關系,其次是要求構成繼承關系的兩個類中必須具有相同函數簽名的成員函數,并且這兩個成員函數必須是虛成員函數
- 具備這三個條件后,派生類中的虛成員函數會覆蓋基類中相同簽名的虛成員函數。如果我們通過基類指針或引用來調用虛成員函數,則會形成多態。
本例中,base 類和 derived 類構成繼承關系,在這兩個類中成員函數 vir1() 和 vir2() 同名,并且這兩個同名函數都被聲明為了虛函數。如此一來就構成了函數覆蓋,派生類中的 vir1() 函數覆蓋了基類中的 vir1() 函數,派生類中的 vir2() 函數覆蓋了基類中的 vir2() 函數。在主函數中,通過基類指針調用 vir1() 和 vir2() 虛函數,構成多態,這兩個函數的運行為運行期綁定。
函數覆蓋屬于運行期綁定,但是要注意:如果函數不是虛函數,則無論采用什么方法調用函數均為編譯期綁定。如果我們將例 6 中的基類中的兩個 virtual 關鍵字去掉,則主函數中調用 vir1() 和 vir2() 函數屬于編譯期綁定,無論 p 指向的是派生類對象或者是基類對象,執行的都將會是基類的 vir1() 和 vir2() 函數。
總結