後一頁
前一頁
回目錄
回首頁
第二章 Delphi面向物件的程式設計方法(三)

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有整形值0Monday有整形值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指向一個含有10Double型元素的數據串列,代表每一個元素的是110之間的數字,稱為索引。數群群組的每一項由數群群組標簽加上[]中的索引來表示。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; 

2.1.9.4 字元串型式 

        字元串型式事實上是一個一維的字元數群群組。當您敘述一個字元串型的變數時,您應當指明這個字元串的大小,下面是敘述字元串型式的例子:

type

MyString: string[15];

var

MyName: MyString; 

        則變數MyName被敘述成為最多可以包含15個字元。如果您沒有敘述字元串的大小,Delphi會認為字元串包含最大值255個字元。給字元串賦值可以直接使用單引號括起的字串賦值: 

MyName := 'Frank.Smith';

MyName := '張明'; 

        因為MyName是一個可以包含15個字元的MyString型變數,上文的兩個的變數都是有效的,一個漢字可以視作兩個字元。當您給字元串型變數賦的值多於定義數值時,例如將MyName賦為‘FrankSmith.Franklin’,則Delphi只會接受前15個字元‘FrankSmith.Fran’。在記憶體中,字元串通常佔用比所敘述的大小多一個位元群組的空間,因為第一個位置是一個包含這個數群群組大小的位元群組。您可以使用索引值來存取字元串的字元,MyName[1]可以得到MyName的第一個字元'F'

         您可以使用Delphi豐富的運算符、過程和函數來處理字元串型的變數和屬性。下面介紹幾個常用的運算符和Delphi過程或函數:

         Concat(+)功能相同,都可以將多個字元串群群組合在一起,建立一個較大的字元串;Copy會返回一個字元串中的子字元串;Delete在一個字元串中從一個指定位置起解除一定數目的字元;Insert在一個字元串中插入一個字元串;Length返回字元串的長度;Pos返回一個子字元串在一個字元串中的位置,即索引值。 

2.1.9.5 集合型式 

         集合型式是一群相同型式元素的群群組合,這些型式必須是有限型式如整形、布爾型、字元型、枚舉型和子界型。在檢查一個值是否屬於一個特定集合時,集合型式非常有用。下面的例程可以敘述集合型式的用法:

         在窗體上加入一個編輯框和一個按鈕,清除編輯框中的文字,在其上加上Caption為“輸入元音”的標籤Label,並在編輯框的下方加入一個空的標籤,將按鈕的Default屬性改為True,建立按鈕的事件處理過程如下: 

procedure TForm1.Button1Click(Sender:TObject);

type

Tvowels=set of Char;

var

Vowels:TVowels;

begin

Vowels := ['a','e','i','o','u'];

if Edit1.Text[1] in Vowels then

Lable2.Caption := '是元音';

else

Lable2.Caption := '請再試';

end; 

        執行這個程式,在編輯框中輸入字母,表達式Edit1.Text[1] in Vowels的結果是布爾型的,in是運算符,用來判斷字母是否存在於集合中。輸入的判別結果會顯示在編輯框的下方。以上就用到了集合型式TVowels。 

2.1.9.6 記錄型式 

        記錄是您的程式可以成群群組存取的一群數據的集合。下面的例程敘述了一個記錄型式的用法: 

type

TEmployee=record

Name : string[20];

YearHired:1990..2000;

Salsry: Double;

Position: string[20];

end; 

      記錄包含可以存檔數據的欄位,每一個欄位有一個數據型式。上文的記錄TEmployee型式就含有四個欄位。您可以用以下的方式敘述記錄型的變數: 

var

NewEmployee,PromotedEmployee:TEmployee;

       用如下的方法可以存取記錄的單欄位:

NewEmployee.Salary := 1000;

編寫如下的語句可以給整個記錄賦值: 

with PromotedEmployee do

begin

Name :='';

YearHired := 1993;

Salary := 2000.00

Position := 'editor';

end; 

       您的程式可以將記錄當成單一實體來操作: 

PromptEmployee := NewEmployee;

     以上介紹了用戶常用的自定義型式。在Delphi的程式設計中,物件是非常重要的用戶自定義數據型式。象記錄一樣,物件是結構化的數據型式,它包含數據的欄位(Field),也包含作為方法的過程和函數。在Delphi中,當您向窗體中加入一個部件,也就是向窗體物件中加入了一個欄位;每一個部件也是物件,每當您建立一個事件處理過程使得部件可以響應一個事件時,您即自動地在窗體中加入了一個方法。在本章第2節中,將詳細講述Delphi面向物件程式設計的方法和技巧。 

2.1.10 Object Pascal的庫單元Unit 

        Units是常數、變數、數據型式、過程和函數的集合,而且能夠被多個應用程式所共享。Delphi已經擁有許多預定義的程式庫單元可供您建立您的程式庫單元使用。DelphiVisual Component Library由多個程式庫單元群群組成,它們敘述了物件、部件以供您的應用程式用來設計用戶介面。例如,當您在窗體中加入一個Check Box時,Delphi自動在您的程式庫單元中加入了Stdctrls庫單元,因為TCheckBox部件是在StdCtrls庫單元中敘述的。

       當您設計您的窗體時,Delphi自動建立一個和您的窗體有關的庫單元。您的庫單元不必都和窗體有關,也可以使用預定義的只包含數學運算函數的庫單元,或是自行編寫數學函數庫單元。在一個庫單元中所有的敘述都相互有關係,例如,CDialogs程式庫單元包含了在您的應用程式中使用的普通對話方塊的所有敘述。 

2.1.10.1 Object Pascal程式庫單元的結構 

       不管一個庫單元是否和一個窗體有關,庫單元的結構都是相同的。其結構如下: 

unit <庫單元標簽> 

interface 

uses <選擇性的庫單元清單>

{公有敘述} 

implementation 

uses <選擇性的庫單元清單>

{私有敘述}

{過程和函數的執行部分}

    initialization {選擇性的}

{選擇性的初始化程式}

end. 

2.1.10.2 程式庫單元的接口部分 

        interface是庫單元的接口部分,它決定了本庫單元對其他任何庫單元或程式的可見(可存取)部分。您可以在接口部分敘述變數、常數、數據型式、過程和函數等等。Delphi在您設計窗體的庫單元中,將窗體數據型式、窗體變數和事件處理過程都敘述在這一部分。

       interface標誌庫單元接口部分的開始。在interface中的敘述對要使用這些敘述的其他庫單元或應用程式是可見的。一個庫單元可以使用其他Unit的敘述,只需要在uses子句中指明那些庫單元即可。例如,您在庫單元A中編寫程式代碼,且您想呼叫UnitBinterface部分敘述的程式。您可以把庫單元B的標簽加入到Ainterface部分的uses子句中,則任何A中的程式都可以呼叫B中敘述的程式。而且,如果Binterface部分的uses子句中出現C庫單元,儘管A中未曾出現CA同樣可以呼叫BC庫單元在interface中敘述的程式。但如果B出現在Ainterface部分的uses子句中,那麼庫單元A便不能出現在Binterfaceuses子句中。因為這樣會產生對庫單元的回圈存取。當試圖編譯時,會產生出現錯誤資訊。 

2.1.10.3 程式庫單元的實現部分 

        實現部分implementation中包含interface中敘述的過程、函數、事件處理過程的具體實現程式代碼。這一部分可以有自己的額外敘述,但這些敘述是私有的,外部程式不能呼叫這些敘述。在interface中敘述的函數實體必須在implementation部分出現,可以使用標題簡寫:只輸入procedurefunction保留字,後面跟過程或函數的標簽即可,其後則是程式的實現部分了。如果您在implementation部分敘述任何常式,其標題並未出現在interface部分,則必須寫全其標題部分。

        在implementation部分的uses子句中指定的庫單元,只供給本庫單元的程式使用其interface中敘述的程式。其他使用本庫單元的庫單元,不能存取這些在implementationudes子句中庫單元的敘述,因為在implementation後進行的庫單元包含是私有的。所以上例中,如果C出現在Bimplementation部分,則A不能使用C的公有部分,除非C出現在Auses子句中。在implementation中出現的回圈存取是Delphi所允許的,如果Aimplemetationuses子句中出現B,則Bimplementation部分也可以出現A。 

2.1.10.4 程式庫單元的初始化部分 

        初始化目前庫單元所使用的數據,或是通過interface部分將數據提供給其他應用程式、庫單元使用時,您可以在庫單元中加入一個initialization部分,在庫單元的end前加上您的初始化語句。當一個應用程式使用一個庫單元時,在庫單元中的initialization部分會先於其他的代碼執行。如果一個應用程式使用了多個庫單元,則每一個庫單元的初始化部分都會在所有的程式代碼前執行。 

2.1.10.5 使用Delphi的可視化部件及其庫單元 

       當您在窗體中加入可視化部件時,如果該部件在可視化部件庫中,Delphi會在您的庫單元的interface部分的uses子句中自動加上需要使用的庫單元標簽。但有些物件在Delphi的環境中並沒有可視化部件存在,例如,您想在庫單元中加入一個預定義的資訊框,則您必須把MsgDlg庫單元加入您的uses子句中。如果您要使用TPrinter物件的話,必須將Printer庫單元加入uses子句中。在在線輔助敘述中可以查到物件所屬的預定義庫單元。

        要使用在其他庫單元中敘述的函數,應在函數的前面加上這一庫單元的標簽,並用‘.’號隔開。例如,要在Unit2中使用Unit1中敘述的Calculate函數,應使用下面的方法:

Number := Unit1.Calculate(10);

         您可以在任何標識符如屬性、常數、變數、數據型式、函數等之前加上庫單元的標簽。您可以在自由地在任何Delphi庫單元中加入程式代碼,但不要改變由Delphi產生的程式。 

2.1.10.6 建立與窗體無關的新庫單元 

        如果您想在工程中建立一個和任何窗體無關的新庫單元,可以現選用File|New Unit。這時一個新的庫單元加入了工程,新庫單元的代碼如下: 

unit Unit2;

interface

implementation

end. 

         Delphi將根據您的工程中的文件數目為您的庫單元選擇標簽,您可以在程式骨架間加入您的程式代碼。

          當編譯您的工程時,這個新加入的庫單元會被編譯為一個具有.DCU後綴的文件。這個新產生的文件是鍊結到工程的可執行文件上的機器代碼。


後一頁
前一頁
回目錄
回首頁