PASCAL语言的基本知识

Pascal是一种计算机通用的高级程序设计语言。它由瑞士Niklaus Wirth教授于六十年代末设计并创立。以法国数学家命名的Pascal语言。现已成为使用最广泛的基于DOS的语言之一。其主要特点有：严格的结构化形式；丰富完备的数据类型；运行效率高；查错能力强。

pascal语法图

程序组成

例1.1计算半径为R的圆面积S

program Area; {程序首部}
{已知半径求圆的面积}
const pi=3.14159; {说明部分——数据描述}
var s,r:real;
begin　{执行部分}
readln(r);
s:=pi*sqr(r);
writeln(’s=’,s);
end.

上述程序第一行称为程序首部。其中用花括号(注释可以用{ }或（* *）来表示）括起来的内容是注释，程序第二行就是一个注释，注释除了给人看，增加程序的可读性外，对程序编译和运行不起作用。一个程序可以包含多个出现在不同处注释，亦可无注释。程序第三行是常量说明，程序第四行是变量说明。程序从begin到end都是执行（语句）部分。

程序首部

例1.1的第一行称为程序首部。program是保留字，接着是程序名（由你依据“标示符”规则自行定义），最后以分号表示程序首部结束，下面是程序主体的开始。程序首部在一个Turbo Pascal（仅在Turbo Pascal中有效）程序中并非必须出现，它是可选的。写上它仅起了文档作用。因此，在时间有限的情况下，如果用Turbo Pascal编程完全可以省略程序首部。

程序体

a.说明部分

说明部分用于定义和说明程序中用到的数据，由单元说明、标号说明、常量说明、类型说明、变量说明、函数或过程说明组成，并且这些数据的说明次序必须按照以上次序。但是一个简单的Turbo Pascal程序也可以不包含说明部分，也就是说说明部分是可选的。

b.执行部分

执行部分描述了程序要执行的操作。它必须以一个Turbo Pascal保留字begin开始，以保留字end后跟句点结束，其间是一些执行具体操作的语句，并且以分号作为语句之间的分隔符。begin 和end必须成对出现，这是一个Turbo Pascal程序所必须有的。紧跟end之后的句号表示执行部分的结束，也表示整个程序的结束。此后的任何语句都无效。Turbo Pascal规定紧随end之前出现的分号允许省略。

程序结构

program 程序名；
uses
已知单元说明；
label
标号说明；
const
常量说明；
type
类型说明；
var
变量说明；
operator
运算符说明；
function
函数说明；
procedure
过程说明；
begin
语句；
语句；
……
语句
end.

字符与符号

保留字

所谓保留字是指在Pascal语言中具有特定的含义，你必须了解它的含义，以便于正确的使用，否则会造成错误。标准Pascal语言中的保留字一共有35个，Turbo Pascal语言一共有51个。下面是Pascal语言的保留字(斜体是Turbo Pascal特有的保留字):

AND，ARRAY，BEGIN，CASE，CONST，DIV，DO，DOWNTO，ELSE，END，FILE，FOR，FUNTION，GOTO，IF，IN，LABEL，MOD，NIL，NOT，OF，OR，PACKED，PROCEDURE，PROGRAM，RECORD，REPEAT，SET，THEN，TO，TYPE，UNTIL，VAR，WHILE，WITH，EXPORTS，SHR，STRING，ASM，OBJECT，UNIT，CONSTRUCTOR，IMPLEMENTATION，DESTRUCTOR，USES，INHERITED，INLINE，INTERFACE，LIBRARY，XOR，SHL,FAR,OPERATOR

(1)标识符的定义：标识符就是以字母开头的字母数字序列，有效长度为63个字符，并且大小写等效。可以用来标示常量、变量、程序、函数等。例如例1.1中的Area(程序名)，pi(符号常量)，s、r(变量名)都是标识符。

(2)标识符的分类：

a.标准标识符：指Pascal语言预先定义的表识符，具有特殊含义。

以下列举了Turbo Pascal语言部分常用的标准表识符：

标准常量 False Maxint True

标准类型 Boolean Char Real Integer

标准函数 Abs Arctan Chr Cos Eof Eoln Exp Ln Odd Ord Pred Round Sin Sqr Sqrt Succ Trunc

标准过程 Dispose Get New Pack Page Put Read Readln Reset Rewrite Unpack Write Writeln

标准文件 Input Output

b.用户字定义表识符：由你来根据需要定义。

（1）选用的表识符不能和保留字相同。

（2）语法上允许预定义的标准标识符作为你定义的的表识符使用，但最好还是不要用。

以下列举了你在定义表识符时可以用的字符：

A——Z；a——z；0——9；+，-，*，/，=，<>，<=，>=，<，>，(，)，[，]，{，}，:=，，，；，.，：，..，’，^，@

数据类型

数据是程序设计的一个重要内容，其重要特征----数据类型，确定了该数据的形、取值范围以及所能参与的运算。

Turbo Pascal 提供了丰富的数据类型，这些数据类型可以分为三大类：简单类型、构造类型和指针类型，其中简单类型可以分为标准类型（整型、实型、字符型和布尔型）和自定义类型（枚举型和子界型），构造类型可以分为数组类型、集合类型、记录类型和文件类型。这些数据类型中除了指针类型是动态数据类型外，其他的都是静态数据类型。在这些数据类型中简单类型都是有序类型，除了实型以外的简单类型都是顺序类型，所谓顺序类型就是他们的值不仅是有序的而且是有顺序号。

在这里主要介绍整型、实型、字符型和布尔型四种常用的数据类型。

整型

一个整型数据用来存放整数。Turbo Pascal支持五种预定义整型，它们是shortint（短整型）、 integer（整型）、 longint（长整型）、 byte（字节型）和 word（字类型），Turbo Pascal分别用相同的名字作为他们的表识符。每一种类型规定了相应的整数取值范围以及所占用的内存字节数。

类型数值范围占字节数格式

shortint -128..128 1 带符号8位

integer -32768..32767 2 带符号16位

longint -2^16~2^16-1 带符号32位

byte 0..255 1 带符号8位

word 0..65535 2 带符号16位

Turbo Pascal规定了两个预定义整型常量表识符maxint和maxlonint，他们各表示确定的常数值，maxint为32767， longint为2147483647，他们的类型分别是integer 和longint。

实型

一个实型数据用类存放实数。Turbo Pascal支持五种预定义实型，它们是real（基本实型）、 single（单精度实型）、double（双精度实型）、extended（扩展实型）、comp（装配实型），Turbo Pascal分别用相同的名字作为他们的表识符。每一种类型规定了相应的实数取值范围、所占用的内存字节数以及它们所能达到的精度。

类型数值范围占字节数有效位数

real 2.9e-39..1.7e38 6 11..12

single 1.5e-45..3.4e38 4 7..8

double 5.0e-324..1.7e308 8 15..16

extended 3.4e-4932..1.1e4932 10 19..20

comp -2**63+1..2**63-1 8 19..20

Turbo Pascal支持两种用于执行实型运算的代码生成模式：软件仿真模式和80x87浮点模式。除了real可以在软件仿真模式下直接运行以外，其他类型必须在80x87浮点模式下运行。

常量与变量

常量

(1)常量：在某个程序的整个过程中其值不变的量。

(2)常量定义：常量定义出现在说明部分。它的语法格式是：

const

<常量标识符>=<常量>;

常量表识符的类型由定义它的常量的类型决定。例如：const a=12 隐含说明a是整型；const r=3.21 隐含说明r是实型......

(3)常量定义部分必须以保留字const开头，可以包含一个或几个常量定义，而且每个常量均以分号结束。

(4)Turbo Pascal类型常量

类型常量，又称变量常数，它是Turbo Pascal的一个扩充特性。类型常量的定义与标准Pascal规定的常数定义和变量说明有所区别。类型常量定义的语法格式：

const

<简单类型常量标识符>:简单类型=常数；

例如：

const

counter:integer=0;

flag:boolean=true;

index:0..100=0;

变量

(1)变量：在某个程序中的运行过程中其值可以发生改变的量

(2)变量说明：变脸说明出现在说明部分。它的语法格式是：

var

<变量标识符列表>:<类型>;

...

<变量标识符列表>:<类型>;

其中，保留字var表示开始一个变量说明部分。变量标识符列表是一个用逗号隔开的标识符序列，冒号后面的类型是类型标识符。每个变量说明均以分号结束。

例如：

var

a,b,c:integer;

m,n:real;

标准函数

算术函数

函数标识符	自变量类型	意义	结果类型
abs	整型、实型	绝对值	整型、实型
arctan	整型、实型	反正切	实型
cos	整型、实型	余弦	实型
exp	整型、实型	指数	实型
frac	整型、实型	小数部分	实型
int	整型、实型	整数部分	整型
ln	整型、实型	自然对数	实型
pi		圆周率	实型
sin	整型、实型	正弦	实型
sqr	整型、实型	平方	整型、实型
sqrt	整型、实型	平方根	实型

标量函数

函数标识符	自变量类型	意义	结果类型
odd	整型	判断奇数	布尔型
pred	离散类型	求前趋	离散类型
succ	离散类型	求后继	离散类型

转换函数

函数标识符	自变量类型	意义	结果类型
chr	整型	自变量对应的字符	字符型
ord	离散类型	自变量对应的序号	整型
round	实型	四舍五入	整型
trunc	实型	截断取整	整型

杂类函数

函数标识符	自变量类型	意义	结果类型
random		[0,1)之间的随机实数	实型
random	整型	[0,自变量)之间的随机整数	整型
upcase	字符型	使小写英文字母变为大写	字符型

运算符表达式

运算符和优先级

(1)运算符

a.算术运算符运算符

运算

运算对象

结果类型

加

整型、实型

只要有一个运算对象是实型，结果就是实型，如果全部的运算对象都是整型并且运算不是除法，则结果为整型，若运算是除法，则结果是实型

减

整型、实型

乘

整型、实型

除

整型、实型

div

整除

整型

mod

取余

整型

b.逻辑运算符

运算符

运算

运算对象

结果类型

not

逻辑非

布尔型

and

逻辑与

布尔型

逻辑或

布尔型

xor

逻辑异或

布尔型

c.关系运算符

运算符

运算

运算对象

结果类型

等于

简单类型

布尔型

不等于

简单类型

布尔型

小于

简单类型

布尔型

大于

简单类型

布尔型

小于等于

简单类型

布尔型

大于等于

简单类型

布尔型

(2)优先级

运算符

优先级

not

1(高）

*,/,div,mod,and

xor,+,-,or

in,=,<>,>=,<=,<>

4（低）

表达式

(1)算术表达式：算术表达式是由算术运算符连接常量、变量、函数的式子。算术表达式中各个运算符的次序为： ( )-->函数-->*,/,div,mod-->+,1

(2)布尔表达式：Turbo Pascal提供给布尔表达式以下基本操作：逻辑运算和关系运算。