程序设计语言与编译原理 第二章数据类型课件.pptxVIP

程序设计语言与编译1第二章 数据类型数据类型实质上是对存储器中所存储的数据进行的抽象。它包含了一组值的集合和一组操作。 程序设计语言与编译2本章内容1、将类型作为数据结构的抽象表示可以分为三个层次的抽象，即内部类型、用户定义类型和抽象数据类型2、数据类型与编译有关的几个问题3、类型的实现模型 程序设计语言与编译32.1 引言1. 数据类型的作用实现了数据抽象从机器的具体特征中解脱出来提高了编程效率 程序设计语言与编译4语言的某种特定的数据抽象受到两个因素的影响：语言所面向的机器（只提供定点运算或同时提供浮点运算）；语言所面向的应用领域。 程序设计语言与编译52. 数据类型的分类内部类型 自定义类型 程序设计语言与编译6语言根据所面向的机器和应用定义了不同的数据类型，这些类型称为内部类型(语言定义类型 )。自Pascal 语言开始，语言提供了由用户定义类型的方法。采用这类方法由用户自己定义的数据类型称为用户定义类型(自定义类型)。 程序设计语言与编译7第二节 内部类型一. 内部类型的特点内部类型反映基本硬件特性在语言级,内部类型是共用某些操作的数据对象的抽象表示 程序设计语言与编译二. 内部类型的优越性1.基本表示的不可见性基本位串对程序员是不可见的。优点：导致不同的程序设计风格可写性可读性 可修改性例：25+9=34基本表00001001结果001000108 程序设计语言与编译编译时能检查变量使用的正确性进行静态类型检查,如非法运算,形实参类型匹配（某些动态特性不一定能查出，如i/j中j=0）编译时可以确定无二义的操作超载(多态)的概念:运算符的意义依赖于操作数的类型。如“+”可以表示整数加或实数加编译时,可拒绝混合运算,或提供类型转换指令合理地使用超载,可以提高语言的可读性和可用性9 程序设计语言与编译104.精度控制可以通过数据类型显式定义数据的精度精度说明有利于空间优化精度说明可作为检查的一种手段精度说明有利于程序的修改 程序设计语言与编译第三节 用户定义类型许多语言除了定义内部类型外，还允许程序员定义新的数据类型，规定基本数据对象的聚合,乃至聚合的聚合。How to define?11 程序设计语言与编译1. 笛卡尔积定义：N个集合A1,A2,…,An的笛卡尔积表示为 A1×A2×…×An，它是一个集合,其元素为 (a1,a2,…,an), 其中 ai∈Ai在语言中对应什么构造？12 程序设计语言与编译边数表示为任意正多边形任意正多边形 integer × real在COBOL和PASCAL中称为记录；在ALGOL每边边长中称为结构。例：对于如前定义的多边形，有两个域no-of-edges和edge- size，Struct polygon{int no-of-edges; double edge-size}t1;若t1是一个边长为7.53的等边三角形(3,3.75)，则可以写为： t1.no-of-edges = 3;t1.edge-size = 3.75;注意：语言把笛卡尔积数据对象看成由若干个域组成，每个域有一个唯一的名字；通常用域名来选取域，对它进行 修改；13 程序设计语言与编译2. 有限映像（射）定义： 从定义域类型DT （ domaintype ）的值的有限集合，到值域类型 RT （ range type ）的值的有限集合的函数称为有限映像（射） 。在语言中对应什么构造？14 程序设计语言与编译有限映像（射）的一些特点在高级语言中通常体现为数组构造；值域对象通过下标选取下标越界会出错，动态检查下标可用来选取值域的多个元素（如数组的分割、切片） SNOBOL4 的ARRAY 构造符并不要求值域集的所有元素是同一类型的例如：Char array[50]可看成是从0到49的整数到字符集的有限映像15 程序设计语言与编译有限映像（射）的一些特点DT到相应值的特定子集的绑定策略：.编译时绑定 (静态数组).对象建立时绑定 (执行到分程序时,动态数组).对象处理时绑定(对APL，子集范围可变)16 程序设计语言与编译3.序列定义：序列由任意多个数据项组成,这些数据项称为该序列的成分,且类型相同（记为CT）。串的一般操作有4种：连接首项选取尾项选取子串例：串是从所周知的序列，其成分类型为字符；顺序文件的思路也来自序列的概念17 程序设计语言与编译递归定义：若数据类型T包含属于同一类型T的成份，那么类型T称为递归类型。递归类型的特点：允许在类型定义中使用被定义类型的名字指针是建立递归数据对象的重要手段18例：二叉树可通过递归类型来定义。它的左子树和右子树分别是另一棵二叉树。 程序设计语言与编译5.判定或定义：判定或是一个选择对象结构的构造机制,规定在两个不同选择对象之间作出适当的选择;每一选择对象