编译原理与技术.pptVIP

《编译原理与技术》－类型检查 编译原理与技术 类型检查 类型检查 类型体制 类型检查 － 类型等价 类型转换 － 隐式转换 － 显式转换 类型推导 － 算符重载 类型体制 程序设计语言中的类型 － 类型代表着某类值（域）的集合，如整型（数）、实型（数）、字符串等。 － 类型本身具有结构；多数语言提供称为基本类型或预定义类型的“内建”类型，如C的int，char和double。同时可以应用类型构造器作用于基本类型得到“复合类型”，常见的类型构造器有record/struct、array、set、pointer、function等。 － 用“类型表达式”来表示具有类型的语言结构 －“类型体制”也就是将类型表达式指派到语言结构上的规则（集合），而类型检查则是来实现这个类型体制。 基本类型 C Java long double double double float float long long long int long short int char short byte char boolean 复合类型 － 结构/记录（不同类型的对象聚集） C Pascal struct foo { RECORD int a; var a : integer; float b; var b : real; } ; END ; struct foo X; X.a = … － 联合/变体（union/variant) － 位域（bit fields） 复合类型 － 数组（相同类型的对象聚集） C Java Pascal int a[11]; int [ ] a; var a : array [0..10] of integer; a[0] = … a = new int[11]; a[0] := … 复合类型 － 指针 C Java Pascal int *a; Integer Ref; var p : ^ integer; int x = 11; new(p); Ref = new Integer(15); a = x; Ref . intValue() ; *a = … p := … p^ := … void 类型 － 返回类型、空参数列表 如C中：void foo( void ) － cast 如： int foo(…) ? (void) foo(…) － 通用指针 如C中，int *ptr ; … ? (void *) ptr 类型表达式 语言结构的类型可表示为类型表达式。 － 基本类型可作为类型表达式； － 类型名也可以是类型表达式； － 采用类型构造器作用于类型表达式上，可以得到新的类型表达式。 （1）数组：array( I, T ) ; I 、T分别为下标与数组元素的类型； （2）积：x ； 如 T1 x T2 ； （3）记录：record ( (域名x域类型) 的积 ) （4）指针: pointer( T ) ; T 为所指对象类型 （5）函数：参数类型的积 ? 结果类型 － 类型表达式可以含（类型）变量。 e.g. 给出以下声明的类型表达式： typedef struct { char name[32]; int age; float score; } student; student stu1, stu2; //stu1的类型表达式如下： record( (name x array(0..31, char) ) x (age x int ) x (score x float ) ) e.g. 给出以下函数的类型表达式： student * enter( char * name, int age, float score ) 函数enter的类型表达式为： ( pointer(char) x int x float ) ? pointer( student) 类型检查 类型检查就是语言类型体制的“实现” 如