有关于面向对象技术.pptVIP

类：对象程序的基本结构 模块module与类型type的统一： Module = Unit of decomposition: set of services Type = Description of a set of run-time objects (“instances” of the type) 二者联系: The services offered by the class, viewed as a module, are the operations available on the instances of the class, viewed as a type. * Institute of Computer Software Nanjing University * * Institute of Computer Software Nanjing University * 模块与类型的统一 模块是软件分解的单元，是语法概念 类型是某些动态对象的静态描述，是语义概念 传统语言 模块与类型分离 对象语言 模块与类型统一 类型：类是抽象数据类型的实现 模块：类是对象式程序的基本组成单元 基于类的面向对象的语言机制的强有力之处在于“类”统一了类型和模块 类之间的关系 允引 Client 继承 Heir * Institute of Computer Software Nanjing University * * Institute of Computer Software Nanjing University * 层次性 封装性帮助隐藏细节；模块化使结构更加有序，但仍然不够！ 层次性是对抽象的排序和定位 类结构关系（”is a”） 对象结构关系（”part of”） 实现方式 继承：子类，父类 单继承，多继承 聚合：拥有关系/组合关系 Overall system structure * Institute of Computer Software Nanjing University * CHUNK word_count justified? add_word remove_word justify unjustify length font FIGURE PARAGRAPH WORD space_before space_after add_space_before add_space_after set_font hyphenate_on hyphenate_off QUERIES COMMANDS FEATURES Inheritance Client 小结 ADT Why What How * Institute of Computer Software Nanjing University * 作业 1.给出队列（先进先出）的抽象数据类型 2.给出容量受限的堆栈（后进先出）的抽象数据类型（假设最大容量为max） * Institute of Computer Software Nanjing University * * 构造算子产生该数据类型的一个新元素 观察算子作用于该数据类型的元素，但返回其它类型的元素，如自然数或布尔值 运算算子是该数据类型上的函数，但它不产生新元素 * A stack, concrete object * * count representation (array_up) capacity representation [count] := x free (array_down) 1 representation n new (linked) item item previous item previous previous “Push” operation: count := count + 1 representation [free] := x “Push” operation: free := free - 1 new (n) n.item := x “Push” operation: n.previous := last head := n Abstract Data Type 数据类型由一个对象集合(值集合)以及在该集合上定义的若干合法运算所组成的运算集合组成。 抽象数据类型(ADT)：用数学方法定义对象集合和运算集合，仅通过运算的性质刻画数据对象，而独立于计算机中可能的表示方法 * Institute of Computer Software Nanjing University * ADT规约方法 代数方法 模型方法 C.A.R. Hoare的前后断言方法：通过已定义的(抽象)数据类型来给出要定义的新类型的抽象模型 * Institute of C