Resumen de Puntos Clave de Genéricos

Cada punto clave de las 9 páginas de esta sección, reunido en una sola página y agrupado por la página de la que proviene.

Genéricos en Go: Restricciones Sin Plantillas

• Los genéricos de Go usan parámetros de tipo y restricciones de interfaz, no plantillas al estilo C++
• El compilador monomorfiza las instanciaciones para que las rutas críticas permanezcan tipadas estáticamente
• Los conjuntos de tipos (~T y uniones) expresan qué tipos concretos pueden sustituir a un parámetro
• comparable y any son restricciones integradas para igualdad y uso sin restricciones
• Go omite la especialización, la herencia y las conversiones implícitas a través de genéricos

Conceptos Básicos de Genéricos

• Parámetros de tipo entre corchetes; use restricciones como cmp.Ordered para tipos comparables
• Argumentos de tipo explícitos como Zero[int]() sustituyen parámetros de tipo sin reflexión
• La restricción comparable habilita == y !=; prefiera slices.Contains de la biblioteca estándar en código de producción
• Cada instanciación de struct genérico como Stack[int] y Stack[string] es un tipo distinto
• Las restricciones de interfaz habilitan llamadas a métodos en T; no se necesita una palabra clave implements explícita
• Use make(map[T]int) para crear tablas de frecuencia indexadas por cualquier tipo comparable T

Parámetros de Tipo e Interfaces de Restricción

• Los parámetros de tipo entre corchetes usan interfaces de restricción para definir tipos válidos
• El operador ~ coincide con tipos nombrados por su tipo subyacente, no solo literales
• Use uniones | para combinar múltiples tipos en una sola interfaz de restricción
• Los cuerpos de las funciones solo pueden usar operaciones válidas para todos los tipos de restricción
• Las interfaces de restricción nombradas mejoran la legibilidad en múltiples firmas
• Las restricciones de unión no pueden mezclar operaciones incompatibles como verificaciones de comparación

Conjuntos de Tipos y la Restricción comparable

• Las interfaces de restricción definen conjuntos de tipos para la sustitución de parámetros de tipo
• comparable habilita == y != para claves de mapa y deduplicación
• Los slices, mapas y funciones no son comparables
• NaN de punto flotante viola la igualdad IEEE dentro de comparable
• Las interfaces comparan tanto el tipo dinámico como el valor bajo comparable
• comparable permite la igualdad; cmp.Ordered habilita los operadores de comparación

Estructuras de Datos Genéricas: Conjuntos, Colas, Mapas

• La implementación genérica de conjuntos usa map[T]struct{} con la restricción comparable para mayor eficiencia
• Construya colas con el patrón de índice de cabeza/cola o buffers circulares dependiendo de las restricciones de profundidad
• Los valores de struct vacíos en los conjuntos no consumen memoria adicional en comparación con el almacenamiento de valores reales
• El valor cero del conjunto es un mapa nil; inicialícelo con make o un constructor para evitar pánicos de escritura
• El patrón de dequeue de slice buf[1:] filtra memoria en colas de larga duración debido al array de respaldo retenido
• Los ayudantes de mapa con parámetros de tipo K, V centralizan la lógica de obtener-o-predeterminado, copiar y transformar

Algoritmos Genéricos: Paquetes slices, maps y cmp

• Use los paquetes slices, maps, cmp antes que ayudantes personalizados para operaciones genéricas
• Prefiera slices.SortFunc sobre sort.Slice para firmas de comparador más claras
• Las funciones de slices mutan en el lugar a menos que Clone o devuelvan un nuevo slice
• maps.Clone solo copia superficialmente; copie en profundidad estructuras anidadas según sea necesario
• cmp.Or elige el primer resultado de comparación no cero para la ordenación de claves múltiples
• La búsqueda binaria en slices no ordenados produce resultados indefinidos siempre

Implicaciones de Rendimiento de los Genéricos

• Los genéricos de Go se compilan en código especializado con un rendimiento en tiempo de ejecución similar pero un tamaño de binario mayor
• Elija interfaces para almacenamiento heterogéneo, plugins en tiempo de ejecución y restricciones binarias estrictas
• Los genéricos de tipo valor evitan las asignaciones de heap, mientras que el boxing de interfaces fuerza el heap
• Benchmarking y perfilado de rutas críticas antes de migrar de código de interfaz estable a genéricos
• La instanciación genérica extiende el tiempo de compilación y la complejidad de los símbolos de depuración proporcionalmente

Cuándo Evitar los Genéricos en las API de Go

• Un solo tipo concreto en producción debería ser una función no genérica
• Use interfaces pequeñas para contratos de comportamiento con muchas implementaciones
• Los ayudantes genéricos en API públicas perjudican la documentación y la capacidad de búsqueda
• Los cambios en las restricciones rompen silenciosamente a los llamadores en tiempo de compilación
• Múltiples instanciaciones genéricas inflan el tamaño del binario en WASM
• Siga el patrón de la biblioteca estándar de API públicas no genéricas y ayudantes internos

Mejores Prácticas de Genéricos

• Nombre las restricciones cuando se reutilicen o exporten para evitar la repetición de uniones
• Prefiera cmp.Ordered y comparable sobre uniones personalizadas para la alineación con la biblioteca estándar
• Mantenga las uniones de restricciones a tres miembros o divídalas en funciones separadas
• Prefiera tipos concretos para API exportadas, reserve los genéricos para ayudantes no exportados
• Evite métodos genéricos en tipos no genéricos; solo los tipos genéricos llevan parámetros
• Adopte los genéricos gradualmente, comenzando con ayudantes internos antes de exportarlos