为什么面向对象的编程会在软件开发领域造成如此震憾的影响?
(本文来源于图老师网站,更多请访问http://m.tulaoshi.com/bianchengyuyan/)面向对象编程(OOP)具有多方面的吸引力。对管理人员,它实现了更快和更廉价的开发与维护过程。对分析与设计人员,建模处理变得更加简单,能生成清晰、易于维护的设计方案。对程序员,对象模型显得如此高雅和浅显。此外,面向对象工具以及库的巨大威力使编程成为一项更使人愉悦的任务。每个人都可从中获益,至少表面如此。
如果说它有缺点,那就是掌握它需付出的代价。思考对象的时候,需要采用形象思维,而不是程序化的思维。与程序化设计相比,对象的设计过程更具挑战性??特别是在尝试创建可重复使用(可再生)的对象时。过去,那些初涉面向对象编程领域的人都必须进行一项令人痛苦的选择:
(1) 选择一种诸如Smalltalk的语言,出师前必须掌握一个巨型的库。
(2) 选择几乎根本没有库的C++(注释①),然后深入学习这种语言,直至能自行编写对象库。
①:幸运的是,这一情况已有明显改观。现在有第三方库以及标准的C++库供选用。
事实上,很难很好地设计出对象??从而很难设计好任何东西。因此,只有数量相当少的专家能设计出最好的对象,然后让其他人享用。对于成功的OOP语言,它们不仅集成了这种语言的语法以及一个编译程序(编译器),而且还有一个成功的开发环境,其中包含设计优良、易于使用的库。所以,大多数程序员的首要任务就是用现有的对象解决自己的应用问题。本章的目标就是向大家揭示出面向对象编程的概念,并证明它有多么简单。
本章将向大家解释Java的多项设计思想,并从概念上解释面向对象的程序设计。但要注意在阅读完本章后,并不能立即编写出全功能的Java程序。所有详细的说明和示例会在本书的其他章节慢慢道来。
1.1 抽象的进步
所有编程语言的最终目的都是提供一种抽象方法。一种较有争议的说法是:解决问题的复杂程度直接取决于抽象的种类及质量。这儿的种类是指准备对什么进行抽象?汇编语言是对基础机器的少量抽象。后来的许多命令式语言(如FORTRAN,BASIC和C)是对汇编语言的一种抽象。与汇编语言相比,这些语言已有了长足的进步,但它们的抽象原理依然要求我们着重考虑计算机的结构,而非考虑问题本身的结构。在机器模型(位于方案空间)与实际解决的问题模型(位于问题空间)之间,程序员必须建立起一种联系。这个过程要求人们付出较大的精力,而且由于它脱离了编程语言本身的范围,造成程序代码很难编写,而且要花较大的代价进行维护。由此造成的副作用便是一门完善的编程方法学科。
为机器建模的另一个方法是为要解决的问题制作模型。对一些早期语言来说,如LISP和APL,它们的做法是从不同的角度观察世界??所有问题都归纳为列表或所有问题都归纳为算法。PROLOG则将所有问题都归纳为决策链。对于这些语言,我们认为它们一部分是面向基于强制的编程,另一部分则是专为处理图形符号设计的。每种方法都有自己特殊的用途,适合解决某一类的问题。但只要超出了它们力所能及的范围,就会显得非常笨拙。
面向对象的程序设计在此基础上则跨出了一大步,程序员可利用一些工具表达问题空间内的元素。由于这种表达非常普遍,所以不必受限于特定类型的问题。我们将问题空间中的元素以及它们在方案空间的表示物称作对象(Object)。当然,还有一些在问题空间没有对应体的其他对象。通过添加新的对象类型,程序可进行灵活的调整,以便与特定的问题配合。所以在阅读方案的描述代码时,会读到对问题进行表达的话语。与我们以前见过的相比,这无疑是一种更加灵活、更加强大的语言抽象方法。总之,OOP允许我们根据问题来描述问题,而不是根据方案。然而,仍有一个联系途径回到计算机。每个对象都类似一台小计算机;它们有自己的状态,而且可要求它们进行特定的操作。与现实世界的对象或者物体相比,编程对象与它们也存在共通的地方:它们都有自己的特征和行为。
Alan Kay总结了Smalltalk的五大基本特征。这是第一种成功的面向对象程序设计语言,也是Java的基础语言。通过这些特征,我们可理解纯粹的面向对象程序设计方法是什么样的:
(1) 所有东西都是对象。可将对象想象成一种新型变量;它保存着数据,但可要求它对自身进行操作。理论上讲,可从要解决的问题身上提出所有概念性的组件,然后在程序中将其表达为一个对象。
(2) 程序是一大堆对象的组合;通过消息传递,各对象知道自己该做些什么。为了向对象发出请求,需向那个对象发送一条消息。更具体地讲,可将消息想象为一个调用请求,它调用的是从属于目标对象的一个子例程或函数。
(3) 每个对象都有自己的存储空间,可容纳其他对象。或者说,通过封装现有对象,可制作出新型对象。所以,尽管对象的概念非常简单,但在程序中却可达到任意高的复杂程度。
(4) 每个对象都有一种类型。根据语法,每个对象都是某个类的一个实例。其中,类(Class)是类型(Type)的同义词。一个类最重要的特征就是能将什么消息发给它?。
(5) 同一类所有对象都能接收相同的消息。这实际是别有含义的一种说法,大家不久便能理解。由于类型为圆(Circle)的一个对象也属于类型为形状(Shape)的一个对象,所以一个圆完全能接收形状消息。这意味着可让程序代码统一指挥形状,令其自动控制所有符合形状描述的对象,其中自然包括圆。这一特性称为对象的可替换性,是OOP最重要的概念之一。
一些语言设计者认为面向对象的程序设计本身并不足以方便解决所有形式的程序问题,提倡将不同的方法组合成多形程序设计语言(注释②)。
②:参见Timothy Budd编著的《Multiparadigm Programming in Leda》,Addison-Wesley 1995年出版。
1.2 对象的接口
亚里士多德或许是认真研究类型概念的第一人,他曾谈及鱼类和鸟类的问题。在世界首例面向对象语言Simula-67中,第一次用到了这样的一个概念:
所有对象??尽管各有特色??都属于某一系列对象的一部分,这些对象具有通用的特征和行为。在Simula-67中,首次用到了class这个关键字,它为程序引入了一个全新的类型(clas和type通常可互换使用;注释③)。
③:有些人进行了进一步的区分,他们强调类型决定了接口,而类是那个接口的一种特殊实现方式。
(本文来源于图老师网站,更多请访问http://m.tulaoshi.com/bianchengyuyan/)Simula是一个很好的例子。正如这个名字所暗示的,它的作用是模拟(Simulate)象银行出纳员这样的经典问题。在这个例子里,我们有一系列出纳员、客户、帐号以及交易等。每类成员(元素)都具有一些通用的特征:每个帐号都有一定的余额;每名出纳都能接收客户的存款;等等。与此同时,每个成员都有自己的状态;每个帐号都有不同的余额;每名出纳都有一个名字。所以在计算机程序中,能用独一无二的实体分别表示出纳员、客户、帐号以及交易。这个实体便是对象,而且每个对象都隶属一个特定的类,那个类具有自己的通用特征与行为。
因此,在面向对象的程序设计中,尽管我们真正要做的是新建各种各样的数据类型(Type),但几乎所有面向对象的程序设计语言都采用了class关键字。当您看到type这个字的时候,请同时想到class;反之亦然。
建好一个类后,可根据情况生成许多对象。随后,可将那些对象作为要解决问题中存在的元素进行处理。事实上,当我们进行面向对象的程序设计时,面临的最大一项挑战性就是:如何在问题空间(问题实际存在的地方)的元素与方案空间(对实际问题进行建模的地方,如计算机)的元素之间建立理想的一对一对应或映射关系。
如何利用对象完成真正有用的工作呢?必须有一种办法能向对象发出请求,令其做一些实际的事情,比如完成一次交易、在屏幕上画一些东西或者打开一个开关等等。每个对象仅能接受特定的请求。我们向对象发出的请求是通过它的接口(Interface)定义的,对象的类型或类则规定了它的接口形式。类型与接口的等价或对应关系是面向对象程序设计的基础。