fortran95教程8..doc

第8章? 构造表达式 完成了数据描述的任务之后，一个程序就进入了数据处理的阶段。也就是一系列的以数据为对象的操作语句，访问经过声明的数据对象，施加计算处理之后，获得新的数据结果。 FORTRAN语言里面访问数据对象然后返回值的一个基本指令形式是表达式，而通过表达式所得到的计算结果被用来赋值给某个变量，完成这个操作的是赋值语句。本章与下一章我们将讨论表达式与赋值语句这两个相续的改变机器的数据状态的基本操作。 一个科学计算程序的基本任务就是进行计算，而计算的最基本的单位就是表达式。FORTRAN作为一门最早的高级语言，其初衷就是公式翻译(FORMULA TRANSLATION)，即希望运用这个语言，能够把数学公式最好是原封不动地搬到FORTRAN语言的环境里，而计算机能够忠实地理解公式的含义，并进行公式所要求的运算。 当然，要求把能够把数学公式原封不动地搬到FORTRAN语言的环境里，就能够被FORTRAN理解是不可能的，因为首先是公式的输入受到键盘的限制，然后作为一种程序语言，我们在第4章已经讨论过，它所使用的字符集必定是有限的，而数学符号的集合则基本上是开放性的。 而从计算的实质上来考虑，我们知道计算机在物理层面所能够做到的计算其实是非常简单的加减法而已，因此我们希望运用计算机来完成任意的计算任务，所面临的挑战，正是如何把我们的实际计算任务分解为等价的简单计算过程的组合，FORTRAN作为一种语言，显然只能在很初步的层次上完成这个任务，即直接在语言里使用数学基本运算，例如：加法，减法，乘法，幂运算等，然后在此基础上，再定义一些基本的数学函数作为语言的固有函数，可以供人直接引用，对它的解释则完全交给FORTRAN编译器。FORTRAN所能够做到的基本上也就到此为止了。更进一步的计算的分解任务，则必须由程序来完成。因此FORTRAN能够做到的就是尽量以符合数学的书写习惯的方式来规范表达式的格式。 一般说来，我们把表达式理解为语句(甚至是程序)的语法结构的单位。在其他的语言里，表达式同样具有非常关键的语法地位，例如在C语言中，表达式组成了允许每一语句改变机器状态的基本操作。在LISP语言这样的高级应用语言中，表达式构成了驱动程序执行的基本顺序控制。而在FORTRAN这样的以科学计算为主要目的的语言当中，表达式更是构成了完成计算任务的基本成分。 本章的讨论就是围绕着表达式的构造如何贴切地合乎我们对于计算任务的要求。分为三个部分： ● 有效合法的表达式的格式。 也就是构造表达式的语法。按照我们在前面经常根据语法规则来构造语言所获得的经验，合乎格式的语句不一定是有实际意义的语句，因此我们接着就需要讨论对表达式的理解问题，即： ● 对表达式的解释。 可以理解为表达式的语义，也就是一种规范，按照这种规范，计算机读入合法的表达式之后，能够无歧义地转化为一系列指令，从而采取相应的动作。 计算机对表达式的含义的理解建立在表达式的构造语法的规范性上，一旦完成这个步骤，接着就是完成表达式的最终任务： ● 表达式的计算过程。 计算机对于表达式的实际计算过程未必与人的计算过程一致，对于计算机来说，最为重要的是根据机器计算的特点，对计算过程进行优化，相应的作为程序作者，我们需要了解机器的优化原则，以便在程序写作与算法设计上配合机器的计算优化能力。 FORTRAN表达式的构造，需要解决两大问题： ● 构造算元与算符的规则； ● 运算优先级的规则。 在构造合法的FORTRAN表达式的过程中，最主要的问题就是如何在FORTRAN有限的构造表达式的规则下，能够构造具有开放性的数学公式。 由于一个表达式的基本成分就是算元，算符和括号，因此上面的问题可以分为两个部分： ·在固有算元类型的基础上，能够构造派生类型的算元； ·在固有算符的基础上，能够扩展固有算符的适用范围，能够构造派生类型的算符。 因此所谓构造表达式的规则，除了规定固有算元与固有算符之外，还必须给出对固有算元与固有算符的扩展与派生定义的规则。 接下来需要考虑的问题，就是如何表达运算优先级，也就是括号所具有的功能。 在数学运算的过程当中，运算优先级是一个很自然的问题，在数学公式的写作中，我们使用了很多隐含的规则，基本能够保证数学公式的读者不会产生歧义，把数学公式转换到FORTRAN语言当中，就不能够再依靠那些隐含的规则，而是需要把那些规则明确的形式化出来，有时候还得制定适应于机器语言的独特规则。 尽管我们可以使用尽可能多的括号来做到明确的优先级描述，但是从方便写作的角度来看，在不导致歧义的前提下，可以通过形式规则来省略很多括号。 8.1? 表达式的构造 本节可以说是书写表达式的语法。从语言的角度来看，我们前面章节所讨论的数据对象，可以说是语言的词汇，而且是语法意义上比较简单词汇，即使很多数据对象可以具有非常