Pourquoi un argument par défaut mutable est-il un bug qui ne demande qu'à arriver ?

Les arguments par défaut sont évalués une seule fois, à la définition de la fonction, et non à chaque appel. Une liste ou un dictionnaire par défaut est donc un unique objet partagé qui persiste d'un appel à l'autre, si bien que les mutations s'accumulent et fuient entre les appelants. Le remède est de mettre None par défaut et de créer un conteneur neuf dans le corps quand l'argument vaut None.

Parce que l'objet par défaut est créé une seule fois, quand Python exécute l'instruction def, et qu'ensuite chaque appel qui omet l'argument reçoit ce même objet. Si c'est une liste et que la fonction y ajoute des éléments, le troisième appel voit ce que les deux premiers ont laissé. Je suis tombé dessus sur un utilitaire de cache qui prenait un dictionnaire d'options vide par défaut. Dans un worker à longue durée de vie, le dictionnaire a grossi pendant des jours et une requête a fini par hériter des réglages d'un locataire sans rapport, ce qui n'est pas un bug agréable à expliquer. Le remède est banal : None par défaut, puis à l'intérieur on teste explicitement None et on construit un dictionnaire neuf, de sorte qu'un dictionnaire vide passé volontairement reste respecté. Les valeurs par défaut immuables comme les entiers, les chaînes ou None ne posent pas de problème parce que rien ne peut les muter. Ruff signale cela en B006 dès l'installation, donc c'est le genre de bug qui ne devrait jamais atteindre la revue dans un projet où le lint est branché sur la CI.