第四章 類型检查.pptVIP

第四章 类型检查;静态语义检查：;本章的目的：;4．1 类型简介;4.1.1 从不分类到类型;4.1.2 静态类型与强类型;4.1.2 静态类型与强类型（续1）;4.1.2 静态类型与强类型（续2）;4.1.3 多态（Polymorphism）;2 多态的分类;① 通用多态: 实例可以有无穷多个;① 通用多态: 实例可以有无穷多个（续1）;① 通用多态: 实例可以有无穷多个（续2）;② 特定多态：有限个不同的、且不关联的类型;3 几乎多态的语言;4.1.4 面向对象程序设计语言（OOPL）;1 Ada83支持data abstractions;2 Ada83程序包不是类型;2 Ada83程序包不是类型（续）;3 面向对象机制的两种实现方法;1. ADT类型化－Ada95 的标签类型;1. ADT类型化（续1）;2. C++结构的扩充;3. C++的class;4. Ada95中类与继承的实现方法;4 OOPL与OOP范型（paradigm）;本章主要内容;结 束（2005年4月22日）;4.2 类型系统4.2.1 类型表达式;4.2.1.1 类型表达式的递归定义 ;4.2.1.1 类型表达式的递归定义（续1）;3 类型构造符;3 类型构造符（续1）;3 类型构造符（续2）;3 类型构造符（续3）;3 类型构造符（续4）;3 类型构造符（续5）;4.2.2 类型表达式的图型表