程序语言基础知识

主要知识点

了解程序语言的种类、特点和适用范围，掌握汇编、编译、解释系统的基本原理，以及程序语言的数据结构和控制结构。特别是编译系统形式的基础知识，应当下功夫掌握。

2.2.1.1 程序语言概述

低级语言又称面向机器语言，它是特定的计算机系统所固有的语言。用机器语言编制出来的,程序可读性很差，程序员难以修改和维护，于是人们考虑改用助记符号来表示机器指令中操作码和操作数，这就是汇编语言。汇编语言仍然是一种和计算机的机器语言十分接近的语言，它的书写格式在很大程度上取决于特定计算机的机器指令。它是一种低级语言，这对于人们抽象思维和交流十分不便。在这个基础上，高级语言就发展起来了。目前已有许多流行较广的高级语言，如Fortra、Cobol、PascalC、和C++等。这类语言与人们的自然语言比较接近，大大提高了程序设计的效率，便于人们进行交流。

计算机只能理解和执行机器语言。程序语言要在计算机上运行，必须有一个程序，使机器能够理解用程序语言书写的用户程序，这就是所谓的语言处理程序。它可以分为两大类：解释程序和翻译程序。

2.2.1.2 程序语言基础知识

程序语言种类繁多，在应用上各有不同的侧重面。

Fortran是第一个被广泛用于科学计算的高级语言。

Algol是另一个早期研制出来的高级语言。它有严格的文法规则，用巴科斯范式BNF来描述语言的文法。Algol是一个分程序结构的语言。

Cobal是一种面向事务处理的高级语言。

Pascal语言提供的为数不多而又相当紧凑的机制使得这个语言具有相当强的表达能力。

C是一种通用程序设计语言。C作为一种较低级的语言，提供了指针和地址操作的功能。C提供书写结构良好的程序所需的控制结构。C与UNIX操作系统紧密相关，UNIX操作系统及其上的许多软件都是C编写的。

还有几种特殊而又重要的程序语言：

(1)面向对象的C++
C++是在C语言的基础上发展起来的与C兼容的语言。主要增加了类功能，成为面向对象的程序设计语言。面向对象程序语言至少包含以下几个重要概念：

①对象是人们要进行研究的任何事物，它包括状态(用数据来描述)和操作(用来改变对象的状态)两方面。面对对象语言把状态和操作封装于对象体之中，并提供一种访问机制，使对象状态的具体表示和操作的具体实现都是隐蔽的。

②类是面向对象语言必需提供的用户定义的数据的类型，它将具有相同状态、操作和访问机制的多个对象抽象成一个对象类。在定义了类以后，属于这种类的一个对象叫作类实例或类对象。

③继承是面向对象语言的另一个必备要素。类与类之间可以组成继承层次，一个类的定义(称为子类)可以定义在另一个已定义类(称为父类)的基础上。子类可以继在父类中的属性和
操作，也可以定义自己的属性和操作。

(2)逻辑型语言Prolog

逻辑型语言是一类以形式逻辑为基础的语言。Prolog是这类语言的代表。Prolog建立在关系理论和一阶谓词理论基础上，具有和传统的命令型程序设计完全不同的风格。Prolog程序由一些称为事实和规则的Horn子句组成。具有很强的推理功能，适用于书写自动定理证明、专家系统、自然语言理解等问题的程序。

(3)函数型语言LISP
函数型程序语言是一类以γ演算为基础的语言。LISP是典型的函数型程序语言。函数是一种对应规则(映射)，它使其定义域中每一个值和值域中唯一的值相对应。

函数型程序设计语言的优点之一是对表达式中出现的任何函数都可以用其他函数来代替，只要这些函数调用产生相同的值。由于用函数程序设计语言书写的程序是利用自变量的值来计算函数的值的，它没有副作用。这些特点有助于程序模块化的实现。

2.2.1.3 程序语言的数据类型

不同程序语言所提供的数据类型不尽相同。数据是程序操作的对象，具有名称、类型、存储类、作用域和生存期等属性，使用时要为它分配内存空间。数据名称由用户可通过标识符命名：类型说明数据占用内存的大小和存放形式，存储类说明数据在内存中的位置和生存期；作用域说明数据可以使用的范围；生存期说明数据占用内存的时间。

数据从不同角度可分成不同的类别。按数据的作用域大小，可分为全局量和局部量；按生存期可分为自动生存期、静态生存期和动态生成期；按程序运行时数据的值是否能改变可分为常量和变量。

数据按类型可分为4种：Void、标量(Scalar)、函数和聚合(Aggregate)。标量又可分为算术、枚举和指针；聚合类型可分为数组、结构体和共用体。
数据按其构造方式又可分为基本类型和派生类型。

2.2.1.4 程序语言的控制结构

程序语言中控制结构为将数据和数据上的运算组合成程序提供了基本框架。可计算问题的程序都可用顺序、选择和循环这3种控制结构来描述。

2.2.1.5 汇编程序基础知识

汇编语言是为特定的计算机中计算机系统设计的面向机器的语言。汇编语言中的语句可分成两大类：一类是与机器指令相对应的可执行汇编语句；另一类汇编语句称为汇编控制语句(亦称伪指令)。用汇编语言编写的源程序，要通过汇编程序将它民机器语言程序，才能被计算机理解执行。经过汇编程序的工作，可执行汇编语句被转化成对应的机器指令；而伪指令并不翻译成机器指令，它们的作用是控制汇编程序工作。伪指令主要用来告诉汇编程序做一些除了翻译机器指令外必须做的工作。

汇编程序的功能是将汇编语言所编写的源程序翻译成由机器指令和其他信息组成的目标程序。汇编程序的基本工作包括两项：一是将每一条可执行汇编语句转换成对应的机器指令；二是处理源程序中出现的伪指令。

2.2.1.6 解释程序基础知识

解释程序是一种语言处理程序，它直接执行源程序或源程序的内部形成。它并不产生目标程序，它是它和编译程序的主要区别。

高级语言实现语言处理4种方案：

第1种，源程序被直接解释执行。

第2种，先将源程序翻译成高级中间代码，然后再扫描高级中间代码，对高级中间代码进行解释执行。

第3种，也是一种解释程序的实现方案，与第2种方案的解释程序不同点在于，首先将源程序转化成和机器代码十分接近的低级中间代码，然后再解释执行这种低纸中间代码。这类系统具有良好的可移植性。

第4种，是普通的编译程序。在编译程序方案下，高级语言编写的源程序被最终翻译成机器语言表示的目标程序。这类系统的目标执行效率最高。

一般说来，建立在翻译基础上的系统在执行速度上都优于建立在解释执行基础上的系统。翻译系统的缺点是其复杂性，这使得它的开发和维护费用都大。相反，解释系统比较简单，可称植性较好，适合于以交互方式执行程序，其缺点是执行速度慢。

解释系统的结构可分成两部分。第1部分包括通常用的词法分析程序以及语法和语义分析程序，它的作用仍是把源翻译成中间代码，中间代码的设计常采用逆波兰表示形式。第2部分是解释部分，用来对第1部分所产生的中间代码进行解释执行，完成真正的解释工作。

2.2.1.7 编译程序基础知识

编译程序的功能是把某高级语言书写的源程序翻译成与之等价的低级语言(汇编语言或机器语言)的目标程序。其过程很复杂，可分成6个阶段；

①词法分析阶段是编译过程的第1个阶段。词法分析所依据的是语言的词法规则，即描述单词结构的规则。词法规则可用3型文法(正规文法)或正规式来描述，有限自动机能识别正规文法所定义的语言和正规式所表示的集合。

②语法分析阶段。在词法分析的基础上将单词符合序列分解成各类语法单位。语法分析所依据的是语言的语法规则，即描述程序结构的规则。
词法分析和语法分析本质上都是对源程序的结构进行分析。

③语义分析阶段是审查源程序有无语义错误，为代码生成阶段收集类型信息。比如语义分析的一个工作是进行类型审查，审查每个算符是否具有语言规范允许的运算对象。

④中间代码生成阶段。在进行了上述的语法分析和语义分析阶段工作之后，有的编译程序将源程序变成一种内部表示形式，这种内部表示形式叫做中间语言或中间代码。所谓"中间代码"是一种简单、含义明确的记号系统。

语义分析和中间代码生成所依据的是语言的语义规则。一般采用语法指导翻译规则和中间代码生成规则。

⑤代码优化阶段是对前阶段产生的中间代码进行变换或进行改造，目的是使生成的目标代码更为高级，即省时间和省空间。

⑥目标代码生成阶段。是把中间代码变换成特定机器上的绝对指令代码或可重定位的指令代码或汇编指令代码。这是编译的最后阶段，它的工作与硬件系统的结构和指令的含义有关。

编译过程的6个阶段的任务，再加上表格管理和出错处理的工作可分别由几个模块或程序完成，它们分别称作词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序、目标代码生成程序、表格管理程序和出错处理程序