2. Récursivité plus compliquée

Avant d’aborder un exemple un peu plus compliqué, revoyons l’exemple précédent et écrivons-le à nouveau.

def va_au_but():
    if not au_but():
        avance()
        va_au_but()

# définition complétée; on y va!
va_au_but()

Si vous vous rappelez, j’ai expliqué que lorsqu’on invoque une fonction, ceci est équivalent à insérer sur place le corps de la fonction. Donc, l’invocation:

va_au_but()

est équivalente à:

if not au_but():
    avance()
    va_au_but()

Supposons que la première fois qu’on exécute ces instructions, au_but() soit faux (False) et donc not au_but() soit vrai (True) ... comme c’est le cas pour le monde But 1. Dans ce cas, l’invocation va_au_but() est exécutée une deuxième fois et le code ci-dessus est donc équivalent à:

avance()
va_au_but()

On peut à nouveau remplacer l’invocation va_au_but() par sa définition:

avance()
if not au_but():
    avance()
    va_au_but()

et on pourrait, en théorie, continuer à faire éternellement des remplacements de la fonction par sa définition si la condition restait toujours la même.

Heureusement, ce n’est pas le cas pour le monde But 1. Dans ce cas, après la deuxième invocation d’avance(), nous sommes au_but() et va_au_but() n’est pas invoqué une troisième fois. Le résultat est donc équivalent à:

avance()
avance()

Assurez-vous de bien comprendre l’explication ci-dessus avant d’aller plus loin.

2.1. Petit changement...

Considérez le programme suivant:

def va_au_but():
    if not au_but():
        avance()
        va_au_but()
    tourne_a_gauche()

# définition complétée; on y va!
va_au_but()

Réfléchissez!

Essayez de prédire ce que Reeborg fera avant d’exécuter le programme. Une explication vous sera fournie à la prochaine leçon.