第4章 定义多态与动态过程.pdfVIP

第4 章 定义多态和动态过程 短期记忆的局限所造成的困惑导致了对上下文驱动语言的需求。人们很自然的把许多事物分组为概 念，而用简短的名词表达。汽车就是个好例子。汽车是一种复杂的机器，然而三个字母的单词：car，就捕 捉到了它所有的一切。爱是一种抽象的思维，包括了心率升高、性心理焦虑、食欲不振、或者是恶心甚至 是悲痛等现象。例如，失恋将会导致极度的痛苦。所有这一切都包含到一个词：love 中。 聚合看上去是非常自然的。即使是很小的孩子也明白饼干盒中有各种不同的饼干，盒子可能是空的也 可能是满的，如果盒子空了，妈妈或爸爸就要去商店买饼干了。我们掌握复杂思想的能力看来只受到对复 杂思想进行整理分类能力的限制。同存储相比，我们的短期记忆是可怜的，而思维是优秀的。因此程序设 计语言要像其他语言一样演化，使得我们能够把笨重的思想转化成整洁而紧凑的概念，只有这样才是自然 的。在口语中，词语的意义依赖于其他的词语和上下文，通过已有的词语可以创造新的词语。在编程语言 中，为有效地进行交流我们也需要同样的能力，即：用简单、基于上下文的形式处理复杂而笨重的思想， 在已有概念的基础上创造出新的、更加精致的概念。 4.1 使用默认参数 指定默认参数，就是为过程中的某些参数指定默认值。该术语由Object Pascal 的语法而来，显然在标 识符、冒号、简单数据类型、等号之后添加一个常量表达式，就可赋予参数默认值。在这种上下文环境中， 等号＝意味着赋值。 Parameter - IdentList [: ([ARRAY OF] SimpleType | STRING | FILE)] - Ident : SimpleType = ConstExpr 该规则的几个应用如下。 Procedure Proc1( I : Integer = 5 ); Function Func1( S : String = Jello World! ) : Integer; Procedure Proc2( D : Double; C : Char = S ); 注意：查一下函数的规范形式，显然 Delphi并不允许默认的返回类型。 FunctionHeading - FUNCTION Ident [FormalParameters] : (SimpleType | STRING) 这可能是默认参数规则的对称扩展。 一个或多个参数可以有默认值。第一个默认参数右侧的参数也必定有默认值。 当调用过程时，默认参数的值也可像其他过程一样传递。如果有一个值没有传递，则不再需要逗号分 隔符。如果所有的值都没有传递，则不需要括弧。默认参数的规则是从左至右所有参数的值都必须传递。 不能跳过任何值。考虑下面的过程。 Procedure Proc3( S : String = S; I : Integer = 0; D : Double= 1.0 ); 下面是对Proc3 的合法的调用。 Proc3; Proc3( T ); Proc3( U, 5 ); Proc3( V, 6, 2.0 ); 第一次调用中S 的值是‘S’，I 的值是0，D 的值是1.0。第二次调用中S 的值是‘T ’，I 的值是0，D 第4 章 定义多态和动态过程 95 的值是1.0。第三次调用中S 的值是‘U ’，I 的值是5，D 的值是1.0。第四次调用中S 的值是‘V ’，I 的 值是6，D 的值是2.0 。前面对Proc3 的调用都是合法的。当存在显式输入的参数值时，在该参数左侧跳过 任何参数的值都是非法的，由于非常容易导致错误因此并不支持这种语法。例如， Proc3( , 5); Proc3( W,, 3.0); 上述都是对Proc3 非法的调用。编译器将报错“Expression expected but , found ”，光标将定位于被跳过 参数的位置。当您知道某个值大多数情况下是合理的，但有时候会改变时，就可以使用默认参数。 4.2 产生多态的行为 当要操纵的数据过于分散时，即使基本的过程也会变得笨拙。考虑一个简单的例子。编写一个打印整 数