Pętla (informatyka) – Wikipedia, wolna encyklopedia

Ten artykuł dotyczy programowania. Zobacz też: inne znaczenia.

Pętla – jedna z trzech podstawowych konstrukcji programowania strukturalnego (obok instrukcji warunkowej i instrukcji wyboru). Umożliwia cykliczne wykonywanie ciągu instrukcji określoną liczbę razy, do momentu zajścia pewnych warunków, dla każdego elementu kolekcji lub w nieskończoność.

 Osobny artykuł: Pętla iteracyjna.

Zawartość pętli licznikowych bądź iteracyjnych wykonuje się ustaloną liczbę razy. W najprostszym przypadku na początku pętli specjalna zmienna sterująca (licznikowa) jest ustawiana na wartość początkową, następnie przy każdym obiegu pętli jej wartość jest zwiększana o jeden, aż do osiągnięcia górnego limitu. Często pętla taka może odliczać w dół lub zmienna może być modyfikowana o wartość inną niż 1. Przykładami są tutaj pętle for z takich języków jak Pascal^[1][2], Ada^[3] (ale nie C^[4][5] i C-podobne^[6]).

 Osobny artykuł: Pętla repetycyjna.

Ogólniejszą konstrukcją jest pętla warunkowa, nazywana również repetycyjną, która jest wykonywana, aż do odpowiedniej zmiany warunków. Przeważnie wyrażenie testujące sprawdzane jest na początku lub na końcu pętli. W niektórych językach (C-podobne) pętla jest wykonywana dopóki warunek jest spełniony^[4][5][6], w innych, np. w Pascalu pętla repeat...until, dopóki warunek nie jest spełniony^[1][2]. Przykładami są instrukcje while, do...while, repeat...until^{[1][2][4][5][6]}.

Istnieją języki w których warunek (lub warunki) zakończenia mogą być umieszczone wewnątrz pętli na przykład w Adzie pętla loop z konstrukcją exit when^[3].

 Osobny artykuł: Pętla ogólna.

To pętla stosowana w językach rodziny C^[4][5] i C-podobnych, jak np. C++^[6]. Umożliwia definiowanie zarówno pętli repetycyjnej (ze sprawdzeniem warunku na początku pętli), jak i pętli iteracyjnej, jednak w porównaniu do niej pętla ta definiowana jest na niższym poziomie abstrakcji, co oznacza, że programista musi sam definiować warunek jej zakończenia i operację zmiany wartości zmiennej sterującej przy kolejnym przebiegu pętli.

 Osobny artykuł: Pętla foreach.

Często pożądane jest, aby instrukcje pętli zostały wykonane dla każdego elementu tablicy, kolekcji itp. Można to zrobić za pomocą powyższych pętli, ale często szybszym i bardziej przejrzystym sposobem jest użycie pętli typu foreach, która zwalnia programistę z obowiązku ręcznego iterowania po kolekcji.

W pewnych językach programowania zdefiniowano w ich składni konstrukcję pętli, w której programista podaje ilość powtórzeń iteracji. Nie specyfikuje się przy tym ani zmiennej sterującej, ani wartości początkowej i końcowej licznika, co stanowi zasadniczą różnicę w stosunku do pętli iteracyjnej (licznikowej).

 Osobny artykuł: Pętla nieskończona.

W niektórych zastosowaniach, np. systemy operacyjne, serwery, środowiska sterowane zdarzeniami pożądane jest, aby główna pętla wykonywała się praktycznie w nieskończoność. Można to uzyskać wstawiając do pętli warunkowej odpowiedni niezmienny warunek, ale niektóre języki dostarczają środków, którymi można wyrazić to bezpośrednio np. w języku Ada^[3], Forth^[12][13], Icon^[14].

Istnieją także języki programowania zawierające w swojej składni instrukcje pętli zrywające z podanym wyżej podziałem. Przykładem takiego języka jest PL/1 i zdefiniowana w nim instrukcja DO. Instrukcja ta może (ale nie musi) zostać użyta z odpowiednimi frazami, definiującymi szczegółowo sposób iteracji, przy czym poszczególne frazy mogą być ze sobą zestawiane łącznie, co umożliwia bardziej złożone sterowanie w programie. I tak^[15][16]:

• instrukcja blokowa (grupująca):

DO;   ... END; 

• pętla iteracyjna

DO I=''w_p'' TO ''w_k'' BY ''step'', ''w_p1'' TO ''w_p2'' BY ''step2'', ...;   ... END; 

przy czym frazy TO oraz BY są opcjonalne, można więc podać listę wartości, którą ma przyjmować zmienna sterująca, a przecinek umożliwia definicję kontynuacji iteracji dla kolejnego zestawu wartości.

• pętla repetycyjna

DO WHILE ''warunek'';   ... END; 

DO UNTIL ''warunek'';   ... END; 

DO REPEAT ''wyrażenie'';   ... END; 

• pętla złożona – możliwość składania poszczególnych fraz iteracyjnych i repetycyjnych, np.

DO WHILE C>A, I=1 TO 20 BY 3 UNTIL A<B, 31, 32, 36, 39 TO 41, REPEAT A/2 WHILE A>3;   ... END; 

Z pętlami w językach programowania związane są konstrukcje programistyczne umożliwiające modyfikowanie standardowego przebiegu realizacji pętli. Modyfikacja ta dotyczy takich elementów jak zmiana wartości zmiennej sterującej, wyjście z pętli, przejście do kolejnej iteracji itp. Do modyfikowania przebiegu realizacji pętli służą:

• albo istniejące danym języku konstrukcje, tj. instrukcje, które są stosowane także poza pętlą, np.:
  • przypisanie: zmiana wartości zmiennej sterującej,
  • instrukcja skoku: wyjście z pętli,
• albo specjalne konstrukcje dedykowane tylko do modyfikacji działania pętli, tj. takie które mogą być stosowane tylko w obrębie pętli, np.
  • instrukcja opuszczenia,
  • instrukcja kontynuacji,
  • instrukcja powtórzenia bieżącej iteracji,
  • instrukcja pomijania określonych iteracji.

Instrukcje modyfikujące działanie pętli wymienione w drugiej grupie, zostały opracowane i uwzględnione w definicjach języków programowania, jako substytut instrukcji skoku, której użycie jest krytykowane w literaturze przedmiotu. Każda z operacji realizowanych przez tę grupę instrukcji może bowiem zostać zrealizowana za pomocą instrukcji skoku i etykiety umieszczonej w określonym miejscu. Instrukcja skoku pozwala w przeciwieństwie do tych instrukcji na przejście do dowolnego miejsca, natomiast instrukcje modyfikujące pętle z góry narzucają miejsce, do którego nastąpi przekazanie sterowania, co w pewnym stopniu zwiększa czytelność programu (kodu źródłowego) w porównaniu do instrukcji skoku^[17].

Poniżej przykład pętli w języku Pascal:

var licznik : integer;  begin   for licznik := 1 to 10 do     WriteLn('Wiersz numer ', licznik); end. 

Przykład w C++ jako wariant pętli ogólnej:

for (int i = 0; i < 10; ++i)   std::cout << i << "-ta iteracja." << std::endl; 

Przykład w C jako wariant pętli ogólnej:

int i;  for (i = 0; i < 10; ++i)   printf("%d-ta iteracja.\n", i); 

Przykład w PHP:

for ($i = 0; $i < 10; ++$i)   echo $i . "-ta iteracja.<br />\n"; 

Przykład w JavaScripcie:

var i;  for (i = 0; i < 10; ++i)   document.write(i + "-ta iteracja.<br />"); 

Przykład w VB6 z Textboxem

Dim i As Integer Text1.Text = ""  For i = 0 To 10   Text1.Text = Text1.Text & i Next i 

Przykład w VB6 z Debugwindow

Dim i As Integer  For i = 0 To 10   Debug.Print i Next i 

Przykład w Pythonie:

for i in range(1, 10):   print(i, '. iteracja', sep = '') 

Pętle w językach programowania

język programowania	pętla							specjalne konstrukcje modyfikujące pętle
	iteracyjna	repetycyjna	ogólna	po kolekcji	powtórzeniowa	złożona	nieskończona	opuszczenia	kontynuacji	powtórzenia	pomijania
ABAP[18]
Ada[3][19]
ALGOL 60[7][20][21]
ALGOL 68[7][22]
APL[a][23]
AWK[24]
B[25]
Basic[26][27][28][29]		| [b]
BCPL[30]										| [c]
Boo[31]
C[4][5][6][32]	[d]
C++[6]	[d]
C--[a][33]
C#[34][35]
Clipper[36]
Cobol[8][37]
Comal[26]
D[38][39][40]
dBase[41][42], FoxBase[41]
Eiffel[43][44][45]
Forth[e][12][13][26][46][47]								| [c]
Fortran IV, 66[7][20]
Fortran 77[48]
Fortran 90/95[49][50][51]
Icon[14]
Java[52][53][54]
JavaScript[55][56]
Jean[9][10]
Logo[26][11]
MCPL[57]										| [c]
Modula-2[58]
Oberon[59]
Pascal[26][1][2]
Perl[60][61][62]
PHP[63][64][65]
PL/I[7][15][16]
PL/M[66][67]
Prolog[f][26][68]
Python[69][70][71][72]
REXX[73][74]				|
Ruby[75][76][77][78]
Simula 67[79]
Snobol[f][80]
Turbo Pascal[2]
Visual Basic[81][82], VBA[83]