第4章 类型系统.pptVIP

第4章 类型系统 学习目标： 理解类型系统的含义 理解多态性 理解隐式和显式类型转换 了解Java模板提供的一般性 4.1 引言 类型系统：一组禁止误用值（原型和对象）的规则 表现：系统规定先声明原型或对象，然后才能使用 为什么会误用值？ 不理解值的用法 拼错了值的名称 4.2 动态和静态类型系统 类型系统可以是静态（static，由编译器完成），也可以是动态（dynamic，由运行时系统完成） 静态类型系统禁止编译器间的误用；动态类型系统在程序运行时检查出现误用 4.3 多态性 多态性（polymorphism）用于变量和消息： 多态变量表示值在不同时刻表示不同的类型 多态消息表示有多个方法与对象相关 4.3.1 多态变量 多态变量 4.3.2 多态消息 任何消息都可以关联多个方法，因为方法在多个类中是独立的，或者方法由子类重新定义 多态消息 4.4 动态绑定 动态绑定：在运行期间把消息关联到方法上 动态绑定 练习2 练习2 考虑下面的代码段： 下面哪个赋值是正确的？ 练习3 如果把sh关联到square上： 发送下面的消息会有什么结果？ 4.5 多态性规则 样式规则：总是使用尽可能高的抽象级别来编程，即总是把字段、本地变量和方法参数的类型声明为继承层次结构中最高的类，再让多态性完成其他工作 优点：所使用的抽象级别越高，代码的可重用性就越大 4.6 类型转换 在静态类型的语言中，当从一个上下文给另一个上下文传送值时，需要确保新上下文与旧上下文兼容 改变上下文的三种情况 计算表达式 赋值 参数传递 类型转换 把值从一种类型转换为另一种类型称为类型转换（casting） 隐式转换：客户程序员不必做任何工作，编译器可以确定转换是否有效，并进行转换 隐式转换 一般情况下，如果新上下文的取值范围比旧上下文大，就可以进行隐式转换 在原型值中，“取值范围较大”表示新上下文可以容纳旧上下文的所有值 对于对象值，“取值范围较大”表示新上下文是旧上下文的直接或间接超类 4.7 显式类型转换 隐式类型转换：在表达式中合并使用不同类型的值，把不同类型的值赋予变量，从而使静态类型的编程语言更丰富 显式类型转换：从一种上下文转换为兼容、但取值范围较小的上下文 显式类型转换 “向上转型”与“向下转型” 向上转型（upcast）：沿着层次结构向上转型，即隐式转换 向下转型（downcast）：沿着层次结构向下转换，即显式转换 注：向下转型不常用，仅在使用一般消息（返回类型必须与所有对象兼容的消息）检索对象时使用，如Stack类。 Stack类的相关操作 4.8 使用模板进行泛化 在Java中，通常使用泛化（generaicity）取代向下转型 一般类：使用一个或多个类参数引用它希望处理的对象类型 模版：Java中将一般类称之为模板（Java语言的新概念） 使用模板进行泛化 4.9 小结 类型系统采用声明使用者的方式，防止误用的发生 多态性允许变量存储不同类型的值，允许把一个消息关联到多个方法上，待运行时确定 对象类型之间的转换：隐式转换和显式转换 Java模板，一般类使用参数引用它希望处理的对象类型 * 第4章 类型系统 * int i; Employee fred; Truck t = new Truck( ); LandVehicle lv = new Truck( ); LandVehicle lv = new Train( ); lv:多态变量 Bird b = new Finch(); b.flyTo(someLocation); b = new Eagle(); b.flyTo(someLocation); b.flyTo():多态消息 Shape getPerimeter():int getNumberOfCorners():int Quadrilateral getPerimeter():int getNumberOfCorners():int Square getPerimeter():int Shape sh = new Square(); int i = sh.getPerimeter(); int j = sh.getNumberofCorners(); Shape getPerimeter():int Quadrilateral getPerimeter():int Square getPerimeter():int Triangle getPerimeter():int getHeight():int Shape sh; Triangle tr = new Triangle( );