Valores padrão mutáveis em Python: distinguir argumento omitido de estado compartilhado

O que é

O Python avalia os valores padrão dos argumentos de uma função quando a definição é executada, e não a cada chamada. O tutorial destaca os valores padrão mutáveis, como listas e dicionários, porque as chamadas seguintes podem enxergar as alterações feitas nesse mesmo objeto. Ele mostra como criar uma lista nova dentro da função quando o argumento é omitido. Python default argument values

Por que importa

Um agente pode esvaziar a lista no fim da chamada e acreditar que o isolamento foi restaurado. Isso deixa em aberto o que acontece nas saídas excepcionais e nos casos de compartilhamento deliberado. Antes de implementar o valor padrão, defina se um argumento omitido significa um objeto novo, um objeto compartilhado ou a ausência de valor.

Como aplicar

• Inspecione a assinatura da função e todas as mutações do valor que depende do padrão. Acompanhe também os objetos mutáveis aninhados: um contêiner externo imutável não garante, por si só, um objeto aninhado novo a cada chamada.
• Se a omissão deve alocar um valor novo, use um marcador de valor ausente e crie o objeto dentro da função. None só é adequado quando não é também uma entrada distinta com significado próprio.
• Proponha chamadas consecutivas que omitam o argumento e verifique se os resultados são independentes. Inclua uma chamada que falhe no meio, para que a limpeza não seja a base do isolamento.
• Teste separadamente os valores passados explicitamente pelo chamador. Decida se a função deve alterar o objeto recebido ou trabalhar sobre uma cópia, e documente esse contrato.
• Procure em adaptadores e wrappers repasses que transformem a omissão, por engano, em um valor com significado. Preserve a distinção pretendida na API pública.

Armadilhas

Algumas funções usam de propósito um estado padrão persistente, mas isso exige um contrato explícito e uma revisão de concorrência. Evite trocar um cache compartilhado por alocação a cada chamada sem considerar o comportamento pretendido. Um sentinela deve continuar distinguível de qualquer entrada legítima. As fixtures propostas definem o que testar; este artigo não afirma nem uma frequência medida de defeitos nem a execução de uma suíte de regressão.