Turbo Pascal. Ged ... Do - lùb le precondition

Turbo Pascal, ged nach eil an t-saoghal ab 'fheàrr leis an tagradh airson phrògraman, ach an-cruthachaidh, a' dèanamh air a 'chiad cheumannan ann an sgrìobhadh na bathar-bog, a' tòiseachadh an cuid eòlais le mheadhan seo. Tha ea 'toirt beachd air an ramifications, gnìomhaichean, gnìomhan, agus modhan-obrach, cho math ri mòran rudan eile. Mar eisimpleir, ann an rannsachadh phrogramaiche aghaidh chuairtean ann an Turbo Pascal: Ged a bha, agus a ràdh a-rithist.

Tha bun-bheachd an cearcall agus a Tionndaidhean

A cearcall 'S e ath-gnìomha. Ann an àrainneachd seo, a 'cleachdadh:

• le paramadair (Airson ... a ... Do);
• leis an precondition (Ged ... Do);
• a postcondition (Repeat ... gus).

Tha a 'chiad seòrsa a tha air a chleachdadh nuair a tha e aithnichte cia mheud ceumannan ann am fuasgladh air an trioblaid. Ach, tha grunn ghnìomhan, far a bheil fiosrachadh sam bith mu dheidhinn mar mòran amannan a thèid ath-aithris no a gnìomha. Anns a 'chùis seo, Pascal Ged cearcall a' fàs riatanach, leithid, ann am prionnsabal, agus a-rithist.

Tha an structar a 'rothaireachd

Dè tha smior an obair ann an Pascal Ged a bha, agus a-rithist baidhsagal? Ann an leithid togalaichean a riarachadh a header agus corp. Tha a 'chiad phàirt de shònrachadh caochladairean a bhios a "obair" a tha air a shònrachadh le cumhachan air dligheachas ùine ris na tha a' bhuidheann a thèid a chur gu bàs. Anns an dàrna pàirt de òrdaichte abairtean a chleachdadh ann an cùis a 'chumha, ie. E. Tha True, an àite The False.

Nuair a tha a 'chuairt a' cluich air an loidhne mu dheireadh de chòd, an uair sin tha e a 'tilleadh chun header, far a bheil an staid ga dheuchainn. Ma fhìrinn obair lannsa a-rithist, agus ann an tachartas sam bith a bhristeas air a 'phrògram "Exit" bho cearcall agus a' coileanadh barrachd obraichean.

Ged a leanas choltais lùb. Pascal ABC agus prògraman leithid sin feumach sgrìobhadh leithid an còd:

• Ged a staid a dheanamh;
• Toisich;
• An lùib corp;
• End.

Ann an tachartas gu bheil an lùb a thaisbeanadh 1 ghnìomhaiche (1 gnìomha), an uair sin "camagan» rithist ... deireadh faodar a fàgail a-mach.

Flowchart cycle

Tha an Turbo Pascal Ged a bha na feartan a leanas:

• taobh a-staigh structar faodaidh e bhith doirbh a 'cleachdadh na h-;
• an dèidh an fhacail a dhèanamh Cha bu chòir cromag (tha e a 'beachdachadh air buga sa Turbo Pascal agus Pascal ABC);
• caochlaideach, cunbhalach no abairt a 'frithealadh nuair a bhios freagairt False toradh orra subroutines feumaidh an còmhnaidh a bhith loidsigeach seòrsa, ie. e. boolean.

Tha e mar a leanas bacaidh diagram air an caochladh cearcall. Tha ea 'sealltainn sreath de buileachadh gnìomhan.

Tha an algairim air a 'chearcall

.. Anns na prògraman sìmplidhe àrainneachdan, agus m 's ann Pascal ABC, Ged lùb ag obrachadh air na prionnsapalan a leanas:

• .. Leis chuairt, ie, ath-aithris, a 'gabhail àite cho tric cho fada' sa tha fìor staid (True);
• cho luath 'sa tha an staid nach eil riaraichte agus a' toirt False fhreagairt (no a chaochladh "fuadain"), an gnìomhaiche mach às an lùb;
• cho luath 'sa thachair e, bha am prògram "" a' dol ann an dealbhadh a 'nochdadh an dèidh rothaireachd.

'S e seo eadar-dhealachadh mòr bho Ged a-rithist, t. E. Tha ro-rothairean bho postconditions.

Tha e cudromach a-steach ann an lùb crìochnach atharrachadh ann an caochladair header Ged. Ann an cùis sam bith, bu chòir a 'tighinn a-suidheachadh a tha a' toirt a False. A chaochladh bidh lùb, agus an uair sin a bhith a 'gabhail ceumannan a bharrachd gus fàgail bho compiler. Leithid de mhearachdan thathar a 'meas mì-mhodhail agus inexcusable.

Ciamar a fàgail a 'phrògram nuair a bha an rothaireachd?

Gu math tric, tha an suidheachadh a 'tachairt nuair an gnìomhaiche a' toirt Ged Pascal lùb ann an sgrìobhte prògram còd. Dè tha seo a 'ciallachadh? Chuairt a tha neo-chrìochnach a-rithist an àireamh de amannan, oir tha an staid tha daonnan fìor. Mar eisimpleir, seo còd fragment:

• Ged 2> 1 a 'dèanamh;
• Write (1).

Anns a 'chùis seo, airson stad a chur gu bàs air an obair, dìreach brùth Ctrl + F2.

Tha 2 doighean ann airson smachd a chumail air giùlan a leithid de phrògram. Mar eisimpleir, ma sgrìobhas Continue còd a 'dol seachad air smachd gu toiseach an chuairteach structair (so an lùb fàgail staid a sgrùdadh, ie. E gu bàs an-dràsta chuairt a tha a' cur stad). An sin smachd a ghluasad ann an Ged lùb ann roimhe deuchainn.

Break ghnìomhaiche urrainn stad a chur gu bàs air an iomlan cearcall agus a 'gluasad smachd chun an ath chuairt. An seo, tha toradh a 'togail cha tèid a chumail fo smachd. Tha an dealbh a 'sealltainn eisimpleirean den seo a chleachdadh oibrichean.

Coinneachadh ri dùbhlain

Beachdaich Ged obrachadh ann an cearcall. Pascal 'moladh gus fuasgladh fhaighinn air an duilgheadas eadar-dhealaichte. Nach beachdachadh sìmplidh a thuigsinn obrachadh. Fuasgladh cheistean ann an Pascal ABC phrògram. Ach thèid a thaisbeanadh agus ìomhaigh clasaigeach Turbo Pascal àrainneachd airson coimeas.

Gnìomh 1: a thoirt an gnìomh Y = 5-X ^ 2/2. Cruthaich clàr na luachan ann an ceuman SH = 0.5 thairis air an ceada [-5, 5].

Tha an algairim air a bheil:

• shuidheachadh caochlaideach X a 'chiad luach co-ionnan gu 5 (ie an toiseach a' bheàrn ..);
• obraich a-mach luach a Y, fhad 'sa tha caochlaideach x Chan eil a' ruigsinn an ceann Thuirt eadarra;
• thaisbeanadh an luachan an gnìomh agus abscissa (X);
• X àrdachadh le ceum ro-shuidhichte.

Seo an còd ann Pascal ABC phrògram.

Ciamar a tha an còd ann an Turbo Pascal phrògram. Tha an dealbh gu h-ìosal a 'sealltainn seo.

Gnìomh 2: A thug an ordugh anns a bheil fad deimhinneach agus àireamhan àicheil. Tha 10 sa. Tha am feum a chruthachadh matrix anns a bheil na deagh eileamaidean ordugh Tha an taisbeanadh a bhith fiù 's an-amais. Seall an t-suim de na ceàrnagan ann an àireamh ùr matrix.

Tha an algairim air a bheil:

• Feumaidh tu a sgrìobhadh àbhaisteach a bhios a "obair" ach a mhàin le eileamaidean de na ordugh A bhith fiù 's an-amais. Ann an lùb caochlaideach luach a rèir a 'co-ionnanachd' chlàr-innse Thèid incremented le dhà.
• Ma tha an àireamh fiù 's an-amais bho matrix A' co-fhreagairt ris a 'chùmhnant x> 0, an aghaidh ordugh tha incremented le 1. An-dràsta luach a' chunntair caochlaideach bidh an clàr-amais an lethbhreac àireamh ann an ordugh B.
• An toiseach, caochlaideach summa, a tha uallach airson a lorg an t-suim de na ceàrnagan matha integers, air a chur gu 0. An uair sin, an t-obrachadh a dhèanamh: roimhe an t-suim air a chur ùr luach ceàrnagach.
• Cha bhi eagal air, mura a h-uile deagh-àireamhan a 'gluasad bho aon ordugh eile. Feumaidh tu a bhith faiceallach. Tha mòran Ùr-ionnsaiche-prògramaidh gu ath-sgrìobhadh a 'chòd a' clisgeadh. Tha e riatanach gu cùramach a 'sgrùdadh an cor: deagh-àireamhan a tha air fiù "ionadail", ie, le Indices a tha iomadan de 2 ...

Stiùireadh tana tha riatanach gus dèanamh cinnteach gu bheil an àireamhachadh dìlseachd. Uaireannan, a 'cleachdadh an dòigh seo a bhith a' comharrachadh mearachdan nach eil a ghlacadh an t-sùil fo sgrùdadh àbhaisteach a chaidh an sgrìobhadh an còd.

Ma tha sinn a 'coileanadh làimhe àireamhachadh, tha e comasach gus dèanamh cinnteach gu bheil am prògram ag obair ceart. Tha seo, ann an tionndadh, thuirt gun robh an còd ghinealach algairim tha e ceart, an t-sreath de ghnìomhan a 'dol gu deireadh loidsigeach.