2 avril 2021
Il est parfois nécessaire de passer des informations lors d’appels de fonctions récursifs.
Par exemple, en tentant d’implémenter la recherche d’un cycle dans un graphe, je souhaitais passer une liste de nœuds déjà visités au rappel de la fonction pour détecter le cycle. En donnant une liste vide comme valeur par défaut, je pensais pouvoir m’affranchir du rajout de la liste aux arguments lors des appels.
Aurait pu s’appeler recherche_cycle(g, n) et non recherche_cycle(g, n, []). Cependant seule la deuxième forme fonctionnait car la liste vus n’était pas réinitialisée entre deux appels.
Etrange non?
voici un exemple minimal pour comprendre ce qui se passe.
def liste_vide_par_défaut(vus=[]):
print("valeur de vus au moment de l'appel:", vus)
vus.extend([i for i in range(4)])
liste_vide_par_défaut()
liste_vide_par_défaut()
liste_vide_par_défaut()
liste_vide_par_défaut()>>sortie
valeur de vus au moment de l'appel: []
valeur de vus au moment de l'appel: [0, 1, 2, 3]
valeur de vus au moment de l'appel: [0, 1, 2, 3, 0, 1, 2, 3]
valeur de vus au moment de l'appel: [0, 1, 2, 3, 0, 1, 2, 3, 0, 1, 2, 3]Ainsi la liste ne prend pas sa valeur par défaut à chaque appel, mais quand la définition de la fonction est executée.
Voici le déroulement de cette suite d’instructions dans pytutor:
La documentation précise:
Les valeurs par défaut des paramètres sont évaluées de la gauche vers la droite quand la définition de la fonction est exécutée. Cela signifie que l’expression est évaluée une fois, lorsque la fonction est définie, et que c’est la même valeur « pré-calculée » qui est utilisée à chaque appel. C’est particulièrement important à comprendre lorsqu’un paramètre par défaut est un objet mutable, tel qu’une liste ou un dictionnaire : si la fonction modifie l’objet (par exemple en ajoutant un élément à une liste), la valeur par défaut est modifiée. En général, ce n’est pas l’effet voulu.
La solution préconisée est d’utiliser None par défaut et de tester explicitement la valeur dans le corps de la fonction.
def liste_vide_par_défaut(vus=None):
if vus is None:
vus = []
print("valeur de vus au moment de l'appel:", vus)
vus.extend([i for i in range(4)])
liste_vide_par_défaut()
liste_vide_par_défaut()
liste_vide_par_défaut()
liste_vide_par_défaut()>>sortie
valeur de vus au moment de l'appel: []
valeur de vus au moment de l'appel: []
valeur de vus au moment de l'appel: []
valeur de vus au moment de l'appel: []Il faut bien comprendre que cette solution n’est nécessaire que lorsque le paramètre par défaut est mutable (listes, dictionnaire notamment).
Un objet non mutable étant par construction non modifiable gradera la valeur qui lui a été donnée par défaut lors de la définition de la fonction.
def str_vide_par_défaut(txt=""):
print("valeur de txt au moment de l'appel:", txt)
txt = txt + "0123"
str_vide_par_défaut()
str_vide_par_défaut()
str_vide_par_défaut()
str_vide_par_défaut()>>sortie
valeur de txt au moment de l'appel:
valeur de txt au moment de l'appel:
valeur de txt au moment de l'appel:
valeur de txt au moment de l'appel: Voici le déroulement de cette suite d’instructions dans pytutor:
Une chaîne de caractère étant immutable, l’argument par défaut reste vide.