程序设计语言与编译ppt课件_2.5 类型检查、类型转换、类型等价.pptxVIP

第二章数据类型;对数据的操作和对应的类型是否匹配的一致性检查称为类型检查。

静态检查和动态检查：

(1)静态检查使程序更有效

(2)动态检查使编程更方便，但影响了可靠性，且降低了执行效率

;语言的分类

语言可以按类型进行分类，可分为：

无类型语言

强类型语言

弱类型语言

;无类型语言

一个语言没有任何数据类型，则称为无类型语言。

如：函数式语言（functionalprogramminglanguage——FP）和泛函程序设计语言（正式函数式程序设计语言：Formalfunctionalprogramminglanguage——FFP）;强类型语言

语言的所有类型检查都在编译时完成

——强类型语言（C、ADA）

弱类型语言

若类型检查全部或部分要在运行时完成

——弱类型语言（PASCAL）

;第二章数据类型;某种类型的值转换为另一种类型的值称为类型转换。

语言应该提供类型转换机制

隐式（自动）转换

显式（强制）转换

;在某些语言中，类型转换的要求和规则都是隐式的

——FORTRAN语言

在某些语言中，类型转换的要求和规则都是显式的

——ADA语言

在某些语言中，类型转换的要求和规则有隐式、显式的两类

——C语言;注意语言规定的转换规则

隐式转换发生在下述的情况下

混合运算：级别低的类型向级别高的类型值转换。

将表达式的值赋给变量：表达式的值向变量类型的值转换。

实参向函数形参传值：实参的值向形参的值进行转换。

函数返回值：返回值向函数返回类型的值进行转换。;第二章数据类型;T1和T2是两个类型

T1的任何值都可以赋予T2的变量，反之亦然；

T1实参可对应T2形参，反之亦然，

则T1和T2类型等价（相容）。