过程和函数的语句部分
过程或函数的语句部分由begin开始end结束函数需要一个返回值可以将返回值赋给函数名称也可以将返回值赋给Result变量下面的例程将返回值赋给函数名称
function CalculateInterest(PrincipalInterestRate: Double):Double;
begin
CalculateInterest := Principal * InterestRate;
end;
将返回值赋给Result变量也是可以的则上面的程序改为
Result := Principal*InterestRate;
下面是这个函数的调用方法
InterestEarned :=CalculateInterest();
在Implementation后面的过程和函数可以且只能被此库单元的事件处理过程使用要让过程和函数可以被其他的程序库单元使用则需要将过程或函数的标题部分放在库单元中的interface部分而把含标题的整个过程或函数放在库单元的inplementation部分并在要访问这个过程或函数的库单元的uses子句中加入说明这个过程或函数的库单元名称
函数的递归调用
在Object Pascal中过程或函数必须先说明再调用上文的NoValue函数必须在使用它的事件处理过程之前说明和执行否则程序会报告一个未知标识符的错误
以上规则在递归调用时是例外情况所谓递归调用是指函数A调用函数B而函数B又调用函数A的情况在递归调用中函数要进行前置即在函数或过程的标题部分最后加上保留字forword下文的例程是一个递归调用的典型例子
implementation
var
alpha:Integer;
procedure Test(var A:Integer):forword;
{Test被说明为前置过程}
procedure Test(var A:Integer);
begin
A :=A;
if A> then
test(A); {经前置说明调用未执行的过程Test}
writeln(A);
end;
procedure Test(var A:Integer);{经前置说明的Test的执行部分}
begin
A :=A div ;
if A> rhen
test(A); {在Test中调用已执行的过程Test}
end;
procedure TFormButtonClick(Sender:TObject);
begin
Alpha := ; {给Alpha赋初值}
Test(Alpha); { 第一次调用Test递归开始}
end;
按钮的OnClick事件处理过程给Alpha赋初值并实现先减再除的循环递归调用直到Alpha小于为止
过程和函数的参数
当您的程序代码在调用一个过程或函数时通常用参数传递数据到被调用的过程或函数中最常用的参数有数值参数变量参数和常量参数三种
由被调用过程或函数定义的参数为形参而由调用过程或函数指明的参数叫实参在NoValue函数中说明函数体中的AnEditBox是形参而调用时在if NoValue(Edit)…中Edit是实参
数值参数在运行过程中只改变其形参的值不改变其实参的值即参数的值不能传递到过程的外面试看下面的例程
procedure Calculate(CalNo:Integer);
begin
CalNo := CalNo*;
end;
用以下例程调用Calculate函数
Number := StrToInt(EditText);
Calculate(Number);
EditText := IntToStr(Number);
Number接受由编辑框输入的数值经Calculate过程运算它是一个数值型实参在进入Calculate函数后会把Number实参拷贝给形参CalNo在过程中CalNo增大十倍但并未传递出来因此Number值并未改变在编辑框中显示仍然是编辑框中的输入值形参和实参占用不同的内存地址在过程或函数被调用时将实参的值复制到形参占用的内存中因此出了过程或函数后形参和实参的数值是不同的但实参的值并不发生变化
如果您想改变传入的参数值就需要使用变量参数即在被调用程序的参数表中的形参前加上保留字var例如
procedure Calculate(var CalNo : Integer);
则CalNo并不在内存中占据一个位置而是指向实参Number当一个变参被传递时任何对形参所作的改变会反映到实参中这是因为两个参数指向同一个地址将上一个例程中过程头的形参CalNo前面加上var再以同样的程序调用它则在第二个编辑框中会显示计算的结果把第一个编辑框中的数值放大十倍这时形参CalNo和实参Number的值都是Nnmber初始值的倍
如果当过程或函数执行是要求不改变形参的值最保险的办法是使用常量参数在参数表的参数名称前加上保留字const可以使一个形参成为常量参数使用常量参数代替数值参数可以保护您的参数使您在不想改变参数值时不会意外地将新的值赋给这个参数
定义新的数据类型
Object Pascal有一些系统预定义的数据类型在中已经对它们作了介绍您可以利用这些数据类型以建立新的数据类型来满足程序的特定需要下面简单地叙述了您能建立的主要数据类型如枚举型子界型数组型集合型记录型对象型等
枚举类型
一个枚举型的说明列出了所有这种类型可以包括的值
type
Tdays=( Sunday MondayTuesdayWednesdayThursdayFridaySaturday);
可以定义上述枚举类型的变量
var
DayOfWeek:TDays;
在枚举型中括号中的每一个值都有一个由说明它的位置决定的整形值例如Sunday有整形值Monday有整形值等您可以把DayOfWeek说明为一个整形变量并将一星期的每一天赋一个整形值以达到相同的效果但用枚举型会使得程序可读性好编写容易当您在枚举型中列出值时您同时说明了这个值是一个标识符例如您的程序中如果已经含有TDays类型且说明了DayOfWeeks变量则程序中便不能使用Monday变量因为它已经被说明为标识符了
子界类型
子界型是下列这些类型中某范围内的值整形布尔量字符型或枚举型在您想限制一个变量的取值范围时子界型是非常有用的
type
Thours = ;
TValidLetter = A F;
TDays = ( Sunday MondayTuesdayWednesdayThursday
FridaySaturday); {枚举型}
TWorkDay = MondayFriday; {一个TDays型的子界}
子界型限定了变量的可能取值范围当范围检查打开时(在库单元的Implementation后面有{$R*DFM}字样表示范围检查打开否则您可以在Options|Project|Complier Options中选择Range Cheking来打开范围检查)如果变量取到子界以外的值会出现一个范围检查错误
数组类型
数组是某种数据类型的有序组合其中每一个元素的值由其相对位置来指定您可以在数组的某个位置上放置数据并在需要时使用这些数据下面的类型说明了一个Double型的数组变量
var
Check : array [] of Double;
它表示Check指向一个含有个Double型元素的数据串列代表每一个元素的是到之间的数字称为索引数组的每一项由数组名称加上[]中的索引来表示Check包含个变量Check[]表示第一个变量您也可以把数组定义成类型
type
TCheck = array[] of Double;
则变量说明改为
var
Check :TCheck;
您可以通过给数组赋值等方法来使用数组下面的语句将赋给Check数组中的所有元素
for J := to do
Check[J] := ;
数组也可以是多维的下面的类型定义了一个行列的数组
type
Ttable = array[] of Double;
var
table:TTable;
想将这一表格的所有数据初始化为您可以使用for循环
var
ColRow:Integer;
for Col := to do
for Row := to do
Table[ColRow] := ;
