合工大计算机学院程序设计第十二章结束语.pptVIP

第十二章　 结束语（了解） § 12.1　程序设计风范 过程程序设计 模块程序设计 类型程序设计 面向对象程序设计 其它程序设计风范 过程程序设计 首先决定需要什么样的过程（procedure)，然后采用最好的算法实现过程。 过程程序设计将注意力集中在处理的设计以及需要完成计算的算法上，支持这种方法的程序设计语言必须提供子程序与参数传递机制。 模块程序设计 设计程序的重点从过程的设计转移到对数据的组织。 数据与操纵这些数据的相关过程合称为模块（module) 模块程序设计：首先决定需要什么样的模块，然后划分程序，使数据隐藏在模块之中。 类型程序设计 类型程序设计风范是：首先决定需要哪一些类型，然后为每一种类型提供操作的全集。 Ada、CLU和C＋＋语言可帮助程序员定义与固有类型用法相同的类型，这样的类型通常称为用户自定义类型（user-defined type）。 用户自定义类型的典型例子是算术类型（如有理数、复数等类型） 面向对象程序设计 面向对象程序设计的风范：首先决定需要什么样的类，再为每一个类提供操作的全集，最后利用继承机制显式地抽取出类之间的共性。 其它程序设计风范 在程序设计领域还存在着一些截然不同的程序设计风范。例如： 在函数程序设计（functional programming)中，程序被看作是一个描述输入与输出之间关系的数学函数，Lisp语言和ML语言是支持函数程序设计的优秀语言。 在逻辑程序设计（logic programming）中，程序被看作是描述输入与输出之间关系的一组方程，Prolog语言是这方面的代表。 在并发程序设计中，程序被看做是高度共享数据、并发执行的进程，以Occam语言和产发Pascal语言作为代表。 § 12.2　面向对象程序设计语言 Simnla语言 由挪威Ole Dahl和Krysten Nygaard等人于1967年提出，当时取名为Simula 67。 其前身为Simula 1，主要是为离散事件而设计，演化为Simula 67时已成为一种通用程序设计语言，而离散事件只是它的一个应用领域。 Simula语言在ALGOL 60的基础上发展起来，数据结构与控制结构都与ALGOL 60相同，但引入了对象、类、继承等概念。Simula语言在面向对象程序设计中具有重要的意义。 Smalltalk语言 程序由若干类构成，没有主程序，类是唯一程序单位。每一对象都是某个类的实例，一个类的所有对象都有相同的消息接口，类刻划了如何通过该消息接口获取对象的操作。类由实例变量和方法构成：实例变量刻划了对象的状态，方法是访问和改变状态的操作。 对象之间通过消息机制进行通信，接收对象根据发送对象的消息选择相应的方法，并作出相应的响应。 支持多态性：不同的对象接收到相同的消息会作出不同的响应。 引入了元类（meta-class）概念，因为程序的任何成分都是对象，因而类也是对象—类是某一个元类的实例，且该元类有且仅有一个对象。类描述了对象的私有性质，元类描述了该类对象的公有性质。类和元类是一一对应的，所以正文中放在一起描述。 支持问题单继承，在子类中可重定义超类中的方法。 Eiffel语言 美国Interactive Software Engineering公司的Bertrand Meyer开发，1986年底推出1.0版本，1991年7月推出较完整的3.0版本。 完全根据面向对象程序设计思想设计出来的纯面向对象语言，推出后备受程序设计理论界推崇和欢迎，由于实现效率与开发环境等原因，语言的实际应用与开发远远不及C＋＋语言广泛。 Java语言 适合于分布式计算的、简洁有效的新型面向对象程序设计语言 美国Sun Microsystem公司1990年开始设计，目前推广最快的程序设计语言。将面向对象、平台无关性、稳定与安全性、多线程等特性集于一身，为用户提供了一个良好的程序设计环境，特别适合于Internet的应用开发。与当前迅速发展的Internet紧密结合是其成功的关键所在。 可看作C＋＋的派生语言，从C＋＋语言中继承了大量的语言成分，抛弃了C＋＋语言中冗余的、容易引起问题的功能（如头文件、编译指令、预处理器、指针、结构、隐式类型转换、操作符重载、goto语句等），增加了多线程、异常处理、网络程序设计等方面的支持。 Java语言包括以下新特性： 平台无关性 支持语言级多线程 垃圾自动收集机制 稳定性与安全性 动态特性 * * 程序设计风范 面向对象程序设计语言（简介） 子类/派生类 子类 子类 后继类 派生类 继承 继承 继承 继承 继承 抽象方法 虚子程序 抽象方法 延迟例程 虚函数 方法调用 子程序调用 消息发送 例程调用 函数调用 方法成员 子程序 方法 例程 成员函数 数据成员 属性变量 实例