Algoritmo iterativo

tipologia di algoritmo informatico costituito da una sequenza di azioni che viene ripetuta

Template:Stub informatica Dicesi algoritmo iterativo un algoritmo formulato per mezzo della ripetizione di se stesso un certo numero di volte (un ciclo). Tutte le operazioni che richiedono la ripetizione di una stessa azione più volte, ma in numero finito sono dette procedure iterative. Ad ogni iterazione, l'esecutore svolge un compito. Al termine verifica se tale compito vada ripetuto mediante una condizione di ripetizione.

Esempio della catena di montaggio

Per spiegare meglio il concetto di algoritmo iterativo, si consideri il lavoro di un addetto ad una catena di montaggio: egli deve eseguire le stesse azioni ripetutamente finchè ci sono pezzi da assemblare. L'algoritmo iterativo della catena di montaggio può essere così descritto:

1. Preleva i componenti
2. Assembla i componenti
3. Passa i componenti al collega
4. Se ci sono altri componenti da assemblare, torna al punto 1

Utilizzo delle iterazioni nei linguaggi di programmazione

Per rendere agevole l'implementazione di procedure iterative nei linguaggi di programmazione di alto livello, sono disponibili due fondamentali costrutti: for e while. Il primo si presta ai cicli enumerativi (ossia quelli in cui il numero di iterazioni è prestabilito o dipende da un valore numerico calcolato prima dell'iterazione), mentre il secondo permette una libera applicazione della condizione di iterazione.

A tal proposito vanno fatte alcune importanti distinzioni sintattiche tra i linguaggi della famiglia C (con l'aggiunta di Java) e il linguaggio Visual Basic. Affrontiamo separatamente le sintassi dei suddetti costrutti nei due casi

Famiglia C

Per quanto riguarda il costrutto for, la sintassi è la seguente:

for (istruzione iniziale; condizione di iterazione; istruzione di fine ciclo) {
    [istruzioni di iterazione]
}

oppure

for (istruzione iniziale; condizione di iterazione; istruzione di fine ciclo) [istruzione di iterazione];

a seconda del fatto che una iterazione preveda una o più istruzioni. Il funzionamento è il seguente:

  1. Viene eseguita l'istruzione iniziale
  2. Viene eseguito il blocco iterativo
  3. Viene eseguita l'istruzione di fine ciclo
  4. Se la condizione di iterazione è vera viene ripetuto il ciclo, quindi si torna alla verifica della condizione
  5. Se la condizione di iterazione è falsa si esce dal ciclo

La definizione di cui sopra permette di utilizzare un ciclo for con qualunque tipo di condizione. Tuttavia tale ciclo si presta per algoritmi enumerativi. Ad esempio, il seguente codice C++ scrive a video, elemento per elemento, gli elementi di un array:

for (i = 0; i < count(arr); i++) cout << arr[i]<<endl;

Per quanto riguarda il costrutto while, esso specifica soltanto la condizione di iterazione, lasciando le due altre operazioni al codice. Esiste una variante, la do... while. Esaminiamone la sintassi:

while (condizione) {
    [istruzioni]
}
while (condizione) istruzione;
do {
   [istruzioni]
} while (condizione);
do [istruzione] while (condizione);

La differenza tra i costrutti è tanto semplice quanto sostanziale:

  • While verifica la condizione: se è vera esegue il ciclo finchè la condizione non diventerà falsa
  • Do... While esegue la prima iterazione, e poi si comporta come il precedente

Do...While è dunque particolarmente indicato quando si ha a che fare con strutture dati dalle quali i dati da verificare devono prima essere estratti tramite una chiamata a funzione.

Ad esempio, posto di avere una classe di tipo Stack MyStack, contenente oggetti di tipo MyObj, vogliamo scrivere a video il contenuto degli oggetti fino a trovare un particolare elemento terminatore, posot che lo stack non sia mai vuoto (es. il costruttore inizializza lo stack col terminatore e la pop non lo elimina comunque). Il seguente codice richiede il ciclo do...while

char TERMINATOR = '\0';
MyStack Stk;
MyObj Obj;
string Objstr
do {
   Obj = Stk.pop();
   Objstr = Obj.content();
   cout << Objstr << endl;
} while (Objstr != TERMINATOR);

Nei linguaggi C è possibile controllare la sequenza dinamica dei cicli iterativi mediante due istruzioni in grado rispettivamente di saltare alla prossima iterazione o interrompere del tutto il ciclo. Tali istruzioni sono continue e break. Ad esempio il seguente codice mostra i primi 5 file eseguibili di una directory, memorizzata come array di stringhe. Nell'esempio non si tiene conto di estensioni multiple (es. .exe.bak)

k = 0;
for (i = 0; 0 < count(dir); i++) {
    if (!strpos(".exe",dir[i])) continue;
    if (k  == 5) break;
    cout << dir[i] << endl;
    k++;
}

Visual Basic

Iterazioni nei linguaggi assemblativi

Voci correlate