第五类型检查.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 例 题 3 结论 对一个t 类型的数组a[ i1 ][ i2 ]…[ in ]来说， 表达式a的类型是： pointer(array(0.. i2–1, … array(0.. in–1, t)…)) 表达式a的类型是： pointer(array(0.. i1–1, … array(0.. in–1, t)…)) 例 题 4 在X86/Linux机器上，编译器报告最后一行有 错误：incompatible types in return typedef int A1[10]; | A2 *fun1( ) { typedef int A2[10]; | return(a); A1 a; | } typedef struct {int i;}S1; | S2 fun2( ) { typedef struct {int i;}S2; | return(s); S1 s; | } 在C语言中，数组和结构体都是构造类型， 为什么上面第2个函数有类型错误，而第1个函 数却没有？ 例 题 5 编译器和连接装配器未能发现下面的调用错误 long gcd (p, q) long p, q;{/*这是参数声明的传统形式*/ /*参数声明的现代形式是long gcd ( long p, long q) { */ if (p%q == 0) return q; else return gcd (q, p%q); } main() { printf(“%ld,%ld\n”, gcd(5), gcd(5,10,20)); } 习 题 第一次：5.4, 5.6 第二次：5.16, 5.17 第三次：5.18 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5.5 类型表达式的等价 5.5.1 类型表达式的结构等价 两个类型表达式完全相同（当无类型名时） type link = ?cell; var next : link; last : link; p : ?cell; q, r : ?cell; 5.5 类型表达式的等价 5.5.1 类型表达式的结构等价 两个类型表达式完全相同（当无类型名时） 类型表达式树一样 type link = ?cell; var next : link; last : link; p : ?cell; q, r : ?cell; 5.5 类型表达式的等价 5.5.1 类型表达式的结构等价 两个类型表达式完全相同（当无类型名时） 类型表达式树一样 相同的类型构造符作用于相同的子表达式 type link = ?cell; var next : link; last : link; p : ?cell; q, r : ?cell; 5.5 类型表达式的等价 5.5.1 类型表达式的结构等价 两个类型表达式完全相同（当无类型名时） 有类型名时，用它们所定义的类型表达式代换 它们，所得表达式完全相同(类型定义无环时) type link = ?cell; var next : link; last : link; p : ?cell; q, r : ?cell; next, last, p, q和r结构等价 ?cell ?cell 5.5 类型表达式的等价 类型表达式的结构等价测试sequiv(s, t) (无类型名时) if s 和 t 是相同的基本类型then return true else if s == array(s1, s2) and t == array(t1, t2) then return sequiv(s1