Pascal精要

	www.marcocantu.com Marco's Delphi Books Essential Pascal - Web Site Essential Pascal - Local Index
PASCAL 精要	第二章编写Pascal代码

进入正题前先谈一下Pascal代码编写风格的问题。“除了遵循语法规则外，你应该怎样来写代码呢?” 关于这个问题各人答案会有不同，因为各人喜欢的风格不同。总的来说，任何编码风格的目标都是使代码清楚、明晰，采用某种风格和格式只是一种简略方法，用于更清楚地表达你的代码要干什么。实现代码清楚明晰的基本原则是保持代码的一致性，也就是无论选用哪种风格，在整个工程中要始终保持同一风格。

注释

在Pascal中，注释括在大括号中或带星号的圆括号中。Delphi 也认可C++ 风格的注释，即把注释放在双斜线后。例如

{this is a comment}
(* this is another comment *)
// this is a comment up to the end of the line

第一种注释方式较简略，使用也较为普遍；第二种方式在欧洲使用较广，因为欧洲的键盘缺少大括号；第三种方式的注释是从C++借用来的，只在32位版本的Delphi中可用，它在给一行代码加短注释时非常有用。

在这本书中我用斜体表示注释，用粗体表示关键词，以此与默认的Delphi语法风格表示一致。

上述三种不同的注释方式有益于进行嵌套注释。例如你要注销一段代码，而代码行中又包含真正的注释行，这时采用同一种注释方式是不对的：

{  ... code
{comment, creating problems}
... code }

正确的方法是插入第二种注释方式：

{  ... code
//this comment is OK
... code }

注意：如果左大括号或圆括号-星号后面跟美元符号($)，那么其中的内容就成了编译指令，如 {$X+}。

实际上，编译指令仍是注释。例如，{$X+ This is a comment} 是合法的。这既是有效的编译指令又是一条注释，尽管明智的程序员很可能会注意把编译指令和注释分开。

使用大写字母

Pascal 编译器（不象其他语言的编译器）不考虑字符的大小写，因此标识符Myname、 MyName、 myname、 myName、和MYNAME是完全相同的。总体上来说，这是Pascal的一大优点，因为在大小写敏感的语言中，许多语法错误是由不正确的大写引起的。

注意：Pascal语言的大小写不敏感特性有一个例外：控件包中的Register 过程必须以大写字母R开始，因为需要与C++Builder 兼容。

然而大小写不敏感也有不便之处：第一，你必须注意大小写不一致的标识符实际上是相同的，以避免把他们当成不同的元素使用；第二，你必须尽量保持大写使用的一致性，以提高代码的可读性。

大写使用的一致性不是编译器强制要求的，但是保持大写使用的一致性是值得提倡的好习惯。一个常用的方法是将每个标识符的第一个字母大写，标识符若由几个词组合而成(中间不能插入空格)，每个词的第一个字母应大写：

MyLongIdentifier
MyVeryLongAndAlmostStupidIdentifier

此外，编译器不编译代码中的空格、空行和Tab键空格，这些元素通称为空白，它们只用来提高代码的可读性，不影响编译过程。

不同于BASIC， Pascal 语句允许分行书写，即将一条长指令分割成两个或更多的代码行。允许语句分行的缺点（至少对许多BASIC程序员）是：语句结束时不能忘了加分号，更确切地说，必须记着把语句和紧接它的语句分开。语句分行唯一的限制是字符串不能跨行。

关于空格和语句分行的使用没有既定的规则，以下是几点经验：

Delphi 代码编辑器中有一条竖线叫右边线(Right Margin)，你可以把右边线设置在60或70个字符处。如果以这条线为基准，代码不超过这条界限，那么打印到纸上的代码看起来会很好看。否则，打印时长语句会被随意分行，甚至在一个词的中间断开。
当一个函数或过程有多个参数，通常的做法是把各参数放在不同的行上。
你可以在注释行前留一行空白，或把长的代码句分成较小的部分,这样能提高代码的可读性。
用空格隔开函数调用的参数，表达式中的运算符也最好用空格隔开。一些程序员可能会对这些提议不以为然，但我坚持认为：空格是免费的，你不必为使用空格付费，何乐而不为呢？

优化版面

关于代码编写风格的最后一条建议是：尽量使用空白优化版面。这一条很容易做到，只需要在写复合句时，以上一句为参照，下一句向右缩进两个空格，复合句内嵌的复合句缩进四个空格，依此类推。例如：

if ... then
  statement;

if ... then
begin
  statement1;
  statement2;
end;

if ... then
begin
  if ... then
    statement1;
  statement2;
end;

相似的缩进格式常用于变量或数据类型声名区，也可用于语句的续行：

type
  Letters = set of Char;
var
  Name: string;
begin
   { long comment and long statement, going on in the
     following line and indented two spaces }
   MessageDlg ('This is a message',
     mtInformation, [mbOk], 0);

提出以上代码编写格式只是向你建个议而已，这样代码能更加易读，其实代码格式并不影响编译结果。在本书的例子和代码段中我始终坚持使用上述代码风格，Delphi 中的源代码、手册和帮助例子均采用了相似的格式化风格。

突出Pascal元素

为了使Pascal 代码更易读写，Delphi 编辑器中增加了Pascal 元素的色彩设置功能，也就是编辑器会用不同的颜色表示不同的Pascal 元素。缺省情况下，关键字以粗体表示，字符串和注释用蓝色表示(并且常常是斜体)。

用不同色彩显示不同的Pascal 元素对保留字、注释和字符串十分有利，因为着色后你一眼就可以看出拼错的关键字、没有正常结束的字符串及多行注释。

使用编辑器环境选项对话框中的色彩(Color)页，很容易就能定制各种Pascal 元素的色彩（见图2.1）。如果独自工作，那么你可随意选择喜欢的颜色。如果是与其他程序员合作，那么应该使用大家统一的标准颜色。我感觉在同一台计算机上使用我不习惯的色彩配置确实很难受。

图2.1 编辑环境设置对话框

注意：本书中我选用了一种色彩方案来显示源代码清单，希望能使代码更易读。

使用代码模板

Delphi 3 中增加了用于代码编辑的新功能“代码模板”。由于写Pascal 语句时，常常会重复键入相同的一组关键字，为此Borland 公司开发了名为“代码模板”的新功能，代码模板中存放了能与代码缩略形式对应的完整代码，你输入缩略代码，然后按Ctrl+J，完整的代码就出现了。例如，你输入arrayd，然后按Ctrl+J，Delphi 编辑器会把你的文本扩展为：

array [0..] of ;

由于同一种代码结构在预定义的代码模板中通常有多种样式，所以模板中的缩略形式一般加有一个后缀字母，以便你选用。此外，你也可以只输入缩略形式的头几个字母，如你输ar，然后按Ctrl+J，那么，编辑器中会弹出一个菜单，菜单中列出了代码缩略形式选项，见图2.2所示。

图2.2 代码模板选项

代码模板可以定制，就是你可以修改已有的模板也可以添加自己常用的代码段。用代码模板输入的代码文本中通常会出现‘|’字符，它表示输入模板代码后光标应跳到的位置，就是说你应该从这个光标位置开始输入，写完这句代码。

编程语句

标识符一经定义，你就可以在语句及组成语句的表达式中使用它们。Pascal 提供了许多语句和表达式，首先来看看关键字、表达式和运算符。

关键字

关键字是Object Pascal 的保留标识符，在语言中有着特殊含义。保留字不能用作标识符，指令字也同样不应该用作标识符，即使编译器允许也最好不用。在实际中你不应该把任何关键字用作标识符。

表2.1是面向对象 Pascal 语言(Delphi 4）中特殊标识符的完整列表，其中包括关键字及保留字。

表2.1：面向对象Pascal语言中的关键字及保留字

关键字作用

absolute 指令 (变量)

abstract 指令 (方法)

and 运算符 (布尔)

array 类型

as 运算符 (RTTI)

asm 语句

assembler 向后兼容 (汇编)

at 语句 (异常处理)

automated 访问类别符 (类)

begin 块标记

case 语句

cdecl 函数调用协定

class 类型

const 声明或指令(参数)

constructor 特殊方法

contains 运算符 (集合)

default 指令 (属性)

destructor 特殊方法

dispid dispinterface 界面类别符

dispinterface 类型

div 运算符

do 语句

downto 语句 (for)

dynamic 指令 (方法)

else 语句 (if 或 case)

end 块标记

except 语句 (异常处理)

export 向后兼容 (类)

exports 声明

external 指令 (函数)

far 向后兼容 (类)

file 类型

finalization 单元结构

finally 语句 (异常处理)

for 语句

forward 函数指令

function 声明

goto 语句

if 语句

implementation 单元结构

implements 指令 (属性)

in 运算符 (集合) - 工程结构

index 指令 (dipinterface界面)

inherited 语句

initialization 单元结构

inline 向后兼容 (见 asm)

interface 类型

is 运算符 (RTTI)

label 声明

library 程序结构

message 指令 (方法)

mod 运算符 (数学)

name 指令 (函数)

near 向后兼容 (类)

nil 数值

nodefault 指令 (属性)

not 运算符 (布尔)

object 向后兼容 (类)

of 语句 (case)

on 语句 (异常处理)

or 运算符 (布尔)

out 指令 (参数)

overload 函数指令

override 函数指令

package 程序结构 (控件包)

packed 指令 (记录)

pascal 函数调用协定

private 访问类别符 (class)

procedure 声明

program 程序结构

property 声明

protected 访问类别符 (类)

public 访问类别符 (类)

published 访问类别符 (类)

raise 语句 (异常处理)

read 属性类别符

readonly dispatch 界面类别符

record 类型

register 函数调用协定

reintroduce 函数指令

repeat 语句

requires 程序结构 (控件包)

resident 指令 (函数)

resourcestring 类型

safecall 函数调用协定

set 类型

shl 运算符 (数学)

shr 运算符 (数学)

stdcall 函数调用协定

stored 指令 (属性)

string 类型

then 语句 (if)

threadvar 声明

to 语句 (for)

try 语句 (异常处理)

type 声明

unit 单元结构

until 语句

uses 单元结构

var 声明

virtual 指令 (方法)

while 语句

with 语句

write 属性类别符

writeonly dispatch 界面类别符

xor 运算符 (布尔)

表达式和运算符

关键字	作用
absolute	指令 (变量)
abstract	指令 (方法)
and	运算符 (布尔)
array	类型
as	运算符 (RTTI)
asm	语句
assembler	向后兼容 (汇编)
at	语句 (异常处理)
automated	访问类别符 (类)
begin	块标记
case	语句
cdecl	函数调用协定
class	类型
const	声明或指令(参数)
constructor	特殊方法
contains	运算符 (集合)
default	指令 (属性)
destructor	特殊方法
dispid	dispinterface 界面类别符
dispinterface	类型
div	运算符
do	语句
downto	语句 (for)
dynamic	指令 (方法)
else	语句 (if 或 case)
end	块标记
except	语句 (异常处理)
export	向后兼容 (类)
exports	声明
external	指令 (函数)
far	向后兼容 (类)
file	类型
finalization	单元结构
finally	语句 (异常处理)
for	语句
forward	函数指令
function	声明
goto	语句
if	语句
implementation	单元结构
implements	指令 (属性)
in	运算符 (集合) - 工程结构
index	指令 (dipinterface界面)
inherited	语句
initialization	单元结构
inline	向后兼容 (见 asm)
interface	类型
is	运算符 (RTTI)
label	声明
library	程序结构
message	指令 (方法)
mod	运算符 (数学)
name	指令 (函数)
near	向后兼容 (类)
nil	数值
nodefault	指令 (属性)
not	运算符 (布尔)
object	向后兼容 (类)
of	语句 (case)
on	语句 (异常处理)
or	运算符 (布尔)
out	指令 (参数)
overload	函数指令
override	函数指令
package	程序结构 (控件包)
packed	指令 (记录)
pascal	函数调用协定
private	访问类别符 (class)
procedure	声明
program	程序结构
property	声明
protected	访问类别符 (类)
public	访问类别符 (类)
published	访问类别符 (类)
raise	语句 (异常处理)
read	属性类别符
readonly	dispatch 界面类别符
record	类型
register	函数调用协定
reintroduce	函数指令
repeat	语句
requires	程序结构 (控件包)
resident	指令 (函数)
resourcestring	类型
safecall	函数调用协定
set	类型
shl	运算符 (数学)
shr	运算符 (数学)
stdcall	函数调用协定
stored	指令 (属性)
string	类型
then	语句 (if)
threadvar	声明
to	语句 (for)
try	语句 (异常处理)
type	声明
unit	单元结构
until	语句
uses	单元结构
var	声明
virtual	指令 (方法)
while	语句
with	语句
write	属性类别符
writeonly	dispatch 界面类别符
xor	运算符 (布尔)

建立表达式没有通用的方法，因为要取决于所用的运算符，Pascal包括有逻辑运算符、算术运算符、布尔运算符、关系运算符和集合运算符等等。表达式可用于确定赋给一个变量的值、计算函数或过程的参数、或者判断一个条件，表达式也可以包含函数调用。表达式是对一个标识符的值而不是标识符本身进行运算。

所有编程语言中的表达式都是常量、变量、数值、运算符和函数值的合法组合。表达式可以传递给过程或函数的值参，但不能传递给过程或函数中的引用参数。

运算符及其优先级

如果你以前写过程序，那么你已经知道表达式是什么了。这里我专门讲一下Pascal 运算符的特殊部分：运算符的优先级。表2.2中按优先级分组列出了Pascal语言的运算符。

与大多数编程语言相反，Pascal语言中and和or运算符的优先级比关系运算符高。因此，如果你的代码为a < b and c < d，编译器首先会编译and运算符，由此导致编译出错。为此你应该把每个 < 表达式用小括号括起来： (a < b) and (c < d)。　

同一种运算符用于不同数据类型时它的作用不同。例如，运算符 + 可以计算两个数字的和、连接两个字符串、求两个集合的并集、甚至给PChar 指针加一个偏移量。然而，你不能象在C语言中那样将两个字符相加。

另一个特殊的运算符是 div。在Pascal 中，你能用 / 计算两个数字（实数或整数）的商，而且你总能得到一个实型结果。如果计算两个整数的商并想要一个整型结果，那么就需要用 div 运算符。

表 2.2: Pascal语言中的运算符及其优先级

单目运算符 (最高优先级)

@ 取变量或函数的地址(返回一个指针)

not 逻辑取反或按位取反

乘除及按位运算符

* 相乘或集合交集

/ 浮点相除

div 整数相除

mod 取模 (整数相除的余数)

as 程序运行阶段类型转换 (RTTI运算符)

and 逻辑或按位求和

shl 按位左移

shr 按位右移

加减运算符

+ 相加、集合并集、字符串连接或指针增加一个偏移量

- 相减、集合差集或指针减少一个偏移量

or 逻辑或按位或运算

xor 逻辑或按位异或运算

关系及比较运算符(最低优先级)

= 判断是否相等

<> 判断是否不相等

< 判断是否小于

> 判断是否大于

<= 判断是否小于或等于,或是否是一个集合的子集

>= 判断是否大于或等于,或是否是一个集合的父集

in 判断是否是集合成员

is 判断对象是否类型兼容 (又一个RTTI运算符)

集合运算符

单目运算符 (最高优先级)
@	取变量或函数的地址(返回一个指针)
not	逻辑取反或按位取反
乘除及按位运算符
*	相乘或集合交集
/	浮点相除
div	整数相除
mod	取模 (整数相除的余数)
as	程序运行阶段类型转换 (RTTI运算符)
and	逻辑或按位求和
shl	按位左移
shr	按位右移
加减运算符
+	相加、集合并集、字符串连接或指针增加一个偏移量
-	相减、集合差集或指针减少一个偏移量
or	逻辑或按位或运算
xor	逻辑或按位异或运算
关系及比较运算符(最低优先级)
=	判断是否相等
<>	判断是否不相等
<	判断是否小于
>	判断是否大于
<=	判断是否小于或等于,或是否是一个集合的子集
>=	判断是否大于或等于,或是否是一个集合的父集
in	判断是否是集合成员
is	判断对象是否类型兼容 (又一个RTTI运算符)

集合运算符包括并（+）、差（-）、交（*）、成员检测（in），及一些关系运算符。要把一个元素添加到集合中，你可以采用集合并运算。下面是一个选择字体的Delphi 例子：

Style := Style + [fsBold];
Style := Style + [fsBold, fsItalic] - [fsUnderline];

另一种方法是利用标准过程Include 和Exclude，它们效率更高（但不能用于控件的集合类型属性，因为只能操纵一个元素）：

Include (Style, fsBold);

结束语

从上面内容我们已经了解了Pascal 程序的基本布局，下面开始探究它的细节。先从预定义和自定义数据类型开始，然后是利用关键词组织编程语句。

下一章: 类型、变量及常量