编译原理（三）类型检查

静态检查中最典型的部分——类型检查： 类型系统、类型检查、多态函数、重载 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查 上面不能在不该出现continue的地方出现continue。 C语言： 称&为地址运算符，&a为变量a的地址 数组名代表数组第一个元素的地址 问题： 如果a是一个数组名，那么表达式a和&a的值都是数组a第一个元素的地址，它们的使用是否有区别？  用四个C文件的编译报

>>阅读原文<<