C++程序員應瞭解的那些事（40）子類型關係 ≠ 子類

子類型關係定義：有一個特定的類型S，當且僅當它提供類型T的行爲時，稱類型S是類型T的子類型。公有繼承方式能夠實現子類型關係，即派生類S是基類T的子類型。函數 公有繼承時，派生類的對象能夠做爲基類的對象處理，派生類是基類的子類型。spa 子類型關係使得在須要基類對象的任何地方均可以使用公有派生類的對象來替代，從而可使用相同的函數統一處理基類對象和公有派生類對象（形參爲基類對象時，實參能夠是派生類對象

>>阅读原文<<