Valores por defecto mutables en Python: distinguir argumentos omitidos de estado compartido

Qué es

Python evalúa los valores de los argumentos por defecto de una función cuando se ejecuta la definición, no en cada llamada. El tutorial destaca los valores por defecto mutables, como listas y diccionarios, porque llamadas posteriores pueden observar las mutaciones de ese mismo objeto. Muestra cómo crear una lista nueva dentro de la función cuando se omite el argumento. Valores de argumento por defecto en Python

Por qué importa

Un agente puede vaciar la lista al final de una llamada y creer que se restableció el aislamiento. Eso deja sin aclarar las salidas excepcionales y el uso compartido deliberado. Conviene especificar si un argumento omitido significa un objeto nuevo, un objeto compartido o la ausencia de un valor, antes de implementar el valor por defecto.

Cómo aplicarlo

• Inspeccionar la firma de la función y cada mutación del valor respaldado por el valor por defecto. Seguir también los objetos mutables anidados; un contenedor externo inmutable no define por sí mismo un objeto anidado nuevo por cada llamada.
• Si la omisión debe reservar un valor nuevo, usar un marcador de valor ausente y crear el objeto dentro de la función. None solo es adecuado cuando no es a la vez una entrada distinta con significado propio.
• Proponer llamadas consecutivas que omitan el argumento y verificar que sus salidas son independientes. Incluir una llamada que falle a mitad de camino, de modo que la limpieza no se convierta en la base del aislamiento.
• Probar por separado los valores explícitos proporcionados por quien llama. Decidir si la función debe mutar el objeto proporcionado o trabajar sobre una copia, y documentar ese contrato.
• Revisar adaptadores y envoltorios (wrappers) en busca de reenvíos que conviertan por accidente la omisión en un valor con significado. Preservar la distinción prevista a través de la API pública.

Trampas

Algunas funciones usan intencionadamente estado por defecto persistente, pero eso merece un contrato explícito y una revisión de concurrencia. Conviene evitar cambiar una caché compartida a asignación por llamada sin considerar el comportamiento previsto. Un centinela debe seguir siendo distinguible de una entrada legítima. Los fixtures propuestos establecen qué probar; este artículo no afirma ni una frecuencia de defectos medida ni un conjunto de pruebas de regresión ejecutado.