Python mutable defaults: distinguish omitted arguments from shared state

What it is

Python evaluates a function's default argument values when the definition executes, not on every call. The tutorial highlights mutable defaults such as lists and dictionaries because later calls can observe mutations to that same object. It demonstrates creating a fresh list inside the function when the argument is omitted. Python default argument values

Why it matters

An agent may clear the list at the end of a call and believe isolation is restored. That leaves exceptional exits and deliberate sharing unclear. Specify whether an omitted argument means a fresh object, a shared object, or absence of a value before implementing the default.

How to apply

• Inspect the function signature and every mutation of its default-backed value. Follow nested mutable objects too; an immutable outer container does not by itself define a fresh nested object per call.
• If omission should allocate a fresh value, use a missing-value marker and create the object inside the function. None is suitable only when it is not also a meaningful distinct input.
• Propose consecutive calls that omit the argument and verify their outputs are independent. Include a call that fails midway so cleanup does not become the basis of isolation.
• Test explicit caller-provided values separately. Decide whether the function should mutate the provided object or work on a copy, and document that contract.
• Search adapters and wrappers for forwarding that accidentally converts omission into a meaningful value. Preserve the intended distinction through the public API.

Pitfalls

Some functions intentionally use persistent default state, but that deserves an explicit contract and concurrency review. Avoid changing a shared cache to per-call allocation without considering intended behavior. A sentinel must remain distinguishable from legitimate input. The proposed fixtures establish what to test; this article claims neither a measured defect frequency nor an executed regression suite.