抽象的进步

为机器建模的另一个方法是为要解决的问题制作模型。

Alan Kay总结了Smalltalk的五大基本特征。这是第一种成功的面向对象程序设计语言，也是Java的基础语言。通过这些特征，我们可理解“纯粹”的面向对象程序设计方法是什么样的：

• 所有的都东西都是对象，可将对象想象成一种的新型的变量，它保存这数据，但可以要求它对自己进行操作，理论上讲，可从 要解决问题的身上提出所有概念性的组件，然后在程序中将其表达为一个对象。
• 程序是一大堆对象的组合，通过消息传递，各对象知道自己该做什么，为了向对象发出请求，需要那个对象发出一条“消息”。更具体的讲可将消息想象为一个调用请求，它调用的是从目标对象的一个子例程或函数。
• 每个对象都有自己的存储空间，可容纳其它对象，或者说，通过封装现有对象，可以制造出新型对象，所以尽管对象的概念非常简单，但在程序中却可以达到任意高的复杂度。
• 每个对象都是一种类型。根据语法，每个对象都是某个“类”的一个“实例”，其中，“类”（Class）是“类型”（Type）的同义词。一个类最重要的特征就是“能将什么消息发给它？”。
• 同一类所有对象都能接收相同的消息。这实际是别有含义的一种说法，大家不久便能理解。由于类型为“圆”（Circle）的一个对象也属于类型为“形状”（Shape）的一个对象，所以一个圆完全能接收形状消息。这意味着可让程序代码统一指挥“形状”，令其自动控制所有符合“形状”描述的对象，其中自然包括“圆”。这一特性称为对象的“可替换性”，是OOP最重要的概念之一。