Aliran kawalan

Dalamsains komputer,aliran kawalan(jugastruktur kawalan) ialah susunanpernyataanindividu,arahanataupanggilan fungsibagiatur caraimperatifyang dilaksanakan atau dinilai. Penekanan pada aliran kawalan eksplisit membezakan bahasapengaturcaraan imperatifdaripada bahasapengaturcaraan deklaratif.

Dalambahasa pengaturcaraanimperatif,pernyataan aliran kawalanialah pernyataan yang menghasilkan pilihan dibuat terhadap dua atau lebih laluan untuk diikuti. Bagi bahasa fungsianyang tidak ketat,fungsi danbinaan bahasawujud untuk mencapai hasil yang sama, tetapi ia biasanya tidak dipanggil sebagaii penyataan aliran kawalan.

Satu set pernyataan pula secara amnya distrukturkan sebagaiblok,yang selain daripada pengelompokan, juga mentakrifkanskop leksikal.

Gangguandanisyaratialah mekanisme peringkat rendah yang boleh mengubah aliran kawalan dengan cara yang serupa dengansubrutin,tetapi biasanya berlaku sebagai tindak balas kepada beberapa rangsangan atau peristiwa luaran (yang boleh berlakusecara tidak segerak), dan bukannya pelaksanaan aliran kawalanpada talian.

Pada peringkatbahasa mesin atau bahasahimpunan,arahan aliran kawalan biasanya berfungsi dengan mengubahpembilang program.Bagi sesetengahunit pemprosesan pusat(CPU), satu-satunya arahan aliran kawalan yang tersedia ialah arahan cabang bersyarat atau tidak bersyarat, juga dipanggil "lompatan".

Kategori

Carta aliryang menunjukkan aliran kawalan.

Jenis penyataan aliran kawalan yang disokong oleh bahasa yang berbeza berbeza-beza, tetapi boleh dikategorikan mengikut kesannya:

• Sambungan pada pernyataan yang berbeza (cabang tanpa syarat atau lompatan)
• Melaksanakan set pernyataan hanya jika beberapa syarat dipenuhi (pilihan - iaitu cabang bersyarat)
• Melaksanakan set pernyataan sifar atau lebih kali, sehingga beberapa syarat dipenuhi (gelung - sama seperti cawangan bersyarat)
• Melaksanakan set pernyataan berlainan, selepas itu aliran kawalan biasanya kembali (subrutin, korutin dan sambungan)
• Menghentikan program, lalu menghalang sebarang pelaksanaan selanjutnya (berhenti tanpa syarat)

Primitif

Label

Labelialah nama atau nombor eksplisit yang diberikan kepada kedudukan tetap dalamkod sumber,dan boleh dirujuk oleh pernyataan aliran kawalan yang muncul di tempat lain dalam kod sumber. Label menandakan kedudukan dalam kod sumber dan tidak mempunyai kesan lain.

Nombor barisialah alternatif kepada label bernama yang digunakan dalam beberapa bahasa (sepertiBASIC). Ia adalahnombor bulatyang diletakkan pada permulaan setiap baris teks dalam kod sumber. Bahasa yang menggunakan ini selalunya mengenakan kekangan bahawa nombor baris mesti meningkat dalam nilai dalam setiap baris berikut, tetapi mungkin tidak memerlukannya berturut-turut. Sebagai contoh, dalam BASIC:

10LETX=3
20PRINTX

Dalam bahasa lain sepertiCdanAda,label bertindak sebagaipengecam,biasanya muncul pada permulaan baris dan serta-merta diikuti dengan titik bertindih. Sebagai contoh, dalam C:

Success:printf("The operation was successful.\n");

BahasaALGOL 60membenarkan kedua-dua nombor bulat dan pengecam sebagai label (kedua-duanya dipautkan oleh titik bertindih kepada pernyataan berikut), tetapi sedikit jika ada varianALGOLlain membenarkan nombor bulat. PenyusunFortranawal hanya membenarkan nombor bulat sebagai label. Bermula dengan Fortran-90, label alfanumerik juga telah dibenarkan.

Jenis struktur kawalan

Kebanyakan bahasa pengaturcaraan dengan struktur kawalan mempunyai kata kunci awal yang menunjukkan jenis struktur kawalan yang terlibat.Bahasa-bahasa ini kemudian dibahagikan sama ada struktur kawalannya mempunyai kata kunci akhir atau tidak.

• Tiada kata kunci akhir:ALGOL 60,C,C++,Haskell,Java,Pascal,Perl,PHP,PL/I,PythondanPowerShell.Bahasa sedemikian memerlukan beberapa cara untuk mengumpulkan pernyataan bersama:
  • ALGOL 60 dan Pascal:begin...end
  • C, C++, Java, Perl, PHP dan PowerShell: kurungan kerinting{...}
  • PL/I:DO...END
  • Python: menggunakan tahapinden
  • Haskell: sama ada aras inden atau kurungan kerinting, dan boleh digunakan secara bercampur
  • Lua: menggunakando...end
• Kata kunci akhir:Ada,ALGOL 68,Modula-2,Fortran 77,Mythryl,Visual Basic.Bentuk kata kunci akhir berbeza-beza:
  • Ada: kata kunci akhir ialahend+ruang+ kata kunci awal cth,if...end if,loop...end loop
  • ALGOL 68, Mythryl: kata kunci awal yang dieja ke belakang cth,if...fi,case...esac
  • Fortran 77: kata kunci akhir ialahEND+ kata kunci awal cth,IF...ENDIF,DO...ENDDO
  • Modula-2: kata kunci akhir yang samaENDuntuk semuanya
  • Visual Basic: setiap struktur kawalan mempunyai kata kunci sendiri.If...End If;For...Next;Do...Loop;While...Wend

Gelung

Gelung (loop) ialah urutan pernyataan yang dinyatakan sekali tetapi boleh dijalankan beberapa kali berturut-turut. Kod "di dalam" gelung (badangelung, ditunjukkan di bawah sebagaixxx) dipatuhi beberapa kali tertentu, atau sekali untuk setiap koleksi item, atau sehingga beberapa syarat dipenuhi, atau selama-lamanya.

Dalam bahasapengaturcaraan kefungsiansepertiHaskelldanScheme,gelung boleh dinyatakan dengan menggunakanrekursiataulelaran titik tetapdan bukannya binaan gelung eksplisit. Rekursi ekor ialah kes pengulangan khas yang boleh diubah dengan mudah menjadi lelaran.

Gelung dikawal kiraan

Kebanyakan bahasa pengaturcaraan mempunyai pembinaan untuk mengulang gelung beberapa kali. Dalam kebanyakan kes, pengiraan boleh pergi ke bawah dan bukannya ke atas dan saiz langkah selain daripada 1 boleh digunakan.

FOR I = 1 TO N |forI:= 1toNdobegin
xxx | xxx
NEXT I |end;
------------------------------------------------------------
DO I = 1,N |for( I=1; I<=N; ++I ) {
xxx | xxx
END DO | }

Dalam contoh ini, jika N < 1, maka badan gelung boleh dilaksanakan sekali (dengan saya mempunyai nilai 1) atau tidak sama sekali, bergantung pada bahasa pengaturcaraan.

Dalam banyak bahasa pengaturcaraan, hanya integer boleh digunakan dengan pasti dalam gelung dikawal kiraan. Nombor titik terapung diwakili secara tidak tepat disebabkan oleh kekangan perkakasan, jadi gelung seperti</br>

forX:= 0.1step0.1to1.0do

mungkin diulang 9 atau 10 kali, bergantung pada ralat pembundaran dan/atau perkakasan dan/atau versipengkompil.Tambahan pula, jika kenaikan X berlaku dengan penambahan berulang, ralat pembundaran terkumpul mungkin bermakna bahawa nilai X dalam setiap lelaran boleh berbeza dengan agak ketara daripada urutan jangkaan 0.1, 0.2, 0.3,..., 1.0.

Gelung dikawal keadaan

Kebanyakan bahasa pengaturcaraan mempunyai pembinaan untuk mengulang gelung sehingga beberapa keadaan berubah. Beberapa variasi menguji keadaan pada permulaan gelung; yang lain mengujinya pada akhirnya. Jika u gian adalah pada permulaan, badan mungkin dilangkau sepenuhnya; jika ia di akhir, badan sentiasa dilaksanakan sekurang-kurangnya sekali.

DO WHILE (test) |repeat
xxx | xxx
LOOP |untiltest;
----------------------------------------------
while(test) { |do
xxx | xxx
} |while(test);

Satu pemutus kawalan ialah kaedah pengesanan perubahan nilai yang digunakan dalam gelung biasa untuk mencetuskan pemprosesan bagi kumpulan nilai. Nilai dipantau dalam gelung dan perubahan mengalihkan aliran program kepada pengendalian acara kumpulan yang dikaitkan dengannya.

DO UNTIL (End-of-File)
IF new-zipcode <> current-zipcode
display_tally(current-zipcode, zipcount)

current-zipcode = new-zipcode
zipcount = 0
ENDIF

zipcount++
LOOP

Gelung dikawal koleksi

Sebilangan bahasa pengaturcaraan (sepertiAda,D,C++11,Smalltalk,PHP,Perl,Object Pascal,Java,C#,MATLAB,Visual Basic,Ruby,Python,JavaScript,Fortran 95dan lebih baru) mempunyai binaan khas yang membenarkan tersirat menggelung melalui semua elemen tatasusunan, atau semua ahli set atau koleksi.

someCollectiondo:[:eachElement |xxx].

forIteminCollectiondobeginxxxend;

foreach(item; myCollection) { xxx }

foreachsomeArray { xxx }

foreach($someArray as $k => $v) { xxx }

Collection<String> coll;for(String s: coll) {}

foreach(stringsinmyStringCollection) { xxx }

someCollection | ForEach-Object { $_ }

forall( index = first:last:step... )

Scalamempunyai ekspresiforyang menyamaratakan gelung terkawal koleksi, dan juga menyokong kegunaan lain, seperti pengaturcaraan tak segerak.Haskellmempunyai eskpresi dan pemahamando,yang bersama-sama menyediakan fungsi yang serupa dengan ungkapanfordalam Scala.

Gelung tak terhingga

Gelung tak terhingga digunakan untuk memastikan gelung segmen program berlaku selama-lamanya atau sehingga keadaan khas timbul seperti ralat. Sebagai contoh, atur cara dipacu peristiwa (seperti dalampelayan) harus bergelung selama-lamanya, mengendalikan peristiwa semasa ia berlaku, dan hanya berhenti apabila proses ditamatkan oleh pengendali.

Selalunya, gelung tak terhingga tercipta secara tidak sengaja oleh ralat pengaturcaraan dalam gelung dikawal keadaan, di mana keadaan gelung menggunakan pemboleh ubah dengan nilai yang tidak pernah berubah dalam gelung.