高级语言程序设计方法学第10章-10.pdfVIP

第10章 面向对象程序设计语言 当今席卷软件界的面向对象技术，近因是 xerox 公司 1980 年推出的 Smalltalk-80 语 言。当时,美国国防部正在推行投资五亿历时 8 年的 Ada，试图先在军中统一再推广到全行 业，使之成为软件开发的主导语言。Ada 是过程语言的新阶段，提供数据封装、数据抽象机 制、并发、异常处理; 良好的易读性使 Ada 源代码能自成文档; 分别编译支持软件叠加和 重用；强类型增加软件的可靠性；Ada 率先提出 Ada 程序设计支持环境 APSE，把与机器相 关的机制作为预定义环境(包括基本类型和输入/出机制)，从而支持可移植性，能较好的满 足软件工程可靠、易维护、可移植、可重用的目标。但是，由于 Ada太大(编译及环境当时 的微机放不下)，统得过死(廉价编译和环境推出太晚，一定要通过 ACVC 测试才能得到 AJPO 承认)，且其本身反映了 70 年代末80年代初软件工程思想：严格管理和评审，导致软件开 发周期难于缩短，费用依然居高不下。80 年代软件工程推行并不顺畅，一些民间开发小系 统的制售商急于寻求新路。Smaltalk-80 带来的面对象思想为软件技术发展带来了生机。于 是，80 年代中期出现了一批 OO 语言，几乎所有老语言都作了面向对象改造。不仅如此，数 据库、分布式协作计算、多媒体技术、软件工程工具的集成，甚至计算机硬件都采用 OO 技 术。OO 软件开发方法学改变了传统软件开发模式。90 年代 OO 技术为各大公司、各种高技 术软件接受，并走向工业化、规范化、主流化的途径，其影响至今尚无消减迹象。 学习面向对象语言和技术，最正宗、最有效当从 Smalltalk 语言开始。我们首先接受 它原有的新范型，与传统过程—模块式大不相同的软件构建思路，再去观察各种技术如何 引入、结合 OO 技术，就会清晰得多。本章第一、二节介绍原理和实现技术；第三节总结面 向对象的基本特征及对应的代表语言；第四、五节分别介绍两个重要的面向对象语言 Ada95 和 Eiffel. 10.1 Smalltalk语言 对象的思想最早源于人工智能研究，60 年代末描述智能对象的帧(frame)即封装了许多 槽(slot)，槽既可以是属性(数据)也可以是行为(操作)和约束。但最早见诸文献是 sketchpad 提到的 OO 图形学(1963)。 60 年代挪威的 Dahl 和 Nyard 为模拟系统研制了 SIMULA-67 语言，首先提出封装的类和 动态生成实例对象的概念。 60 年代末，美国犹他大学 Alan Kay 在 FLEX 项目中为改善个人计算环境，研制窗口菜 单的动态生成和交互时，想到了 SIMULA 的类和对象。由于受到当时软件限制，其成果未推 广。70 年代初他到 Xerox 公司 PaloAlto 研究中心参加了 Dynabook 项目。该项目的硬件是 Star(个人机的前驱)软件是 Smalltalk，使用键盘、鼠标操纵图符、窗口、菜单，这在当时 是开创性的。1972 年 Dan Ingalls 完成 Smalltalk-72 第一个实用版，以后又经过-76-80 两次改进，Smalltalk-80 成为向外发行的正式版本。由于 Smalltalk 必须在专用机器和环 境上运行，它的全新编程范型，以及它的小型系统目标，没有得到很快的推广。但它第一 个正式提出“面向对象”完整的概念，在软件界产生深远的影响。 10.1.1 Smalltalk系统 Smalltalk-80 是专用机上的语言，只是在它成名之后才有一般操作系统(Unix，OS2) 上的版本。当时 Smalltalk 系统有四个组成: ·语言核心(Kernel) 规定了 Smalltalk-80 的语法和语义，它是交互式、无类型的、 编译—解释执行的程序设计语言。 第 1页 ·程序设计系统 即 Smalltalk 程序设计支持环境，包括它的界面工具软件和类库支 持。主要是类库，它的类库既支持系统(如解释器就是一个类)也支持应用(提供一组预定义 的类)都挂在基类 Object为根的类继承树之下。 ·程序设计范型(Paradigm) 由于OO程序设计和传统过程语言的程序设计在当时差别 较大，它在类这一级设计程序，且以派生新类重用老类为主。程序中的对象向类对象发消 息，可动态生成实例对象。它所提供的整套设计方法比较新颖。 ·用户界面