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