[PASCAL]funzioni ricorsive

[gaten]

Salve ragazzi volevo sciogliere un dubbio riguardo ad una funzione ricorsiva:

Se ho una cosa del tipo:

function foo(parametri...)

  if ( condizione1 )
  ..
    if( condizione2 )
       ..
       foo(parametri...)
    else <<<<<<<
       ..
       ..
    endif
   else
      foo(parametri...)
   endif
end

Volevo capire una cosa:
Nel momento in cui la "condizione2" è true, io entro nell'if e richiamo la function "foo"(ricorsivamente), quando la condizione 2 diventerà falsa, entro nell'else(<<<<<<<) oppure no?

Grazie anticipatamente

[oregon]

Hai notato che ci sono due if?

In quella else che hai segnato ci entrerà solo se

condizione1 è vera e condizione2 è falsa

[gaten]

Si perfetto , grazie , avevo proprio dimenticato quell'if,
Oregon ma nel caso in cui avessi una cosa del tipo:

function foo(parametri...)
     if(foo(parametri...))
          <istruzioni>
     else
          <istruzioni>
     endif
end

l'if ha come condizione la chiamata ricorsiva a foo, quando sarà vero, quando sarà falso?


Grazie.

[oregon]

Tu sai come una funzione in Pascal restituisce un valore al chiamante?

[gaten]

<nomefunzione>:=<valore> ???

[gaten]

C'è questa function per verificare se un albero è perfettamente bilanciato:

bilanciato(root, 0, -1)

function bilanciato(root, altezza, h_temp)

	if(root = NULL) then
		if(altezza = 0)
			altezza=h_temp
		else if(altezza != h_temp)
			bilanciato := false
		endif

		bilanciato:=true
	endif

	if( (bilanciato(root->left, height, h_temp+1) )
		bilanciato(root.right, altezza, h_temp+1)
	endif

	bilanciato:=false;
end

Vorrei sapere come funziona questa parte.

	if( (bilanciato(root->left, height, h_temp+1) )
		bilanciato(root.right, altezza, h_temp+1)
	endif

Inizialmente supponiamo di avere la root che è != NULL, entra nel secondo if e cosa succede?

[oregon]

E quindi la funzione restituirà vero o falso quando lo vorrai tu inserendo quella linea nel ramo di codice che ti interessa ...

[gaten]

Perdonami oregon, non riesco a capire.

esegue:

if( (bilanciato(root->left, height, h_temp+1) )

Richiama la function andando sempre verso il lato sinistro(root->left), smette di entrare nell'if quando root=NULL? e quando esegue:

bilanciato(root.right, altezza, h_temp+1)

Inoltre io sò che quando assegno un valore alla function tipo: "bilanciato:=true", il processo ricorsivo conclude, restituendo il valore, è così?

[oregon]

Se hai preso quella funzione da un esempio in C ricordati che in C il

return

restituisce il valore e termina la funzione.

In Pascal

bilanciato:=true

restituisce il valore ma NON termina la funzione.
Dovrai inserire una

exit

per farlo.

P.S. Ma che Pascal usi ...? Come mai quelle endif ?

[gaten]

In realtà è P-LIKE un pseudolinguaggio usato alla federico II di napoli. Solo qui lo usiamo =D. E' simile al pascal. Comunque io volevo sapere logicamente e fisicamente cosa succedeva quando eseguivo:

 if(foo(parametri...))
                   foo(parametri...)
            endif