第13章 面向对象编程.pptVIP

13.1 抽象数据类型 定义:数据封装是将逻辑上相关联的常量、类型、变量和方法等组织在一起，形成一个新实体的机制，如过程、包和类等。 利用这个机制，程序能够限制数值的范围、可见度及新定义数据类型的封装函数。这样，就可以得到一种抽象数据类型。 13.1.1抽象数据类型的概念 抽象数据类型是对象的一个数据模型连同定义在该模型上的一组运算的统一体 。 逻辑类型就是逻辑值数据模型与3种逻辑运算（或、与、非）的统一体；? 整数类型就是整数值数据模型与4种算术运算（加、减、乘、除）的统一体； 13.1.2??抽象数据类型对程序设计的意义 ? 在定义了抽象数据类型之后，?算法底层的设计任务就可以明确为： (1)对于每一个抽象数据类型名赋予其具体的数据结构； ? (2)?对于每一个抽象数据类型上所定义的每一个运算名赋予其具体的运算内容。? 算法顶层（main）的设计任务就可以明确为通过接口对底层抽象数据类型的函数的调用。?? 算法顶层的设计与底层的设计完全可以分离、独立。? 在C++中所有的数据类型都可以认为是抽象数据类型，而类（class）把抽象数据类型突显了出来。 定义了一个类就好像是建起了一座来料加工厂，厂里有若干条生产线，可以以该类的实体成员（对象）为原料生产相应的若干产品，用户只要提供一个实体对象，指定一条生产线，工厂就会给他提供相应的产品，满足他的需求。 13.2 对象模型 尽管模块化和打包的思想在20世纪80年代得到了发展，但仍然存在问题。其中一个问题是，没有提供自动初始化和清理给定类型值的机制。 初始化通常是必须的，包括打开一个文件、内存分配和模块内变量的初始化等。而较重要的清理工作包括关闭文件和内存回收。 模块的另一个问题是，它没有提供一个简单的途径来添加新的操作，从而扩展抽象数据类型。“类”思想的引入可以解决这两个问题。 13.2.1 类 一.类的定义 类是一种类型声明，它将常量、变量以及操作这些变量的函数封装在一起。 1.类的声明 Java语言类声明的完整语法很复杂，下面先介绍最简单的形式： class 类名{ 类体 } 类体部分定义类的变量和方法。 变量描述该类对象的属性。 方法描述对象的行为特征，类似于C语言的函数。 Java语言中没有独立的函数和过程，所有的子程序都是作为方法定义的。 public class app13_1 //定义app13_1类 { public static void main(String[] args) //定义主方法 { System.out.println(Hello World !); } } 2．变量成员的定义 变量成员定义的一般形式为： [final] [private|protected|public] 类型 属性名[=初值]; final为可选项，用final修饰的成员变量为常量。在程序中不能改变常量的值，常量必须在定义时初始化。 成员变量初始化的方法与C语言相似，例如： class Point{ int x=0,y=0; } 成员变量的类型可以是Java语言中的任意数据类型，包括简单类型、数组、类和接口。在类中，成员变量名应该是唯一的。 3．方法成员的定义 方法成员的定义形式与C语言的函数定义类似，基本形式为： [private|protected|public] 返回值类型 方法名([形式参数表]) { 方法体 } Java语言中定义方法时必须指定返回值类型，如果该方法没有返回值，必须定义为void。如果某方法声明了返回值类型，必须保证该方法的每一条执行路径都有返回值。例如，下面的方法定义： int func(int a，int b) { if(ab) return a-b; } 该方法的定义是错误的，当a=b时该方法在执行时没有确切的返回值。这种情况在C语言中是允许的，但在Java语言中是不允许的。下面的方法定义是正确的： int func