本次笔记内容:
6-1 类型表达式
6-2 声明语句的翻译
本节课幻灯片,见于我的 GitHub 仓库:第11讲 中间代码生成_1.pdf
文章目录
类型表达式 Type Expression
基本类型是类型表达式:
- integer
- real
- char
- boolean
- type_error (出错类型)
- void (无类型)
基本类型是类型表达式,可以为类型表达式命名,类型名
也是类型表达式;将类型构造符
(type constructor) 作用于类型表达式
可以构成新的类型表达式:
- 数组构造符 array
-
- 若 T 是类型表达式,则 array(I, T) 是类型表达式( I 是一个整数)
- 若 T 是类型表达式,则 array(I, T) 是类型表达式( I 是一个整数)
- 指针构造符 pointer
-
- 若 T 是类型表达式,则 pointer ( T ) 是类型表达式,它表示一个指针类型
- 笛卡尔乘积构造符