面向对象程序设计
作者：Ramchandra Garge
软件危机（Software Crisis）
软件技术总是处于不断发展变化中，新工具、新技术相继产生。这就要求软件产业和软件工程师们不停的寻求软件设计和开发的新途径。由于日益增长的软件系统的复杂性和软件产业内部愈演愈烈的竞争，这种要求变得更加紧迫。为了克服这种要求带来的软件危机，必须解决以下问题：
1、在系统设计中，如何表现问题的真实实体？
2、如何以开放的界面（interface）设计系统？
3、如何保证模块（module）的可重用性（reusability）和可扩展性（extensibility）？
4、如何开发能够容忍（tolerant）未来可能的变化模块？
5、如何提高软件的生产力和减少软件开销？
6、如何管理进度表？
7、如何提高软件质量？
8、如何将软件开发过程工业化？
当软件产品在未完成时、未被使用时或者带着各种各样的错误发布时，问题就会出现。另外，用户需求的改变已经成为一个重要问题。多份关于软件实现的报告显示，在软件产品发布和使用之前，需要仔细进行质量评估。通常状态评估中应该考虑的质量因素包括：
1、正确性（Correctness）
2、可维护性（Maintainability）
3、可重用性（Reusability）
4、开放性（Openness）和可解释性（Interpretability）
5、可移植性（Portability）
6、安全性（Security）
7、完整性（Integrity）
8、用户友好性（User friendliness）
软件演化（Software Evolution）
Ernest Tello——人工智能领域的著名作家——将软件技术的演化比喻为树的生长。和树一样，软件的演化具有明显的阶段性，这些阶段称为层（layer）。过去四十年中，这些层逐步被建立起来，每一个层都由前一个层发展而成。图1显示了这个过程。但是关于树的比喻在遇到层的生命期的问题时失败了。在软件系统中，每个层都在持续的发挥作用，而在树中，只有最上层的层才有用。
面向对象程序设计（OOP）是完成程序设计工作的新方法。自从计算机发明以来，为了适应程序复杂性的不断增长，程序设计的方法有了戏剧性的变化。汇编语言被发明出来以后，程序员们总算可以用符号表示那些机器指令，从而可以编写更长、更复杂的程序。当程序规模继续不停增长的时候，高级语言被引入，为程序员们提供了更多工具对付日益增加的复杂性。第一个被普遍使用的语言是FORTRAN。不过虽然FORTRAN迈出了重大的第一步，但用它写出的代码很难说是清晰的和容易理解的。
1960年结构化程序设计思想诞生。C和Pascal等语言都大力提倡这种程序设计的方法。结构化程序设计语言使得编写较复杂的程序变得容易。但是，一旦某个项目达到一定规模，即使使用结构化程序设计的方法，局势仍将变得不可控制。
在程序设计方法发展过程中，每一次重大突破都使得程序员可以应对更大的复杂性。在这条道路上迈出的每一步中，新的方法都运用和发展了以前的方法中最好的理念。今天，许多项目的规模又进一步发展。为了解决这个问题，面向对象程序设计方法应运而生。
在详细介绍面向对象程序设计之前，让我们简单了解一下面向过程程序设计的方法。在面向过程的程序设计方法中，问题被看作一系列将被完成的任务，如读、计算和打印。许多函数用于完成这些任务。问题的焦点集中于函数。图2显示了一个典型的面向过程的程序结构。分层分解的技术被用来确定一系列需要被完成的任务，以解决特定的问题。
面向过程程序设计的基本任务是编写计算机执行的指令序列，并把这些指令以函数的方式组织起来。通常我们使用流程图组织这些行为（action），并描述从一个行为到另一个行为的控制流。
当我们集中精力开发函数的时候，很少会去注意那些被多个函数使用的数据（data）。在这些数据身上发生了什么事情？那些使用这些数据的函数又对它们产生了什么影响？
在多函数（multi-function）程序中，许多重要的数据被放置在全局数据区，这样它们可以被所有的函数访问。每个函数都可以具有它们自己的局部数据。图3显示了一个面向过程程序中函数和数据的关系。
面向对象程序设计模式
发明面向对象程序设计方法的主要出发点是弥补面向过程程序设计方法中的一些缺点。OOP把数据看作程序开发中的基本元素，并且不允许它们在系统中自由流动。它将数据和操作这些数据的函数紧密的连结在一起，并保护数据不会被外界的函数意外的改变。OOP允许我们将问题分解为一系列实体——这些实体被称为对象（object），然后围绕这些实体建立数据和函数。面向对象程序设计中的数据和函数的组织结构如图4所示。
一个对象的数据不能访问其它对象的函数，而一个对象的函数可以访问其它对象的函数。
面向对象程序设计的一些显著的特性包括：
·程序设计的重点在于数据而不是过程；
·程序被划分为所谓的对象；
·数据结构为表现对象的特性而设计；
·函数作为对某个对象数据的操作，与数据结构紧密的结合在一起；
·数据被隐藏起来，不能为外部函数访问；
·对象之间可以通过函数沟通；
·新的数据和函数可以在需要的时候轻而易举的添加进来；
·在程序设计过程中遵循由下至上（bottom-up）的设计方法。
面向对象程序设计在程序设计模式中是一个新的概念，对于不同的人可能意味着不同的内容。因此在我们继续下面的内容之前，最好给面向对象程序设计下一个定义。我们对面向对象程序设计的定义是“面向对象程序设计是一种方法，这种方法为数据和函数提供共同的独立内存空间，这些数据和函数可以作为模板以便在需要时创建类似模块的拷贝。这样的程序设计方法称为面向对象程序设计。”
从以上定义可以看到，一个对象被认为是计算机内存中的一个独立区间，在这个区间中保存着数据和能够访问数据的一组操作。因为内存区间是相互独立的，所以对象可以不经修改就应用于多个不同的程序中。
什么是面向对象程序设计？
面向对象程序设计（OOP）技术汲取了结构化程序设计中好的思想，并将这些思想与一些新的、强大的理念相结合，从而给你的程序设计工作提供了一种全新的方法。通常，在面向对象的程序设计风格中，你会将一个问题分解为一些相互关联的子集，每个子集内部都包含了相关的数据和函数。同时，你会以某种方式将这些子集分为不同等级，而一个对象就是已定义的某个类型的变量。当你定义了一个对象，你就隐含的创建了一个新的数据类型。
面向对象程序设计中的基本概念
“面向对象”作为一个术语，在不同的人群中有着不同的解释。因此，了解一些在面向对象程序设计中广泛应用的概念是必须的。本节我们讨论以下这些内容：
1、对象（Object）
2、类（Class）
3、数据抽象（Data abstraction）
4、继承（Inheritance）
5、动态绑定（Dynamic binding）
6、数据封装（Data encapsulation）
7、多态性（Polymorphism）
8、消息传递（Message passing）
对象
在一个面向对象的系统中，对象是运行期的基本实体。它可以用来表示一个人或者说一个银行帐户，一张数据表格，或者其它什么需要被程序处理的东西。它也可以用来表示用户定义的数据，例如一个向量，时间或者列表。在面向对象程序设计中，问题的分析一般以对象及对象间的自然联系为依据。如前所述，对象在内存中占有一定空间，并且具有一个与之关联的地址，就像Pascal中的record和C中的结构一样。
当一个程序运行时，对象之间通过互发消息来相互作用。例如，程序中包含一个“customer”对象和一个“account”对象，而customer对象可能会向account对象发送一个消息，查询其银行帐目。每个对象都包含数据以及操作这些数据的代码。即使不了解彼此的数据和代码的细节，对象之间依然可以相互作用，所要了解的只是对象能够接受的消息的类型，以及对象返回的响应的类型，虽然不同的人会以不同的方法实现它们。
类
我们刚才提到，对象包含数据以及操作这些数据的代码。一个对象所包含的所有数据和代码可以通过类来构成一个用户定义的数据类型。事实上，对象就是类类型（class type）的变量。一旦定义了一个类，我们就可以创建这个类的多个对象，每个对象与一组数据相关，而这组数据的类型在类中定义。因此，一个类就是具有相同类型的对象的抽象。例如，芒果、苹果和桔子都是fruit类的对象。类是用户定义的数据类型，但在一个程序设计语言中，它和内建的数据类型行为相同。比如创建一个类对象的语法和创建一个整数对象的语法一模一样。如果fruit被定义为一个类，那么语句
fruit mango;
就创建了一个fruit类的对象mango。
数据抽象和封装
把数据和函数包装在一个单独的单元（称为类）的行为称为封装。数据封装是类的最典型特点。数据不能被外界访问，只能被封装在同一个类中的函数访问。这些函数提供了对象数据和程序之间的接口。避免数据被程序直接访问的概念被称为“数据隐藏”。
抽象指仅表现核心的特性而不描述背景细节的行为。类使用了抽象的概念，并且被定义为一系列抽象的属性如尺寸、重量和价格，以及操作这些属性的函数。类封装了将要被创建的对象的所有核心属性。因为类使用了数据抽象的概念，所以它们被称为抽象数据类型（ADT）。
封装
封装机制将数据和代码捆绑到一起，避免了外界的干扰和不确定性。它同样允许创建对象。简单的说，一个对象就是一个封装了数据和操作这些数据的代码的逻辑实体。
在一个对象内部，某些代码和（或）某些数据可以是私有的，不能被外界访问。通过这种方式，对象对内部数据提供了不同级别的保护，以防止程序中无关的部分意外的改变或错误的使用了对象的私有部分。
继承
继承是可以让某个类型的对象获得另一个类型的对象的属性的方法。它支持按级分类的概念。例如，知更鸟属于飞鸟类，也属于鸟类。就像图5中描绘的那样，这种分类的原则是，每一个子类都具有父类的公共特性。
在OOP中，继承的概念很好的支持了代码的重用性（reusability），也就是说，我们可以向一个已经存在的类中添加新的特性，而不必改变这个类。这可以通过从这个已存在的类派生一个新类来实现。这个新的类将具有原来那个类的特性，以及新的特性。而继承机制的魅力和强大就在于它允许程序员利用已经存在的类（接近需要，而不是完全符合需要的类），并且可以以某种方式修改这个类，而不会影响其它的东西。
注意，每个子类只定义那些这个类所特有的特性。而如果没有按级分类，每类都必须显式的定义它所有的特性。
多态
多态是OOP的另一个重要概念。多态的意思是事物具有不同形式的能力。举个例子，对于不同的实例，某个操作可能会有不同的行为。这个行为依赖于所要操作数据的类型。比如说加法操作，如果操作的数据是数，它对两个数求和。如果操作的数据是字符串，则它将连接两个字符串。
图6演示了一个函数处理不同数量、不同类型的参数。就像某个单词在不同的上下文中具有不同的含义。
多态机制使具有不同内部结构的对象可以共享相同的外部接口。这意味着，虽然针对不同对象的具体操作不同，但通过一个公共的类，它们（那些操作）可以通过相同的方式予以调用。多态在实现继承的过程中被广泛应用。
面向对象程序设计语言支持多态，术语称之为“one interface multiple method（一个接口，多个实现）”。简单来说，多态机制允许通过相同的接口引发一组相关但不相同的动作，通过这种方式，可以减少代码的复杂度。在某个特定的情况下应该作出怎样的动作，这由编译器决定，而不需要程序员手工干预。
在多函数程序中，许多重要的数据被声明为全局变量，这样它们才可以被所有的函数访问。每个函数又可以具有它自己的局部变量。全局变量很容易被某个函数不经意之间改变。而在一个大程序中，很难分辨每个函数都使用了哪些变量。如果我们需要修改某个外部数据的结构，我们就要修改所有访问这个数据的函数。这很容易导致bug的产生。
在结构化程序设计中，另一个严重的缺陷是不能很好的模拟真实世界的问题。这是因为函数都是面向过程的，而不是真正的对应于问题中的各个元素。
面向过程的程序设计的一些特点如下：
·强调做（算法）；
·大程序被分隔为许多小程序，这些小程序称为函数；
·大多数函数共享全局数据；
·数据开放的由一个函数流向另一个函数。函数把数据从一种形式转换为另一种形式。
采用由上至下的程序设计方法。
动态绑定
绑定指的是将一个过程调用与相应代码链接起来的行为。动态绑定的意思是，与给定的过程调用相关联的代码只有在运行期才可知。它与多态和继承的联系极为紧密。一个多态引用的函数调用决定于这个引用的动态类型。
考虑图6中的“draw”方法。通过继承，每个对象都具备了这个过程。但是，对于不同的对象它的算法是不同的，因此，draw过程必须在每一个类中重新定义。在运行期，当前引用对象所对应的代码将被调用。
消息传递
一个面向对象的程序由许多对象组成，这些对象之间需要相互沟通。因此，在面向对象程序设计语言中，程序设计的主要步骤如下：
1、创建类，这些类定义了对象及其行为；
2、由类定义创建对象；
3、建立对象之间的通讯。
对象之间通过收发信息相互沟通，这一点类似于人与人之间的信息传递。信息传递的概念使得真实世界的直接模拟更易于和建立系统交流。
对于某个特定对象来说，消息就是请求执行某个过程，因此，消息的接收对象会调用一个函数（过程），以产生预期的结果。传递的消息的内容包括接收消息的对象的名字，需要调用的函数的名字，以及必要的信息。
对象就有一个生命周期。它们可以被创建和销毁。只要对象正处于其生存期，就可以与其进行通讯。
OOP的优点
OOP具有许多优点，无论是对于程序设计者或者用户来说都是如此。面向对象为软件产品扩展和质量保证中的许多问题提供了解决办法。这项技术能够大大提高程序员的生产力，并可提高软件的质量以及降低其维护费用。其主要的优点陈列于下：
1、通过继承，我们可以大幅减少多余的代码，并扩展现有代码的用途；
2、我们可以在标准的模块上（这里所谓的“标准”指程序员之间彼此达成的协议）构建我们的程序，而不必一切从头开始。这可以减少软件开发时间并提高生产效率；
3、数据隐藏的概念帮助程序员们保护程序免受外部代码的侵袭；
4、允许一个对象的多个实例同时存在，而且彼此之间不会相互干扰；
5、允许将问题空间中的对象直接映射到程序中；
6、基于对象的工程可以很容易的分割为独立的部分；
7、以数据为中心的设计方法允许我们抓住可实现模型的更多细节；
8、面向对象的系统很容易从小到大逐步升级；
9、对象间通讯所使用的消息传递技术与外部系统接口部分的描述更简单；
10、更便于控制软件复杂度。
当需要将以上所说的所有特性有机的结合于一个面向对象系统中，它们之间的相对重要性就取决于工程的类型和程序员的喜好。为了获得上述的某些优势，必须考虑很多事情。例如，对象库必须可以被重用。技术还在不停的发展，现有的产品也会很快的更新换代。如果重用没有能够实现，那么就需要进行严格的控制和管理。
易于使用的开发软件往往难以编写。面向对象程序设计工具有望解决这个问题。
面向对象程序设计语言
面向对象技术并不是某个特定语言的特权。如同结构化程序设计一样，OOP概念可以在很多语言比如C和Pascal中实现。但是，当程序越来越大时，程序设计工作会变得拙劣而混乱。而一个支持OOP概念的程序设计语言则可以让一切变得简单。
一个语言必须支持几个主要的OOP概念才能称其是面向对象的。根据所支持的OOP特性，语言可以分为以下两类：
1、基于对象的程序设计语言；
2、面向对象的程序设计语言。
基于对象的程序设计语言仅支持封装和对象辨识。
一个面向对象的程序设计语言所要支持的重要特性如下：
·数据封装
·数据隐藏和访问机制
·对象的自动初始化和清除
·操作符重载
支持对象风格程序设计的语言称为基于对象的程序设计语言。它们不支持继承和动态绑定。
Ada就是一个典型的基于对象的程序设计语言。
面向对象的程序设计不仅仅包含基于对象程序设计的特性，还支持继承和动态绑定。
OOP的应用
OOP最有前途的应用领域如下：
1、实时系统；
2、仿真和建模；
3、面相对象数据库；
4、超文本、超媒体和扩展文本；
5、AI和专家系统；
6、神经网络和并行程序设计；
7、决策支持和办公自动化系统；
8、CIM/CAM/CAD系统。
http://www.xuyiting.com
