C编译器剖析_C类型系统_相容类型Compatible Type

     在前文对函数调用进行语义检查时，我们用函数CanAssign()来判断“能否把实参赋值给形参”，在函数CanAssign中，我们又用宏IsCompatiblePtr来判断两个指针是否相容。而如果指针类型T1 * ptr1和T2 * pt2相容，则意味着类型T1和T2是相容的。UCC编译器中ucl\type.c的函数IsCompatibleType()用于判断类型是否相容，与类型系统相关的数据结构请参见”2.4节 C语言的类型系统”中的各个示意图，而在这一节中，我们要对与IsCompatibleType()相关的几个函数做进一步讨论。我们先举个简单的例子来说明类型相容的概念，以下两个对arr的声明被视为兼容的，其出发点是遇到int arr[]时，我们只是暂时不知道其数组大小，稍后遇到了int arr[3]时，我们知道其数组大小为3，因此以下对arr的两次声明对应的是内存中的同一个数组对象。需要注意的是，以下对于a的两次声明被视为是冲突的，因为int占4字节，double占8字节，两者内部的数据组织形式也不一样，如果硬要规定把a当double来处理，那程序员在分析以下函数f()时，若没有注意到离得比较远的double a，却发现在f()函数中sizeof(a)竟然是8，那其脑门上不知要浮现出多少个问号。但需要注意的是，进行赋值时，我们可以把整型的b赋值给double型的c，这需要编译器进行隐式的类型转换，但不论如何转型，程序员使用变量名b和c时，C编译器与C程序员的约定仍旧是“b对应内存中的一个int类型的变量，而c对应double类型的变量”。虽然在UCC编译器exprchk.c的个别地方用到了IsCompatible()函数，但这个函数主要还是用在declchk.c中，换言之，我们主要是在处理形如int arr[]和int arr[3]的声明时，用IsCompatible()函数来检查一下"同名的两个声明其类型是否相容"，后续在分析declchk.c时我们会看到这一点。

         int arr[];            //  相容 compatible

         int arr[3];

int a;                  //  不相容 incompatible

void f(){

   sizeof(a);

}

double a;

int b; double c;  //                  

c = b;

    接下来，我们来分析一下IsCompatible()函数的代码，如图4.2.31所示。图4.2.31第3行用于判断ty1和ty2是否指向同一个struct type对象，如果是，则为相同类型的对象，自然就是彼此兼容的；否则还需要进一步判断。