继承

当继承现有类型是，也就创造了新的类型，这个新类型不仅包括现有类型的所有成员，而且更重要的是复制了基类的接口，就是说给基类发送的消息也可以发给子类

两种方法是基类与导出类产生差异，1：直接在导出类中添加新的方法，2覆写基类的方法。

像一个和是一个的关系

是一个就是一个导出类可以完全替代一个基类对象，

像是一个，导出类比基类多了些功能，（扩充基类，就可以  是一个）；

伴随多态的可互换对象。

在处理类型的层次结构时，将其当做其积累的对象来对待，这让人可以编写出不依赖于特定类型的代码。

当向对象发送消息是，被调用的代码知道运行时才能确定。编译器确保被调用方法的存在，并对调用参数和返回值执行类型检查（无法提供此类保证的语言被称为弱类型）

，但是并不知道将被执行的确切代码。有一段小的代码，可以根据这一小段代码，判断每个对象都具有不同的行为表现，当向一个对象发送消息时，该对象就能够知道的对这条消息该做些什么。