编译原理 课件chapter5.pptVIP

5.8.1 类型表达式 ?5.8.1.1 类型表达式定义 ??? ?语言结构的类型由类型表达式指称，类型表达式依赖于程序语言的类型体制。类型表达式或者是简单类型表达式，或者是构造符作用在类型表达式上得到的类型表达式。类型表达式的定义如下： （1）类型名和基本类型是类型表达式。 integer、char、real、boolean是基本类型， 所以它们是类型表达式。另外，void表示 “无类型”，type_error表示“出错类型”，它 们也是类型表达式。 ??（2）类型构造符作用于类型表达式的结果仍然是 类型表达式。类型构造符包括： ?? （a）数组构造符ARRAY：若T是类型表达式， 则ARRAY（I,T）是类型表达式；  （b）笛卡儿乘积?：若T1、T2是类型表达式，则 T1? T2是类型表达式，且?是左结合。 ? （c）记录类型构造符RECORD：若有标识符N1、 N2、…、Nn与类型表达式T1、T2、…、Tn， 则RECORD（（N1 ? T1） ? （N2 ? T2）? …? （Nn ?