面向对象范型.pptVIP

Object Oriented Paradigm 面向对象范型 摘要 从面向过程到面向对象 面向对象的建模 面向对象原则 面向对象基本概念 范型 Paradigm：范型、范例、风范，程序设计的体裁，用程序设计语言表达各种概念和各种结构的一套设施。 范型的选择影响整个软件开发生存周期，它支配了设计方法、编程语言、测试等技术的选择。 不同的编程语言提倡不同的编程范型。 例如 过程性范型，Pascal，C 函数型范型，Scheme 逻辑型范型，Prolog 面向对象范型，Smalltalk，Java …… 混合范型，Common Lisp，Python 语言对面向对象范型的支持 范型设计需要某种实现语言或一组协同语言的支持 过程性范型 vs 面向对象范型 模块与对象 过程调用与消息传递 类型与类 静态连接与动态连接 面向对象的建模 模型 为方便研究、理解和解决客观世界中存在的种种问题而对客观显示经过反复思维抽象后的文字、图表、符号、关系式以及实体模样的集合，以描述所认识到的客观实物的一种直观表现形式。 模型不是客观世界的全部，仅仅是经过抽象的简化表示。 建模的目的是为了解决客观世界中存在的问题，而不仅仅是为了描述客观事物。 面向对象的建模 Booch Coad/Yourdon OMT：对象模型，功能模型，动态模型 Jacobson UML 面向对象的建模 “面向对象的软件构造”含义（1） 面向对象的软件构造（OOSC）乃是基于系统所操作之对象类型（而非系统需实现之功能）来架构系统的途径。 Meyer: “Object-oriented software construction is the approach to system structuring that bases the architecture of software systems on the types of objects they manipulate — not on “the” function they achieve.” 面向对象原则 面向对象原则 抽象 从众多的事物中抽取出共同的、本质性的特征，而舍弃其非本质的特征。 抽取事物的共同特征就是抽取事物的本质特征，舍弃不同特征。所以抽象的过程也是一个裁剪的过程，不同的、非本质性的特征全部裁剪掉了。 共同特征是相对的，是指从某一个刻面看是共同的。抽象的角度取决于分析问题的目的。 抽象是解决复杂问题采用的基本方法之一！  抽象方式 实体抽象(entity abs.)：抽象出的对象表示实际系统对解决问题有帮助的模型 动作抽象(action abs.)：抽象出的对象提供一组通用的操作组成的集合 虚拟机抽象(virtual machine abs.)：抽象出的对象包含操作，这组操作被更高层应用用来实施它们所需要的控制和操作 共存抽象(coincidental abs.)：抽象出的对象包含一组相互之间无关系的操作。 过程抽象 vs 数据抽象 过程抽象：指任何一个明确定义功能的操作都可以被使用者看作单个的实体，尽管这个操作实际上可能由一系列更低级的操作完成 数据抽象：定义了数据类型和施加于该类型对象上的操作，并限定了对象的值只能通过使用这些操作修改和观察。包含了2个概念： 模块封装 信息隐蔽 数据抽象的优势 模块封装的优势 Program organization, modifiability (everything associated with a data structure is together), and separate compilation 信息隐蔽的优势 Reliability--by hiding the data representations, user code cannot directly access objects of the type or depend on the representation, allowing the representation to be changed without affecting user code 数据抽象的意义 数据抽象提供了面向对象计算的起点：系统应该被分解为概念上的实体，实体的内部细节应该被隐藏！ 数据抽象发展 第一阶段：从无类型的二进制到基本数据类型 Fortran, Algol: 整型、实数、布尔数 第二阶段：从基本类型到用户自定义类型 Algol68, Pascal 第三阶段：从用户自定义类型到抽象数据类型（Abstract Data Types） 模块化程序设计和模块 Abstract Data Type 数据类型由一个对象集合(值集合)以及在该集合上定义的若干合法运算所组成的运算集合组成。 抽象数据类型(ADT