C++程序员应了解的那些事（40）子类型关系 ≠ 子类

子类型关系定义：有一个特定的类型S，当且仅当它提供类型T的行为时，称类型S是类型T的子类型。公有继承方式能够实现子类型关系，即派生类S是基类T的子类型。函数 公有继承时，派生类的对象能够做为基类的对象处理，派生类是基类的子类型。spa 子类型关系使得在须要基类对象的任何地方均可以使用公有派生类的对象来替代，从而可使用相同的函数统一处理基类对象和公有派生类对象（形参为基类对象时，实参能够是派生类对象

>>阅读原文<<