东南大学9系信息工程建设学院《程序设计原理07》资料.pptVIP

东南大学计算机科学与工程系 东南大学计算机科学与工程系 数据类型的设计、实现与语义 数据类型概念的早期发展简史 数据类型 强类型（strong typing） Ada的数据类型分类体系 Ada语言的枚举类型 Ada的数值类型 Ada的带符号整数类型 数据类型的设计、实现与语义 Ada的实数类型 Ada的浮点数类型 Ada的定点类型 Ada的数值类型总结 Ada的数组类型 指针类型 Ada的记录类型 4.1数据类型概念的早期发展简史 简单说来，数据类型就是数据对象的分类及该分类上的操作。 4.1.1 基本指令系统中的类型因素 指令系统： 数据传送指令 IN AL, PORT（字节） IN AX, PORT（字） 算术运算 MUL 无符号数乘法指令 IMUL 有符号数乘法指令 4.1.1 基本指令系统中的类型因素 符号扩展指令 CBW(convert byte to word) CWD(convert word to double word) 逻辑运算 AND OR NOT XOR 4.1.1 基本指令系统中的类型因素 字符串处理 MOVS( move string) CMPS(compare string) 控制转移 JMP SHORT OPR JMP WORD PTR OPR 4.1.1 基本指令系统中的类型因素 数据类型：字节、字、双字、无符号整数、有符号整数、布尔值（值或向量）、字符、字符串 评注：抽象程度低，以原子类型为主，分类不严格（缺乏原则、主要基于硬件功能和应用需要）、转换自由（基本在使用者的主观中，缺乏明显的转换标志） 4.1.2 汇编语言中的类型 数据定义伪指令 DB、DW、DD DATA_BYTE DB 10, 4, 10H DATA_WORD DW 100, 100H, -5 DATA_DW DD 3*20, 0FFFDH MESSAGE DB ‘HELLO’ ARRAY DB 100 DUP(?) 4.1.2 汇编语言中的类型 结构定义伪指令（C语言） person struc fname db First name lname db last name month dw ? day dw ? year dw ? person ends 4.1.2 汇编语言中的类型 属性（类型）修改操作符 TYPE variable 返回类型 LENGTH variable 返回分配给该变量的 单元数 SIZE variable 返回分配给该变量的字节数， SIZE=LENGTH* TYPE OFFSET variable 返回变量的偏移地址 SEG variable 返回变量的段地址值 4.1.2 汇编语言中的类型 类型指定操作符 MOV AX, WORD PTR OPER1+1 4.1.2 汇编语言中的类型 评注： 复合（聚集）类型能力有所提高，但其中的数组类型没有明确化； 开始支持用户定义类型； 地址概念是类型的核心概念，占有等量存储空间的类型就兼容； 类型转换显式化，但缺乏语义上的约束； 出现属性的雏形。 4.1.3 FORTRAN 语言 静态、不支持用户定义类型 对数值类型支持也十分有限：整数、实数、双精度、复数 4.1.4 C 语言 枚举类型、用户定义类型（数组、结构），支持动态数据结构（动态数组、联合），不具备支持抽象数据类型的能力； 灵活，但理论基础不足，有些方面带有明显的汇编语言的痕迹（数组名同时表示数组第一个元素的地址，结构标志符本身不作为类型区分符使用）；标准对类型之间的关系没有详细说明（boolean,numeration），转换比较随意（尤其在指针的问题上， 图 1）； 4.1.5 Ada 类型丰富、全面，支持用户定义类型、抽象数据类型和面向对象概念，具备坚实的理论基础，概念一致、完整，同时提供以上语言中所具有的灵活性 Ada的类型定义机制 4.1