[C++] Funzione void ricorsiva: come funziona?

[Kilin]

ciao a tutti...

c'è un'anima pia che puo' aiutarmi a capire come funziona la ricorsione nel caso di questa, e in generale, nelle funzioni void?

Ho capito il meccanismo delle istanze che si aprono e si chiudono a ritroso nel caso di funzioni in cui le varie istanze restituiscono un valore all'istanza precedente...

Però nel caso di void... prendiamo questo programma

#include<iostream>
#include<cstdlib>
/* Fare una funzione ricorsiva che, dato un numero n, stampa tutti i numeri da 1 a n*/
using namespace std;

void stampa_numero(int n)
{
     if (n==1)
         cout<<n<<endl;
     else
     {
         stampa_numero(n-1);
         cout<<n<<endl;
     }
}

int main()
{
    int numero(0); 
    cout<<"Inserisci il numero n:";
    cin>>numero;
    stampa_numero(numero);
    
    system("PAUSE");    
    return 0;
}

potete spiegarmi in che modo, una volta che arrivo all'istanza in cui n vale 1 (e stampo dunque 1 a video senza continuare la ricorsione) vengono chiuse via via anche le altre istanze? Non mi è molto chiaro...

grazie!

[oregon]

Intanto semplificherei la funzione così

void stampa_numero(int n)
{
   if(n>1) stampa_numero(n-1);

   cout<<n<<endl;
}

In secondo luogo non userei il termine "istanza" perche' non mi sembra adatto al contesto ...

Infine, non c'e' molta differenza tra le funzioni void ricorsive e quelle che restituiscono un valore ... in realta' la cosa principale da tenere presente e' il funzionamento dello stack del processore ...

Hai "ben" presente il funzionamento dello stack della CPU?

[Kilin]

ok, la semplificazione mi torna, l'avevo scritta così per evidenziare il caso di terminazione... meglio prima capire e poi dedicarsi allo stile

perchè non è appropriato parlare di istanze? Io so che ogni volta che si esegue una funzione (e quindi anche nella ricorsione) si apre un'istanza diversa...

Riguardo allo stack del processore, sinceramente non so cosa sia...

[oregon]

Originariamente inviato da Kilin
perchè non è appropriato parlare di istanze? Io so che ogni volta che si esegue una funzione (e quindi anche nella ricorsione) si apre un'istanza diversa...

Una "istanza" e' una copia di qualcosa usato come modello (un oggetto e' una istanza di una classe) ... non puoi parlare di istanze di funzioni ...

Dove hai sentito o letto questo termine nel contesto dell'esecuzione di funzioni?

Riguardo allo stack del processore, sinceramente non so cosa sia...

Questo e' un problema, perche' se tu conoscessi questo argomento, capiresti immediatamente il funzionamento delle funzioni ricorsive ...

E in realta', non conosco corso di studi (universitario e non) in cui si parli delle funzioni ricorsive senza aver parlato di stack della CPU ...

[Kilin]

prima di tutto, si parla eccome di istanza di una funzione... E anzi, credo che sia esattamente il termine più appropriato... In questi termini si è espresso sia il mio professore di informatica (faccio ingegneria informatica a pisa) sia il libro di testo, che dice, ad esempio:

[...]Conseguentemente, ogni esecuzione di una stessa funzione (ISTANZA della funzione) da luogo ad una nuova copia degli argomenti formali e delle variabili locali (che nascono e muoiono con l'inizio e la fine dell'esecuzione della funzione stessa) [...] Questo concetto tornerà particolarmente utile nel caso di funzioni ricorsive

(che torna anche in quanto "copia di un modello", il concetto che dicevi tu)

Riguardo allo stack del processore, non so perchè non ce ne abbiano parlato, magari l'argomento verrà affrontato in un altro corso più specifico, dato che in questo si parla solo di c++...

[oregon]

Originariamente inviato da Kilin
(che torna anche in quanto "copia di un modello", il concetto che dicevi tu)

Sì ... d'accordo ... ma, secondo me, e' usata per riferirsi "all'istanza dei dati locali" ... in questo caso va bene ...

Riguardo allo stack del processore, non so perchè non ce ne abbiano parlato, magari l'argomento verrà affrontato in un altro corso più specifico, dato che in questo si parla solo di c++...

Beh, e' importante per capire "dove sono" i dati locali di ogni "istanza" e comprendre la sequenza di esecuzione delle varie parti di codice tra una chiamata e l'altra della funzione ricorsiva ...

[XWolverineX]

Comunque si dice che l'iterazione è sempre preferibile alla ricorsione

[Kilin]

lo so! però ora che stiamo facendo le funzioni ricorsive all'uni ci fanno fare questi prog, che hanno un'equivalente ricorsivo più efficiente e meno dispendioso in termini di memoria, ma dobbiamo usare la ricorsione per imparare..

[Kilin]

Originariamente inviato da oregon
Beh, e' importante per capire "dove sono" i dati locali di ogni "istanza" e comprendre la sequenza di esecuzione delle varie parti di codice tra una chiamata e l'altra della funzione ricorsiva ...

ad ogni modo, non è che puoi farmi capire più o meno il concetto? ho cercato info riguardo alla stack della cpu, ma è difficile non avendo idea di dove andare a parare...

grazie..

[menphisx]

Originariamente inviato da Kilin
ad ogni modo, non è che puoi farmi capire più o meno il concetto? ho cercato info riguardo alla stack della cpu, ma è difficile non avendo idea di dove andare a parare...

grazie..

http://it.wikipedia.org/wiki/LIFO