研究生课程_程序语言设计原理教程_第08章汇.ppt

第8章 抽象与封装 8.2 抽象数据类型 构造函数和析构函数 C语言以文件实现抽象数据类型 8.3 类属 8.3.1 类属定义一般形式 类属参数 类属动态实现问题 8.4 类和对象 * * 函数和过程是封装的程序实体，它有数据和操作， 规格说明（型构）和过程体，一体使于人们控制复杂性 Pascal统一的嵌套结构不造于大型程序 数据2 sub1-- sub10 数据4 sub22 --sub28 数据1 sub11-- sub15 数据3 sub16 --sub21 main 续 将相关的数据和操作封装成大模块（若干类型，若干过程/函数） 结构上形成包package或模块 Modula 包是可分别编译。随时连接软件资源，是解决复杂系统的有力手段 包的规格说明和包体显式分开。语义上正好是“作什麽”，“怎麽做” 8.1 模块和包 规格说明和体在表示结构上的分离。有利于修改，维护 封装实现数据隐藏，有利于安全 规格说明是程序包的抽象，有利于复杂系统简化 模块（包）封装数据与操作，它有可控界面，外界不能操纵私有数据引出公有（public包的使用者可见）、私有（private本包所有操作可访问，包外不可见）、保护（protected,包外不可见，但本包的子包可见）概念 包只是以封装手段,可有/可没有逻辑语义 --只有数据无操作，数据块BLOCK DATA（FORTRAN） --只有操作无共享数据如函数包，数学库 --有数据有操作，一口对外可模拟自动机 --有数据有操作，模拟客观世界对象—增加程序表达能力 --封装的包可实现复杂的数据类型ADT Ada 的复数程序包 package COMPLEX is type NUMBER is record REAL_PART:FLOAT； IMAG_PART:FLOAT； end record; function +(A，B: in NUMBER) return NUMBER； function -(A，B: in NUMBER) return NUMBER； function *(A，B: in NUMBER) return NUMBER； end COMPLEX； package body COMPLEX is 声明私有数据/操作 实现规格说明中定义的每一个过程/函数 实现本包私有过程/函数 endCOMPLEX; 有了这个程序包我们可以编出复数应用程序： with COMPLEX； use COMPLEX； procedure MAIN is COMP_1: NUMBER ∶= (1.0，2.0)；--1+2i COMP_2: NUMBER : =(3.0，4.0)； -- 3+4i W， X，Z: NUMBER； begin W ∶= COMP_1 + COMP_2； --W = 4+6i X ∶= COMP_2 - COMP_1； --X = 2+6i Z ∶= COMP_1 * COMP_2； --Z = -5+10i end MAIN； 数据抽象 数据抽象是抽象数据类型的方法学 定义一组数据集V，以及其上的操作集Op，构成 ADT（Abstract Data Type） T=( V , Op ) --什么和怎么做分开(规格说明和体) --实现数据隐藏（体中声明的数据和操作外界不可见） --分别开发分别编译（可做大程序） --简化复杂性便于调试（利用抽象实现分治） --构造新类型，计算直观方便（面向对象的基础） 构造新类型 Swith COMPLEY use COMPLEY; Procedure MAIN is C1:NUMBER is =(1.0,2.0); C2:NUMBER is =(3.0,4.0); W ,X, Z :NUMBER; begin W:=C1+C2; X :=C2-C1; Z :=C1*C2; end MAIN - * + Number LEX COMP 变量—类型