面向对象程序设计第四章节d4.pptVIP

第4章 高级数据类型 第2章介绍了Object Pascal语言的5种标准数据类型：整型、实型、字符型、字符串型以及布尔型，这些数据类型无需声明（定义）即可在程序中直接使用。 为了满足实际问题的需要，Object Pascal语言还允许用户使用自定义的数据类型。本章介绍的枚举、子界与集合类型就是用户自定义的数据类型，属于Object Pascal语言的高级数据类型。 4.1 类型定义语句 4.2 枚举类型 4.3 子界类型 4.4 集合类型 4.5 数组 4.6 记录类型 4.7 指针类型 4.1 类型定义语句 Object Pascal语言的高级数据类型在使用之前必须首先使用类型定义语句进行定义。 类型定义语句的语法格式为： type 标识符1=类型1; 标识符2=类型2; … 标识符3=类型3; 其中保留字type表示类型定义段的开始。标识符是用户为自定义类型取的名称，类型是用户定义的数据类型名，既可以是Object Pascal语言的标准数据类型，也可以是Object Pascal语言的高级数据类型。 4.2 枚举类型 在处理诸如物体的颜色、人的职业、教师的职称等非数值数据时，可以用数值或字符串来表示，比如用1表示红色，2表示黄色；或用“red”表示红色，“yellow”表示黄色。但这样的表示都存在一些缺点：使用数值表示很不直观，特别当表示的种类较多时容易引起混乱和错误，使用字符串则需要占用较多的内存。 仔细分析这些数据，可知这些数据的个数总是有限的，而且可以一一列举。为此，Object Pascal提供的用户自定义数据类型——枚举类型，可以很方便地处理这类数据。 定义枚举类型的语法格式如下： Type 类型名称=（标识符1, 标识符2, …, 标识符n）; ① 类型名称是用户定义的枚举类型名称。 ② 标识符表示该类型数据中的元素，圆括号中列出了该类型数据的所有取值，这些取值又称为枚举常量。 ③ 每个枚举常量必须是标识符，不能是其他任何数据类型。枚举常量不允许在同一枚举类型定义中重复出现，也不允许同时在不同的枚举类型定义中出现。 4.3 子界类型 在Object Pascal中，具有确定的数据类型（称为基类型），且其取值范围确定的数据可以定义为“子界类型”。其中的基类型，必须为顺序类型。 子界类型是Object Pascal允许用户定义的一个结构数据类型。如果用户预先知道一个变量的范围，就可以通过定义子界类型和子界类型变量来实现由系统自动检查变量是否超出了允许的范围。 定义子界类型的语法格式如下： Type 类型名称=常量1..常量2; ① 类型名称是用户定义的子界类型名称。 ② 常量1表示子界类型的下界，常量2表示子界类型的上界。子界的上、下界必须属于相同的顺序类型，即它们应同时为整型、布尔型、字符型或同一个枚举类型。 ③ 子界的上、下界所属的数据类型即子界的基类型。若子界的基类型为标准数据类型（整型、布尔型、字符型），则子界的上、下界可以直接使用该类型常量，若子界的基类型为枚举类型，则必须先定义基类型（枚举类型），再定义子界类型。 ④ 子界的上界必须不小于下界。 4.4 集合类型 集合是指具有相同性质且可以相互区分的对象的全体。构成集合的各个对象，称为集合的元素。如小于100的正整数全体、某单位中年龄大于30的男人全体、大写的英文字母全体等均构成集合。在理解集合的概念时，要注意以下几点： ① 集合中的元素是互异的，即相同的元素视为是同一个元素。 ② 集合中的元素是无序的，即{1，2，3，4}与{2，3，1，4}是同一个集合。 ③ 集合中的元素个数可以是有限的，也可以是无限的。 ④ 元素与集合的关系是“属于”或“不属于”，二者必取其一且仅取其一。 为了表示集合，在Pascal中引入了集合类型。集合类型属于构造类型，是由其他的数据类型按照一定的规则构造而成。 集合的元素是某种简单数据类型的值，这种数据类型称为集合的“基类型”。在Delphi中，基类型只能是顺序类型，不能是实型或其他构造类型。注意Delphi限制了集合数目，所以整型数据不能作为集合类型的基类型。 集合类型常用来维护一系列互不相同的处理对象或用来表示不同的状态，如在Delphi中，许多对象的属性被定义为集合类型。 在使用集合类型之前，必须进行类型定义与变量声明。 4.4 集合类型 定义集合类型的语法格式如下： type 类型名称= set of 基类型; ① 类型名称是用户定义的集合类型名称。 ② 基类型表示集合中各元素的类型，可以是字符型、布尔型、枚举型和子界型等顺序类型，不能是整型、实型和其他的构造类型。 ③ 若基类型为枚举或子界类型，则必