变量类型-程序设计语言原理.PPTVIP

第三章 过程式程序设计语言 3.1 计算对象-值与类型 3.1.1 字面量、变量、常量 续 3.1.2 值是头等程序对象 程序语言中的值 字面量(整、实、布尔、字符、枚举、串) 复合量(记录、数组、元组、结构、表、联合、集合、文件) 指针值 变量引用(左值、右值) 函数和过程抽象，数学对象参与运算的权利是一样的，值是计算对象也要按一致性原则： 可出现在表达式中并求值 可作函数返回值 可单独存储 可以构成复杂的数据结构 可作函数参数 3.1.3 类型系统 3.1.3 类型系统 静态与动态 静 动 变量 有类型 无类型 动态简洁、灵活 参数 有类型 无类型 静态清晰、死板 值 有类型 有类型 弱/强类型 无类型 LISP , Smalltalk 弱类型 变量有类型。类型兼容性大, 系统不作检查 强制类型 隐式类型强制（转换），自动截尾, 补零。显式 类型强制 PL/1 伪强类型 静态均有类型且作检查,由于不严,导出等价准则 Pascal 强类型 类型有严格定义, 均作检查 Ada 续 3.1.4 类型兼容 不同类型值混合运算, 人为定出计算级别，由低 层升格为高层, 结果值是高层的 隐式转换 弱类型 I := R； 显式转换