Valeurs par défaut mutables en Python : distinguer un argument omis d'un état partagé

Ce que c'est

Python évalue les valeurs par défaut des arguments d'une fonction au moment où la définition s'exécute, et non à chaque appel. Le tutoriel met en garde contre les valeurs par défaut mutables telles que les listes et les dictionnaires, car des appels ultérieurs peuvent observer les modifications apportées à ce même objet. Il montre comment créer une nouvelle liste à l'intérieur de la fonction lorsque l'argument est omis. Valeurs par défaut des arguments en Python

Pourquoi c'est important

Un agent peut vider la liste à la fin d'un appel et croire que l'isolation est rétablie. Cela laisse dans le flou les sorties exceptionnelles et le partage délibéré. Il faut préciser si un argument omis signifie un objet neuf, un objet partagé, ou l'absence de valeur, avant d'implémenter la valeur par défaut.

Comment l'appliquer

• Examiner la signature de la fonction et chaque mutation de la valeur adossée à son défaut. Suivre aussi les objets mutables imbriqués ; un conteneur extérieur immuable ne définit pas à lui seul un objet imbriqué neuf par appel.
• Si l'omission doit allouer une valeur neuve, utiliser un marqueur de valeur manquante et créer l'objet à l'intérieur de la fonction. None ne convient que s'il ne constitue pas par ailleurs une entrée distincte et significative.
• Proposer des appels consécutifs omettant l'argument et vérifier que leurs résultats sont indépendants. Inclure un appel qui échoue en cours de route, afin que le nettoyage ne devienne pas le fondement de l'isolation.
• Tester séparément les valeurs explicitement fournies par l'appelant. Décider si la fonction doit modifier l'objet fourni ou travailler sur une copie, et documenter ce contrat.
• Rechercher dans les adaptateurs et les enveloppes (wrappers) tout relais qui convertirait accidentellement une omission en une valeur significative. Préserver la distinction voulue tout au long de l'API publique.

Pièges

Certaines fonctions utilisent intentionnellement un état par défaut persistant, mais cela mérite un contrat explicite et une revue de concurrence. Éviter de transformer un cache partagé en allocation par appel sans examiner le comportement voulu. Une sentinelle doit rester distinguable d'une entrée légitime. Les dispositifs proposés établissent ce qu'il faut tester ; cet article ne revendique ni fréquence de défaut mesurée, ni suite de régression exécutée.