类型：不仅描述一组对象上的约束，还描述与其它类型之间的关系，不同类型之间可以有共性，也可以有特性。
继承：表示了基类型和派生类型的相似性。一个基类型具有所有由它派生出来的类型所共有的特性和行为。程序员创建
一个基类型可以用于描述系统中一些对象的思想核心，由这个基类型，我们可以派生出其它类型来描述实现该核心的不同途径。
类型等价性：当我们从已经存在的类型继承时，我们就创造了一个新的类型，这个新类型包含基类型的所有成员(虽然私有成员已经隐藏且不可被派生类访问)，
更重要的是，它复制了这个基类的接口，即所有能够发送给这个基类对象的消息，也能够发送给这个派生类对象，称类型等价性。
派生类型的特殊性如何进行体现：
1. 向派生类型添加全新的函数。这些新函数不是基类接口的一部分。这么做表明基类不能做我们希望它做的事情，所以需要添加函数。
2. 重写(覆盖)。即改变已经存在的基类函数的行为，