例:设有C语言程序段 Rint a, b real x scanf(%d”,&a) b=10 X=a/b a:=a-X*10;
例:设有C语言程序段 {int a,b; real x; scanf(“%d”,&a); b=10; x:=a/b; a:=a-x*10; }
可以看出,上述二个程序段期望完成的功能是一样的, 但前者不能通过编译,而后者能顺利通过编译的类型检查, 这是因为C语言中赋值语句a:=a-x*10中也包含了强制将实型 转换成整型。 根据语言的类型定义方式,可以将类型分为基本类型和 构造类型,基本类型是指系统已定义的数据类型,如C语言 的整型、浮点型(实型)、字符型。构造类型的指通过基 本类型或已定义的类型构造出的新的数据类型,如 Pasca|中 的数组、记录和集合。引进了构造类型后,类型的合法性检 查变得复杂。其检查方法有二大类,一类是名字等价,另 类是结构等价。 所谓名字等价也就是如果个类是箦价的,当且仅当二个 类型的名字或与类型名字的别名是等价的
可以看出，上述二个程序段期望完成的功能是一样的， 但前者不能通过编译，而后者能顺利通过编译的类型检查， 这是因为C语言中赋值语句a:=a-x*10中也包含了强制将实型 转换成整型。 根据语言的类型定义方式，可以将类型分为基本类型和 构造类型，基本类型是指系统已定义的数据类型，如C语言 中的整型、浮点型（实型）、字符型。构造类型的指通过基 本类型或已定义的类型构造出的新的数据类型，如Pascal中 的数组、记录和集合。引进了构造类型后，类型的合法性检 查变得复杂。其检查方法有二大类，一类是名字等价，另一 类是结构等价。 所谓名字等价也就是如果二个类型是等价的，当且仅当二个 类型的名字或与类型名字的别名是等价的
例:设有 Pasca程序段 type int=integer; var a: integer; b integer c int. a和是同型备meer萬它和是价的:然和Q的型 eger 价的。 胃结构等价也就是如果二个类型是等价的,当且仅当二个 型真有相同的类型表达式
例:设有Pascal程序段 type int=integer; var a:integer; b:integer; c:int; …… a和b是同一类型名integer故它们是等价的；虽然a和c的类型 名不同，但是int是integer的一种别名，故a和c的类型还是等 价的。 所谓结构等价也就是如果二个类型是等价的，当且仅当二个 类型具有相同的类型表达式
定义72类型表达式是递归定义的: (1)类型表达式是基本数据类型 (2)类型表达式是由数组、记录、集合、指针、函数等作用在 类型表达式上的类型 检査类型的名字等价相对简单,只要为定义的类型名建立 张符号表,通过查表就可以判定二个类型是否名字等价。虽 然,对于类型的等价的直观概念是结构等价,但结构等价检査 的实现方法稍复杂。需为每个类型建立表示类型的结构树或无 环有向图,如图为类型 record re cord name array [1. 20] of char age. Integer 红 end 的树结构表示 其中,aray中的 integer 表示下标的类型 图7-1类型的结构树
定义7.2 类型表达式是递归定义的: (1) 类型表达式是基本数据类型 (2) 类型表达式是由数组、记录、集合、指针、函数等作用在 类型表达式上的类型。 检查类型的名字等价相对简单，只要为定义的类型名建立 一张符号表，通过查表就可以判定二个类型是否名字等价。虽 然，对于类型的等价的直观概念是结构等价，但结构等价检查 的实现方法稍复杂。需为每个类型建立表示类型的结构树或无 环有向图，如图为类型。 record name :array[1..20] of char; age:integer end; 的树结构表示。 其中，array中的integer 表示下标的类型
对于如说明链表或树的数据结构的定义时,需递归定义。因 此递归定义的类型图为无环有向图。图为类型 type link=↑node; node=record name array[1. 20] of char next. ink end 的无环有向图 Huode= record pO FIr 图72递定义的无环有向图
对于如说明链表或树的数据结构的定义时，需递归定义。因 此递归定义的类型图为无环有向图。图为类型 type link=↑node; node=record name :array[1..20] of char; next:link end; 的无环有向图