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

Q: ¿Por qué map[T]struct{} para conjuntos?

Los valores de struct vacíos no ocupan bytes. La membresía es O(1) en promedio con buenas propiedades de hash en T.

Q: ¿Deben las colas ser genéricas en APIs públicas?

A menudo se mantienen las colas internas. Exporta el comportamiento (procesador de lotes), no los tipos Queue[T], a menos que la biblioteca sea un kit de estructuras de datos.

Q: ¿Cómo itero un Conjunto?

for k := range s en el patrón del mapa subyacente. Añade un método Values() que devuelva []T si los llamadores necesitan slices.

Q: ¿Son los conjuntos genéricos seguros para hilos?

No - los mapas estándar no son seguros para escrituras concurrentes. Añade un envoltorio de mutex o usa mapas concurrentes.

Q: ¿Puedo serializar Set[T] a JSON?

Convierte a []T para marshaling. map[T]struct{} no se marshala a JSON como un array por defecto.

Q: ¿Cola vs canal?

Los canales sincronizan goroutines. Las colas genéricas se adaptan al batching en memoria dentro de una goroutine o con bloqueo externo.

Q: ¿Cuántos parámetros de tipo para mapas?

K comparable y V any cubren la mayoría de los ayudantes. Añade un tercer parámetro solo para pipelines de transformación.

Q: ¿Necesita Set punteros?

No para valores comparables pequeños. Usa punteros como elementos cuando los valores sean grandes y la identidad importe.

Q: ¿Qué pasa con los conjuntos ordenados?

Usa un mapa más una caché de slice ordenada, o estructuras tree de paquetes de terceros. Los genéricos no implican ordenación.

Q: ¿Cuándo sigue siendo mejor la generación de código?

Decenas de instanciaciones en objetivos embebidos pequeños donde el tamaño binario domina. Mide antes de elegir.

Los genéricos te permiten enviar conjuntos, colas y ayudantes de mapas tipados una vez por módulo en lugar de mantener StringSet, IntSet y la salida de go generate.

Resumen

Un conjunto genérico suele ser map[T]struct{} con claves comparable.

Las colas envuelven slices con índices de cabeza/cola o usan buffers de anillo para capacidad fija.

Los ayudantes de mapas centralizan la obtención segura de valores predeterminados, la copia y la lógica de transformación con dos parámetros de tipo K y V.

Mantén las API de contenedores exportadas pequeñas y documenta el comportamiento del valor cero.

Receta

Tarjeta de referencia rápida - lista para copiar y pegar.

type Set[T comparable] map[T]struct{}
 
func NewSet[T comparable](vals ...T) Set[T] {
    s := make(Set[T], len(vals))
    for _, v := range vals {
        s.Add(v)
    }
    return s
}
 
func (s Set[T]) Add(v T)     { s[v] = struct{}{} }
func (s Set[T]) Has(v T) bool { _, ok := s[v]; return ok }

Cuándo usar esto:

Patrones duplicados de map[string]struct{} en varios paquetes.
Colas de trabajo FIFO dentro de workers sin conversiones a interface{}.
Bibliotecas internas compartidas por manejadores HTTP y servicios gRPC.

Ejemplo de Trabajo

package main
 
import (
    "fmt"
)
 
type Set[T comparable] map[T]struct{}
 
func (s Set[T]) Add(v T) { s[v] = struct{}{} }
func (s Set[T]) Has(v T) bool {
    _, ok := s[v]
    return ok
}
 
type Queue[T any] struct {
    buf []T
}
 
func (q *Queue[T]) Enqueue(v T) { q.buf = append(q.buf, v) }
 
func (q *Queue[T]) Dequeue() (T, bool) {
    if len(q.buf) == 0 {
        var zero T
        return zero, false
    }
    v := q.buf[0]
    q.buf = q.buf[1:]
    return v, true
}
 
func GetOr[K comparable, V any](m map[K]V, k K, def V) V {
    if v, ok := m[k]; ok {
        return v
    }
    return def
}
 
func main() {
    s := make(Set[string])
    s.Add("go")
    fmt.Println(s.Has("go"), s.Has("rust"))
 
    var q Queue[int]
    q.Enqueue(1)
    q.Enqueue(2)
    v, _ := q.Dequeue()
    fmt.Println(v)
 
    m := map[string]int{"a": 1}
    fmt.Println(GetOr(m, "b", 0))
}

Lo que esto demuestra:

Set[T] requiere comparable para las claves del mapa.
Queue[T] usa any porque los elementos solo se almacenan y mueven.
GetOr separa la comparabilidad de la clave de la flexibilidad del tipo de valor.

Análisis Profundo

Cómo Funciona

Los tipos nombrados genéricos (type Set[T comparable] map[T]struct{}) crean un tipo nombrado distinto por cada instanciación.
Los métodos se adjuntan al tipo genérico y comparten sus parámetros.
Bajo el capó, el compilador monomorfiza cada instanciación que usas en el grafo de paquetes.
Los valores cero son utilizables: var q Queue[int] es una cola vacía; make(Set[string]) asigna el mapa.

Patrones de Contenedores

Estructura	Restricción	Respaldo	Notas
Set	`comparable`	`map[T]struct{}`	Los valores de struct vacíos no usan memoria de valor adicional
Queue (simple)	`any`	Slice con re-slicing	Encolamiento O(1) amortizado; dequeue desplaza o copia la cabeza
Queue (anillo)	`any`	`[]T` fijo + índices	Mejor para profundidad máxima conocida
Stack	`any`	Slice	Igual que LIFO append/pop
Ayudante de Mapa	`K comparable`, `V any`	Mapa del llamador	Sin propiedad - funciones puras

Notas de Go

// Ring queue evita dequeue O(n) del re-slicing de slice a escala
type RingQueue[T any] struct {
    buf  []T
    head int
    tail int
    n    int
}
 
func NewRingQueue[T any](cap int) *RingQueue[T] {
    return &RingQueue[T]{buf: make([]T, cap)}
}

Para conjuntos concurrentes, envuelve con sync.Mutex o usa sync.Map cuando las claves sean any y los patrones de contención encajen.
La serialización JSON de conjuntos genéricos generalmente requiere MarshalJSON personalizado por instanciación o funciones auxiliares; los mapas se serializan bien cuando las claves son cadenas.
Considera container/list solo cuando necesites enlaces intrusivos; los genéricos más los slices cubren la mayoría de las colas de servicio.

Trampas

Hacer dequeue con buf = buf[1:] de slice - Mantiene el array subyacente vivo, filtrando memoria en colas de larga duración. Solución: usa un buffer de anillo o copia periódica cuando len << cap.
Conjunto como mapa sin inicialización - El valor cero Set[T] es un mapa nil; las escrituras provocan pánico. Solución: make(Set[T]) o un constructor.
Elemento no comparable en conjunto - Las claves de tipo slice fallan la compilación. Solución: hashea el tipo de clave o usa map[uint64]struct{}.
Exportar contenedores genéricos demasiado pronto - Bloqueo de API entre módulos. Solución: mantén sin exportar hasta que la forma se estabilice.
Copia profunda omitida - Los ayudantes map[K]*V copian punteros, no los datos a los que apuntan. Solución: documenta semántica superficial o clona valores.
Tamaño de TinyGo/WASM - Muchas instanciaciones hinchan el WASM. Solución: limita las instanciaciones o usa rutas no genéricas en objetivos pequeños.

Alternativas

Alternativa	Usar Cuando	No Usar Cuando
`go generate` por tipo	Máximo control, sin sintaxis de corchetes en la API	Pocos tipos, el equipo prefiere genéricos
Solo `map[string]struct{}`	Conjunto único de cadenas	Múltiples tipos de elementos
`container/heap`	Semántica de cola de prioridad	FIFO simple
Cola de buffer de canal	Transferencia de goroutines	Batching en un solo hilo

Preguntas Frecuentes

¿Por qué map[T]struct{} para conjuntos?

Los valores de struct vacíos no ocupan bytes.

La membresía es O(1) en promedio con buenas propiedades de hash en T.

¿Deben las colas ser genéricas en APIs públicas?

A menudo se mantienen las colas internas.

Exporta el comportamiento (procesador de lotes), no los tipos Queue[T], a menos que la biblioteca sea un kit de estructuras de datos.

¿Cómo itero un Conjunto?

for k := range s en el patrón del mapa subyacente.

Añade un método Values() que devuelva []T si los llamadores necesitan slices.

¿Son los conjuntos genéricos seguros para hilos?

No - los mapas estándar no son seguros para escrituras concurrentes.

Añade un envoltorio de mutex o usa mapas concurrentes.

¿Puedo serializar Set[T] a JSON?

Convierte a []T para marshaling.

map[T]struct{} no se marshala a JSON como un array por defecto.

¿Cola vs canal?

Los canales sincronizan goroutines.

Las colas genéricas se adaptan al batching en memoria dentro de una goroutine o con bloqueo externo.

¿Cuántos parámetros de tipo para mapas?

K comparable y V any cubren la mayoría de los ayudantes.

Añade un tercer parámetro solo para pipelines de transformación.

¿Necesita Set punteros?

No para valores comparables pequeños.

Usa punteros como elementos cuando los valores sean grandes y la identidad importe.

¿Qué pasa con los conjuntos ordenados?

Usa un mapa más una caché de slice ordenada, o estructuras tree de paquetes de terceros.

Los genéricos no implican ordenación.

¿Cuándo sigue siendo mejor la generación de código?

Decenas de instanciaciones en objetivos embebidos pequeños donde el tamaño binario domina.

Mide antes de elegir.

¿Puedo incrustar Set en otros genéricos?

Sí - compone Set[T] dentro de tipos estilo Graph[N comparable].

Vigila el tiempo de compilación y el tamaño binario.

¿Cómo pruebo contenedores genéricos?

Pruebas de tabla con múltiples instanciaciones (Set[int], Set[string]) en el mismo archivo de prueba del paquete.

Relacionado

Conjuntos de Tipos y la Restricción comparable - requisitos de clave de conjunto
Conceptos Básicos de Genéricos - ejemplo de stack
Algoritmos Genéricos: Paquetes slices, maps y cmp - ayudantes de copia de mapas
Implicaciones de Rendimiento de los Genéricos - coste de instanciación
Cuándo Evitar Genéricos en APIs de Go - guía de exportación

Versiones de Stack: Esta página fue escrita para Go 1.26.x (predeterminado GC de Green Tea, go fix modernizers - verifica el parche en la compilación), chi (última - verifica en la compilación), gin (última - verifica en la compilación), echo (última - verifica en la compilación), google.golang.org/grpc (última - verifica en la compilación), sigs.k8s.io/controller-runtime (última - verifica en la compilación), kubebuilder (última - verifica en la compilación), tinygo (última - verifica objetivos de placa en la compilación), wazero (última - verifica en la compilación) y golangci-lint (última - verifica el conjunto de linters en la compilación).

Resumen

Un conjunto genérico suele ser map[T]struct{} con claves comparable.

Las colas envuelven slices con índices de cabeza/cola o usan buffers de anillo para capacidad fija.

Los ayudantes de mapas centralizan la obtención segura de valores predeterminados, la copia y la lógica de transformación con dos parámetros de tipo K y V.

Mantén las API de contenedores exportadas pequeñas y documenta el comportamiento del valor cero.

Receta

Tarjeta de referencia rápida - lista para copiar y pegar.

type Set[T comparable] map[T]struct{}
 
func NewSet[T comparable](vals ...T) Set[T] {
    s := make(Set[T], len(vals))
    for _, v := range vals {
        s.Add(v)
    }
    return s
}
 
func (s Set[T]) Add(v T)     { s[v] = struct{}{} }
func (s Set[T]) Has(v T) bool { _, ok := s[v]; return ok }

Cuándo usar esto:

Patrones duplicados de map[string]struct{} en varios paquetes.
Colas de trabajo FIFO dentro de workers sin conversiones a interface{}.
Bibliotecas internas compartidas por manejadores HTTP y servicios gRPC.

Ejemplo de Trabajo

package main
 
import (
    "fmt"
)
 
type Set[T comparable] map[T]struct{}
 
func (s Set[T]) Add(v T) { s[v] = struct{}{} }
func (s Set[T]) Has(v T) bool {
    _, ok := s[v]
    return ok
}
 
type Queue[T any] struct {
    buf []T
}
 
func (q *Queue[T]) Enqueue(v T) { q.buf = append(q.buf, v) }
 
func (q *Queue[T]) Dequeue() (T, bool) {
    if len(q.buf) == 0 {
        var zero T
        return zero, false
    }
    v := q.buf[0]
    q.buf = q.buf[1:]
    return v, true
}
 
func GetOr[K comparable, V any](m map[K]V, k K, def V) V {
    if v, ok := m[k]; ok {
        return v
    }
    return def
}
 
func main() {
    s := make(Set[string])
    s.Add("go")
    fmt.Println(s.Has("go"), s.Has("rust"))
 
    var q Queue[int]
    q.Enqueue(1)
    q.Enqueue(2)
    v, _ := q.Dequeue()
    fmt.Println(v)
 
    m := map[string]int{"a": 1}
    fmt.Println(GetOr(m, "b", 0))
}

Lo que esto demuestra:

Set[T] requiere comparable para las claves del mapa.
Queue[T] usa any porque los elementos solo se almacenan y mueven.
GetOr separa la comparabilidad de la clave de la flexibilidad del tipo de valor.

Análisis Profundo

Cómo Funciona

Los tipos nombrados genéricos (type Set[T comparable] map[T]struct{}) crean un tipo nombrado distinto por cada instanciación.
Los métodos se adjuntan al tipo genérico y comparten sus parámetros.
Bajo el capó, el compilador monomorfiza cada instanciación que usas en el grafo de paquetes.
Los valores cero son utilizables: var q Queue[int] es una cola vacía; make(Set[string]) asigna el mapa.

Patrones de Contenedores

Estructura	Restricción	Respaldo	Notas
Set	`comparable`	`map[T]struct{}`	Los valores de struct vacíos no usan memoria de valor adicional
Queue (simple)	`any`	Slice con re-slicing	Encolamiento O(1) amortizado; dequeue desplaza o copia la cabeza
Queue (anillo)	`any`	`[]T` fijo + índices	Mejor para profundidad máxima conocida
Stack	`any`	Slice	Igual que LIFO append/pop
Ayudante de Mapa	`K comparable`, `V any`	Mapa del llamador	Sin propiedad - funciones puras

Notas de Go

// Ring queue evita dequeue O(n) del re-slicing de slice a escala
type RingQueue[T any] struct {
    buf  []T
    head int
    tail int
    n    int
}
 
func NewRingQueue[T any](cap int) *RingQueue[T] {
    return &RingQueue[T]{buf: make([]T, cap)}
}

Para conjuntos concurrentes, envuelve con sync.Mutex o usa sync.Map cuando las claves sean any y los patrones de contención encajen.
La serialización JSON de conjuntos genéricos generalmente requiere MarshalJSON personalizado por instanciación o funciones auxiliares; los mapas se serializan bien cuando las claves son cadenas.
Considera container/list solo cuando necesites enlaces intrusivos; los genéricos más los slices cubren la mayoría de las colas de servicio.

Trampas

Hacer dequeue con buf = buf[1:] de slice - Mantiene el array subyacente vivo, filtrando memoria en colas de larga duración. Solución: usa un buffer de anillo o copia periódica cuando len << cap.
Conjunto como mapa sin inicialización - El valor cero Set[T] es un mapa nil; las escrituras provocan pánico. Solución: make(Set[T]) o un constructor.
Elemento no comparable en conjunto - Las claves de tipo slice fallan la compilación. Solución: hashea el tipo de clave o usa map[uint64]struct{}.
Exportar contenedores genéricos demasiado pronto - Bloqueo de API entre módulos. Solución: mantén sin exportar hasta que la forma se estabilice.
Copia profunda omitida - Los ayudantes map[K]*V copian punteros, no los datos a los que apuntan. Solución: documenta semántica superficial o clona valores.
Tamaño de TinyGo/WASM - Muchas instanciaciones hinchan el WASM. Solución: limita las instanciaciones o usa rutas no genéricas en objetivos pequeños.

Alternativas

Alternativa	Usar Cuando	No Usar Cuando
`go generate` por tipo	Máximo control, sin sintaxis de corchetes en la API	Pocos tipos, el equipo prefiere genéricos
Solo `map[string]struct{}`	Conjunto único de cadenas	Múltiples tipos de elementos
`container/heap`	Semántica de cola de prioridad	FIFO simple
Cola de buffer de canal	Transferencia de goroutines	Batching en un solo hilo

Preguntas Frecuentes

¿Por qué map[T]struct{} para conjuntos?

Los valores de struct vacíos no ocupan bytes.

La membresía es O(1) en promedio con buenas propiedades de hash en T.

¿Deben las colas ser genéricas en APIs públicas?

A menudo se mantienen las colas internas.

Exporta el comportamiento (procesador de lotes), no los tipos Queue[T], a menos que la biblioteca sea un kit de estructuras de datos.

¿Cómo itero un Conjunto?

for k := range s en el patrón del mapa subyacente.

Añade un método Values() que devuelva []T si los llamadores necesitan slices.

¿Son los conjuntos genéricos seguros para hilos?

No - los mapas estándar no son seguros para escrituras concurrentes.

Añade un envoltorio de mutex o usa mapas concurrentes.

¿Puedo serializar Set[T] a JSON?

Convierte a []T para marshaling.

map[T]struct{} no se marshala a JSON como un array por defecto.

¿Cola vs canal?

Los canales sincronizan goroutines.

Las colas genéricas se adaptan al batching en memoria dentro de una goroutine o con bloqueo externo.

¿Cuántos parámetros de tipo para mapas?

K comparable y V any cubren la mayoría de los ayudantes.

Añade un tercer parámetro solo para pipelines de transformación.

¿Necesita Set punteros?

No para valores comparables pequeños.

Usa punteros como elementos cuando los valores sean grandes y la identidad importe.

¿Qué pasa con los conjuntos ordenados?

Usa un mapa más una caché de slice ordenada, o estructuras tree de paquetes de terceros.

Los genéricos no implican ordenación.

¿Cuándo sigue siendo mejor la generación de código?

Decenas de instanciaciones en objetivos embebidos pequeños donde el tamaño binario domina.

Mide antes de elegir.

¿Puedo incrustar Set en otros genéricos?

Sí - compone Set[T] dentro de tipos estilo Graph[N comparable].

Vigila el tiempo de compilación y el tamaño binario.

¿Cómo pruebo contenedores genéricos?

Pruebas de tabla con múltiples instanciaciones (Set[int], Set[string]) en el mismo archivo de prueba del paquete.

Relacionado

Conjuntos de Tipos y la Restricción comparable - requisitos de clave de conjunto
Conceptos Básicos de Genéricos - ejemplo de stack
Algoritmos Genéricos: Paquetes slices, maps y cmp - ayudantes de copia de mapas
Implicaciones de Rendimiento de los Genéricos - coste de instanciación
Cuándo Evitar Genéricos en APIs de Go - guía de exportación

Versiones de Stack: Esta página fue escrita para Go 1.26.x (predeterminado GC de Green Tea, go fix modernizers - verifica el parche en la compilación), chi (última - verifica en la compilación), gin (última - verifica en la compilación), echo (última - verifica en la compilación), google.golang.org/grpc (última - verifica en la compilación), sigs.k8s.io/controller-runtime (última - verifica en la compilación), kubebuilder (última - verifica en la compilación), tinygo (última - verifica objetivos de placa en la compilación), wazero (última - verifica en la compilación) y golangci-lint (última - verifica el conjunto de linters en la compilación).

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

Buscar en la documentación

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