Aliasing em append no Go: teste os caminhos com capacidade sobressalente e com realocação

O que é

O artigo sobre slices do Go explica que um slice é uma view sobre um array subjacente e que fatiar de novo (re-slicing) não copia esse array. Um append pode reaproveitar a capacidade disponível ou alocar um novo armazenamento. Por isso, duas chamadas de aparência semelhante podem apresentar comportamentos de aliasing diferentes, conforme a capacidade do slice de entrada. Go slices: usage and internals

Por que importa

Um agente pode adicionar um teste usando um slice curto recém-alocado e concluir que uma função auxiliar preserva a sua entrada. Em produção, quem a chama pode passar uma view com capacidade sobressalente. Defina se a função auxiliar toma emprestado um armazenamento mutável ou se deve devolver dados independentes, e então teste esse contrato de forma deliberada.

Como aplicar

• Desenhe o array subjacente e o início, o comprimento e a capacidade de cada slice. Identifique quais valores existentes poderiam ser sobrescritos se um append reaproveitar o armazenamento.
• Declare na documentação da função auxiliar o seu contrato de propriedade. Se o resultado precisa ser independente, copie os dados relevantes para um armazenamento com dono próprio, em vez de contar com o fato de o append acabar realocando.
• Proponha duas fixtures com os mesmos valores de entrada visíveis: uma com capacidade sobressalente e outra que exija crescimento. Mantenha um slice observador separado para detectar mutações não intencionais.
• Inclua tanto a atualização comum de um elemento quanto o comportamento do append. Limitar apenas a capacidade do append não torna independentes os elementos que já são compartilhados.
• Quando um resultado pequeno é retido a partir de uma entrada grande, considere o tempo de vida do array subjacente. Avalie se uma cópia explícita expressa o limite de retenção pretendido.

Armadilhas

Não deduza uma política estável de crescimento de alocação a partir de uma única observação em tempo de execução. Copiar também tem um custo; por isso, escolha a cópia porque a propriedade dos dados a exige, não como receita universal de desempenho. O compartilhamento concorrente traz questões de sincronização que são separadas deste diagnóstico de aliasing. As fixtures propostas mostram o que verificar; este texto não afirma ter feito nenhum benchmark de alocação nem medido qualquer economia de memória.