[工学]西安电子科技大学研究生面向对象课件9-3.pdf

2.2. 程序设计语言中的类型 2.2. 程序设计语言中的类型 用类型和类型系统的观念来看程序设计 用类型和类型系统的观念来看程序设计 重申：程序设计的过程，实质上是针对应用的特征，构 造对应程序的类型系统的过程。 但是，构造类型系统，不应当简单地理解成将所有的自 定义数据结构冠以类型名称，加上一堆无组织的函数和 过程就行了。因为程序设计语言本身并不能保证自定义 类型的值集与操作集的确定是合理的，也一般不能保证 操作的结果是封闭在值集中的。 68 - 1 2.2. 程序设计语言中的类型 2.2. 程序设计语言中的类型 突出的问题在于类型中操作集的设计 突出的问题在于类型中操作集的设计 哪些操作应当属于同一个类型？ 这些操作中，哪些是关于值集中单个元素的操作，哪些 是关于多个元素的操作？ 这些操作是否对值集的所有元素是一致的？ 这些操作中，哪些是在设计该类型时就必须考虑的，哪 些是可以在以后再加入该类型，而又与以前的操作是相 容的？ 在面向对象程序设计中，这些是不能回避的问题。 在面向对象程序设计中，这些是不能回避的问题。 68 - 2 2.2. 程序设计语言中的类型 2.2. 程序设计语言中的类型 How? 向程序设计语言学习类型系统的定义方法 How? 向程序设计语言学习类型系统的定义方法 任何一个商品化的、哪怕是不起眼的程序设计语言，都 是一个精巧的软件范例，都值得我们认真学习。 学习程序设计语言中的类型系统，是因为在面向对象程 序设计中采用的观念是类似的： 对于一个类型，在设计时首先考虑的是它应该有什么操 作，而不是现在需要有什么操作。 68 - 3 2.2. 程序设计语言中的类型 2.2. 程序设计语言中的类型 例：C++语言中与类型相关的成分 例：C++语言中与类型相关的成分 在用C++语言写的任何一个程序中，所出现的每一个 标识符（Identifier ）,如变量（Variables ）、常量 （Constants ）、函数（Functions ）等， 字面值（Literals ）， 运算符/操作符（Operators ）， 以及以上元素的合法组合，如表达式（Expressions ）等， 都有特定的类型。 在一个程序中，每个类型有着不同的名称。 68 - 4 2.2. 程序设计语言中的类型 2.2. 程序设计语言中的类型 程序设计语言中类型的作用 程序设计语言中类型的作用 决定变量的存储空间的大小； 决定变量或常量的合法取值范围（值集）； 决定合法的（一般是用运算符或函数表示的）操作的范围 （操作集）； 区分名字相同、类型不同的符号（变量、函数、运算 符）； 决定将一种类型的值能否和如何转换成另一种类型的值； 为编译程序提供依据，令其检查出程序中的一部分错误。 68 - 5 2.2. 程序设计语言中的类型 2.2. 程序设计语言中的类型 C++语言中的声明机制 C++语言中的声明机制 Before a name (identifier) can be used in a C++ program, it must be declared. That is, its type must be specified to inform the compiler to what kind of entity the name refers