可变目标C编译器 第4章 类型

C程序中具有丰富的数据类型，包括声明中显式定义的类型和用做表达式中间类型的导出类型。例如，下面的赋值语句包含3 种不同类型:
    int *p, x;
    *p = x;
x是一个存放整数的单元的地址，因此x的地址的类型是：指向一个整数的指针。x的值的类型是整型。同样, p的左值的类型是指向一个整数的指针的指针，p的右值的类型是指向一个整数的指针，*p的类型是整数。lcc在编译赋值语句时必须处理所有这些类型。
lcc实现了类型表示和一组该表示之上的函数，本章将对此进行介绍。函数包括创建类型的类型构造函数以及测试类型 的类型断言函数。lcc还必须实现类型检查，确保声明和表达式遵守语言制定的规则。类型检查使用本章介绍的断言函数，详细参见第9章和第11章。
4.1 类型表示
C语言的类型通常用英文的前缀形式描绘，所谓前缀形式，就是指类型操作数在类型操作符之后出现。例如，int *p声明p是一个指向int的指针,就是C类型int*的前缀表示，指针是操作符，int是操作数，同样，char*(*strings)[10]将strings说明为:
    一个指针，指向
       一个大小为10的数组，每个数组元素是一个
          指针，指向
             字符
操作数在它们各自的操作符下以阶梯方式缩进。
表示这种前缀类型规范的方法有很多。例如，一些老的C编译器使用位串来表示，类型操作符和基本类型用若干位编码。位串表示非常紧凑并易于操作，但是一般会对基本和操作符的数目做一定限制，并且不能拥有表示大小的数据，例如不能表示数组的大小。
lcc 通过能反映类型的前缀规范的链接结构来表示类型，类型节点定义如下：
    (types.c typedefs) =
        typedef struct type * Type;
    (types.c exported types) =
          struct type {
                int    op;
                Type type;
                int    align;
                int    size;
         &