Warum gilt ein veränderliches Default-Argument als Bug mit Anlauf?

Default-Argumente werden einmal ausgewertet, bei der Definition der Funktion, nicht bei jedem Aufruf. Eine Default-Liste oder ein Default-Dict ist deshalb ein einziges geteiltes Objekt, das über alle Aufrufe hinweg bestehen bleibt, sodass sich Mutationen anhäufen und zwischen Aufrufern leaken. Die Lösung ist, auf None zu defaulten und im Body einen frischen Container zu bauen, wenn das Argument None ist.

Weil das Default-Objekt einmal erzeugt wird, wenn Python das def-Statement ausführt, und danach bekommt jeder Aufruf, der das Argument weglässt, genau dieses Objekt. Ist es eine Liste und die Funktion hängt etwas an, sieht Aufruf drei, was Aufruf eins und zwei hinterlassen haben. Mich hat das bei einem Caching-Helper erwischt, der ein leeres Default-Dict mit Optionen nahm. In einem lang laufenden Worker ist das Dict tagelang gewachsen und irgendwann hat ein Request Einstellungen von einem völlig fremden Tenant geerbt, und das ist kein Bug, den man gern erklärt. Die Lösung ist langweilig: auf None defaulten, dann im Body explizit auf None prüfen und ein frisches Dict bauen, sodass ein absichtlich übergebenes leeres Dict weiterhin respektiert wird. Unveränderliche Defaults wie Integers, Strings oder None sind in Ordnung, weil nichts sie mutieren kann. Ruff meldet das ab Werk als B006, also ist es einer dieser Bugs, der in einem Projekt mit Linting in der CI nie bis ins Review kommen sollte.