Turbo Pascal. Nigba ti ... se - lupu pẹlu kan precondition

Turbo Pascal, bi o tilẹ jẹ ko awọn ile aye ayanfẹ ohun elo fun siseto, ṣugbọn awọn creators, ṣiṣe wọn akọkọ awọn igbesẹ ninu awọn kikọ ti awọn software, bẹrẹ won acquaintance pẹlu yi alabọde. O ti yoo fun ohun agutan ti awọn ramifications, awọn oniṣẹ, awọn iṣẹ, ati awọn ilana, bi daradara bi ọpọlọpọ ohun miiran. Fun apẹẹrẹ, ninu iwadi komputa oju waye ni Turbo Pascal: Nigba, fun ati ki o Tun.

Awọn Erongba ti awọn ọmọ ati awọn oniwe-aba

A ọmọ ni a ti atunwi igbese. Ni yi ayika, lo:

• pẹlu paramita (Fun ... to ... se);
• pẹlu awọn precondition (Lakoko ti o ti ... ṣe);
• a postcondition (Tun ... titi).

Ni igba akọkọ ti Iru ti lo nigbati o wa ni a mo iye awọn igbesẹ ti ni lohun awọn isoro. Sibẹsibẹ, nibẹ ni o wa nọmba kan ti awọn iṣẹ-ṣiṣe, ni ibi ti nibẹ ni ko si alaye nipa bi ọpọlọpọ igba yoo wa ni tun tabi ti igbese. Ni idi eyi, Pascal Nigba ti ọmọ di indispensable, gẹgẹ bi awọn, ni opo, ki o si Tun.

Awọn be ti awọn ọmọ

Ohun ti o jẹ lodi ti awọn ise ninu Pascal Lakoko ti o ti, Fun ki o si Tun waye? Ni iru awọn constructions allocate a akọsori ati ki o kan ara. Ni igba akọkọ ti ẹyaapakankan fun awọn pato oniyipada ti yoo "iṣẹ" ti wa ni pato nipa awọn ipo lori awọn Wiwulo akoko to eyi ti awọn ara yoo wa ni pa. Ni awọn keji apa ti ogun expressions lati ṣee lo ninu awọn idi ti awọn majemu, ie. E. Tòótọ The, dipo ti Èké The.

Nigba ti aṣetunṣe ni ošišẹ ti on awọn ti o kẹhin ila ti koodu, ki o si pada si awọn akọsori, ibi ti awọn majemu ti wa ni idanwo. Ti o ba ti otitọ mosi ti wa ni tun, ati ninu awọn iṣẹlẹ ti eyikeyi csin ti awọn eto "Jade" lati awọn ọmọ ati ki o performs siwaju mosi.

Wọnyi woni Lakoko ti o ti lupu. Pascal ABC ati iru eto beere kikọ iru koodu:

• Nigba ti majemu ṣe;
• bẹrẹ;
• Lupu body;
• Opin.

Ni awọn iṣẹlẹ ti awọn lupu yoo wa ni ošišẹ ti 1 onišẹ (1 igbese), ki o si awọn "biraketi» bẹrẹ ... opin le ti wa ni ti own.

tọka ọmọ

The Turbo Pascal Nigba ti awọn ẹya wọnyi:

• inu awọn be le le soro lati lo ipo;
• lẹhin ti awọn ọrọ se ko yẹ ki o wa ni kan koma (o ti wa ni ka a kokoro ni Turbo Pascal ati Pascal ABC);
• ayípadà, ibakan tabi ikosile ti o Sin nigbati a reply Eke o wu wọn subroutines gbọdọ dandan wa ni mogbonwa iru, ie. e. Bolianu.

O ti wa ni bi wọnyi Àkọsílẹ aworan atọka ti awọn orisirisi ọmọ. O ti fihan ọkọọkan awọn imuse sise.

Awọn alugoridimu ti awọn ọmọ

.. Ni awọn alinisoro siseto agbegbe, m ati h ni Pascal ABC, Nigba lupu nṣiṣẹ lori awọn wọnyi opo:

• .. Fun aṣetunṣe, ie, atunwi, yoo gba ibi bi ọpọlọpọ igba bi gun bi awọn majemu jẹ otitọ (True);
• bi ni kete bi awọn majemu ni ko yó ati ki o yoo Eke Idahun (tabi bibẹkọ "Eke"), awọn onišẹ jade ti awọn lupu;
• bi ni kete bi o ti sele, awọn eto "lọ" ni awọn oniru han lẹhin ti ọmọ.

Eleyi jẹ a significant iyato lati Lakoko ti o ti Tun, t. E. A ami-ọmọ lati postconditions.

O ṣe pataki lati ni ninu awọn lupu adópin ayipada ni a fi fun ayípadà akọsori Nigba ti. Ni eyikeyi nla, o yẹ ki o lailai wá a ipo ti yoo to Eke. Tabi ki nibẹ ni yio je kan lupu, ati ki o ni lati ya afikun igbese lati jade kuro ni alakojo. Iru aṣiṣe ti wa ni kà arínifín ati ki o inexcusable.

Bawo ni lati jade awọn eto nigba ti gigun kẹkẹ?

Igba ti ipo waye nigbati awọn oniṣẹ yoo Nigba ti Pascal lupu ninu awọn ti a kọ eto koodu. Kí ni yi tumọ si? Aṣetunṣe ti wa ni tun ẹya ailopin nọmba ti awọn igba, nitori awọn majemu jẹ nigbagbogbo otitọ. Fun apẹẹrẹ, yi koodu ajeku:

• Nigba ti 2> 1 ṣe;
• Kọ (1).

Ni idi eyi, to da gbigbi ipaniyan ti awọn iṣẹ-ṣiṣe, o kan tẹ Konturolu + F2.

Nibẹ ni o wa 2 ona lati šakoso awọn ihuwasi ti iru a eto. Fun apẹẹrẹ, ti o ba a Kọ Tesiwaju koodu ti koja Iṣakoso si awọn ibere ti awọn salayipo be (ninu awọn lupu jade majemu ti wa ni abojuto, ie. E ipaniyan ti isiyi aṣetunṣe ti wa ni Idilọwọ). Ki o si iṣakoso ti wa ni ti o ti gbe ni a Nigba ti lupu ninu awọn ti tẹlẹ igbeyewo.

Bireki oniṣẹ le da gbigbi ipaniyan ti gbogbo ọmọ ati ki o gbe Iṣakoso si tókàn aṣetunṣe. Nibi, awọn o wu ti awọn ikole yoo wa ko le dari. Awọn aworan ti fihan apeere ti awọn lilo ti awọn wọnyi awọn oniṣẹ.

Pade awọn italaya

Ro Lakoko ti o ti ni isẹ ọmọ. Pascal o tanmo lati yanju isoro orisirisi. Jẹ ki ká ro kan ti o rọrun lati ni oye awọn isẹ. Re awọn iṣẹ-ṣiṣe ni Pascal ABC eto. Sugbon yoo wa ni gbekalẹ ati awọn aworan ti awọn kilasika Turbo Pascal ayika fun lafiwe.

-Ṣiṣe 1: fi fun awọn iṣẹ Y = 5-X ^ 2/2. Ṣẹda a tabili ti iye ni increments sh = 0,5 lori awọn aarin [-5, 5].

Awọn alugoridimu jẹ:

• ṣeto a ayípadà X to ohun ni ibẹrẹ iye dogba si 5 (ie ni ibere ti awọn aafo ..);
• iṣiro a Y iye, nigba ti ayípadà x ko ni de ọdọ opin ti wi aarin;
• han awọn iye ti awọn iṣẹ ati awọn abscissa (X);
• X ilosoke nipa a predetermined igbese.

Eyi ni awọn koodu ni Pascal ABC eto.

Báwo ni awọn koodu ni Turbo Pascal eto. Awọn aworan ni isalẹ sapejuwe yi.

-Ṣiṣe 2: fi ohun orun A wa ninu gbogbo rere ati odi awọn nọmba. O ni 10 awọn ohun kan. Awọn nilo lati fẹlẹfẹlẹ kan ti matrix ninu eyi ti awọn rere eroja ti orun A ti wa ni han nini ohun ani Ìwé. Han awọn iye ti awọn onigun ninu awọn nọmba ti titun matrix.

Awọn alugoridimu jẹ:

• O gbọdọ kọ kan baraku ti yoo "iṣẹ" nikan pẹlu awọn eroja ti awọn orun A nini ohun ani Ìwé. Ni lupu ayípadà iye ti o baamu si awọn iraja ti awọn Ìwé yoo wa ni incremented nipa meji.
• Ti nọmba jẹ ẹya ani Ìwé lati matrix A ni ibamu si awọn majemu x> 0, awọn counter orun ti wa ni incremented nipa 1. Awọn lọwọlọwọ iye ti awọn counter ayípadà yoo jẹ awọn Ìwé ti awọn daakọ nọmba ninu awọn orun B.
• Lakoko, awọn ayípadà summa, jẹ lodidi fun wiwa awọn iye ti awọn onigun mẹrin ti rere odidi, ti ṣeto si 0. Nigbana ni, ni isẹ yoo wa ni ti gbe jade: si išaaju iye ti wa ni afikun titun iye ti a square.
• Ma ko ni le sele, ti o ba ko gbogbo nomba rere gbe lati kan orun si miiran. O ni lati wa ṣọra. Ọpọlọpọ awọn alakobere pirogirama lati rewrite awọn koodu ni a ijaaya. O jẹ pataki lati fara wo ni majemu: rere nọmba ti o wa lori ani "agbegbe", ie, pẹlu awọn iwon ti o wa ni iyeida of 2 ...

Afowoyi wiwa jẹ pataki ni lati le rii daju wipe awọn isiro ti iwa iṣootọ. Nigba miran, nipa lilo yi ọna le da awọn aṣiṣe ti ko yẹ awọn oju labẹ deede ayewo ti awọn kọ koodu.

Ti a ba gbe jade Afowoyi isiro, o jẹ ṣee ṣe lati rii daju wipe awọn eto ṣiṣẹ daradara. Eleyi, ni Tan, so wipe awọn koodu iran alugoridimu jẹ ti o tọ, awọn ọkọọkan ti sise nyorisi kan mogbonwa opin.