类型和声明 类型检查( Type Checking 利用一组规则来检查运算分量的类型和运算符 的预期类型是否匹配。 类型信息的用途 査错、确定名字需要的内存空间、计算数组完 素的地址、类型转换、选择正确的运算符 ·本节的内容 确定名字的类型, 变量的存储空间布局(相对地址)类型和声明 • 类型检查(Type Checking) – 利用一组规则来检查运算分量的类型和运算符 的预期类型是否匹配。 • 类型信息的用途 – 查错、确定名字需要的内存空间、计算数组元 素的地址、类型转换、选择正确的运算符 • 本节的内容 – 确定名字的类型， – 变量的存储空间布局（相对地址）