Resumo dos Destaques de Genéricos

Cada item destacado das 9 páginas desta seção, reunido em uma página e agrupado pela página de onde veio.

Genéricos em Go: Restrições Sem Templates

• Genéricos em Go usam parâmetros de tipo e restrições de interface, não templates estilo C++
• O compilador monomorfiza instanciações para que os caminhos críticos permaneçam estaticamente tipados
• Conjuntos de tipos (~T e uniões) expressam quais tipos concretos podem substituir um parâmetro
• comparable e any são restrições integradas para igualdade e uso sem restrições
• Go omite especialização, herança e conversões implícitas através de genéricos

Noções Básicas de Genéricos

• Parâmetros de tipo em colchetes; use restrições como cmp.Ordered para tipos comparáveis
• Argumentos de tipo explícitos como Zero[int]() substituem parâmetros de tipo sem reflexão
• A restrição comparable habilita == e !=; prefira slices.Contains da biblioteca padrão em código de produção
• Cada instanciação de struct genérico como Stack[int] e Stack[string] é um tipo distinto
• Restrições de interface habilitam chamadas de método em T; nenhuma palavra-chave implements explícita é necessária
• Use make(map[T]int) para construir tabelas de frequência com chave em qualquer tipo comparável T

Parâmetros de Tipo e Interfaces de Restrição

• Parâmetros de tipo em colchetes usam interfaces de restrição para definir tipos válidos
• O operador ~ corresponde a tipos nomeados pelo tipo subjacente, não apenas literais
• Use uniões | para combinar múltiplos tipos em uma única interface de restrição
• Corpos de função só podem usar operações válidas para todos os tipos de restrição
• Interfaces de restrição nomeadas melhoram a legibilidade em múltiplas assinaturas
• Uniões de restrição não podem misturar operações incompatíveis como verificações de comparação

Conjuntos de Tipos e a Restrição comparable

• Interfaces de restrição definem conjuntos de tipos para substituição de parâmetros de tipo
• comparable controla == e != para chaves de mapa e desduplicação
• Slices, mapas e funções não são comparáveis
• NaN de ponto flutuante viola a igualdade IEEE dentro de comparable
• Interfaces comparam tanto o tipo dinâmico quanto o valor sob comparable
• comparable permite igualdade; cmp.Ordered habilita operadores de comparação

Estruturas de Dados Genéricas: Conjuntos, Filas, Mapas

• Implementação de conjunto genérico usa map[T]struct{} com restrição comparable para eficiência
• Construa filas com o padrão de índice de cabeça/cauda ou buffers circulares dependendo das restrições de profundidade
• Valores de conjunto de struct vazios consomem zero memória extra em comparação com o armazenamento de valores reais
• O valor zero de conjunto é um mapa nil; inicialize com make ou construtor para evitar pânicos de escrita
• O padrão de dequeue de slice buf[1:] vaza memória em filas de longa duração devido ao array de suporte retido
• Helpers de mapa com parâmetros de tipo K, V centralizam a lógica de obter-com-padrão, copiar e transformar

Algoritmos Genéricos: Pacotes slices, maps e cmp

• Use pacotes slices, maps, cmp antes de helpers personalizados para operações genéricas
• Prefira slices.SortFunc em vez de sort.Slice para assinaturas de comparador mais claras
• Funções slices modificam no local, a menos que Clone ou retornem um novo slice
• maps.Clone apenas copia superficialmente; copie profundamente estruturas aninhadas conforme necessário
• cmp.Or escolhe o primeiro resultado de comparação não zero para ordenação de múltiplas chaves
• A busca binária em slices não ordenados produz resultados indefinidos sempre

Implicações de Desempenho dos Genéricos

• Genéricos em Go compilam para código especializado com desempenho de tempo de execução correspondente, mas tamanho de binário maior
• Escolha interfaces para armazenamento heterogêneo, plugins de tempo de execução e restrições de binário apertadas
• Genéricos de tipo de valor evitam alocações de heap enquanto o boxing de interface força o heap
• Faça benchmark e perfil de caminhos críticos antes de migrar de código de interface estável para genéricos
• A instanciação genérica estende o tempo de compilação e a complexidade dos símbolos de depuração proporcionalmente

Quando Evitar Genéricos em APIs Go

• Um único tipo concreto em produção deve ser uma função não genérica
• Use interfaces pequenas para contratos de comportamento com muitas implementações
• Helpers genéricos em APIs públicas prejudicam a documentação e a capacidade de busca (grep-ability)
• Mudanças de restrição quebram silenciosamente os chamadores em tempo de compilação
• Múltiplas instanciações genéricas inflacionam o tamanho do binário em WASM
• Siga o padrão da biblioteca padrão de APIs públicas não genéricas e helpers internos genéricos

Melhores Práticas de Genéricos

• Nomeie restrições quando reutilizadas ou exportadas para evitar repetição de uniões
• Prefira cmp.Ordered e comparable em vez de uniões personalizadas para alinhamento com a biblioteca padrão
• Mantenha uniões de restrição com três membros ou divida em funções separadas
• Prefira tipos concretos para APIs exportadas, reserve genéricos para helpers não exportados
• Evite métodos genéricos em tipos não genéricos, apenas tipos genéricos carregam parâmetros
• Adote genéricos gradualmente, começando com helpers internos antes de exportá-los