在前文对函数调用进行语义检查时,我们用函数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对象,如果是,则为相同类型的对象,自然就是彼此兼容的;否则还需要进一步判断。