Resumen de Puntos Destacados de Escenarios de Defectos

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

Depuración de Go: Fallos Observables y Bordes Afilados

• La mayoría de los defectos de producción en Go se agrupan en un pequeño conjunto de familias de síntomas reconocibles
• Los fallos observables a menudo ocultan la semántica del lenguaje, no errores de algoritmo
• El detector de carreras, pprof y los rastreos de pila mapean los síntomas a la causa raíz rápidamente
• Go 1.22+ corrigió la captura de variables de bucle, pero los patrones heredados todavía aparecen en las bases de código
• Las listas de verificación de prevención superan a la depuración heroica después de un incidente

Conceptos Básicos de Depuración en Go

• Use %#v y log.Printf para depurar slices y punteros nil con contexto de pila
• Envuelva los errores con %w para preservar las cadenas de errores para errors.Is y errors.As
• Los rastreos de pila de pánico muestran la cadena de llamadores desde el marco superior; establezca GOTRACEBACK=all para pilas completas
• Use Delve break y continue para recorrer el código y aislar defectos
• Compare los IDs de goroutine en Delve para depurar código bloqueado o en deadlock
• Ejecute pruebas con -race para detectar errores de lectura/escritura concurrente en código de producción

Análisis de Defectos de Interfaz Nil vs. Puntero Nil

• Un puntero nil tipado dentro de una interfaz no es igual a nil
• if err != nil se evalúa como verdadero cuando err es un *MyError tipado nil
• Devuelva nil concreto o un error centinela en lugar de (nil, nil) en el error
• Los analizadores estáticos como nilaway detectan muchas rutas de retorno de nil tipado
• Los rastreos de pila apuntan al sitio de llamada, no al retorno incorrecto

Sorpresa de Copia de Cabecera de Slice y Append

• Asignar un slice copia la cabecera, no el array subyacente
• append puede escribir en la capacidad de otro slice si los arrays se comparten
• El slicing de tres índices limita la capacidad y previene el crecimiento accidental hacia vecinos
• Las expresiones de slice completas copian al pasar buffers a los llamadores
• Los defectos se manifiestan como corrupción silenciosa de datos, no como pánicos

Errores de Variable de Rango y Cierre de Goroutine

• Antes de la versión 1.22, todas las goroutines en un bucle a menudo veían el último valor de la variable del bucle
• Go 1.22+ crea variables por iteración para bucles range y for
• defer en bucles y cierres sobre variables externas todavía necesitan copias explícitas
• Las pruebas basadas en tablas que generan goroutines son una fuga común de este error
• govet copyloopvar marca patrones de riesgo en versiones de lenguaje más antiguas

Zonas Horarias y Gotchas de time.Parse

• time.Parse sin zona en el layout usa UTC para cadenas sin zona
• time.Time transporta tanto la hora del reloj como la lectura monotónica para comparaciones
• El marshaling JSON usa RFC3339 UTC por defecto
• LoadLocation necesita tzdata en contenedores mínimos
• Nunca compare cadenas de Format entre ubicaciones sin normalizar

Fugas de Goroutine y Cancelación de Contexto Faltante

• Las goroutines con fugas permanecen bloqueadas en I/O de canal o ignoran ctx.Done()
• El perfil de goroutine de pprof muestra dónde están atascadas las pilas
• El apagado de HTTP debe cancelar el trabajo en curso a través del contexto de solicitud
• errgroup vincula la vida de la goroutine al contexto padre
• Cerrar canales desde los receptores causa pánicos; los remitentes son dueños del cierre

Escenarios de Carreras de Datos y Correcciones del Detector de Carreras

• Las carreras de datos son comportamiento indefinido incluso cuando la salida parece correcta
• go test -race y go run -race instrumentan los accesos a memoria
• Los mapas no deben escribirse concurrentemente con ninguna otra operación
• sync.Map, mutex o copy-on-read protegen cachés compartidos
• Los singletons perezosos necesitan sync.Once, no solo double-checked locking

Mejores Prácticas de Depuración y Escenarios de Defectos

• Nunca devuelva nil nil para no encontrado en tipos de puntero
• Verifique los punteros después de errores nil para prevenir desreferencias
• Siempre haga defer cancel inmediatamente después de WithCancel o WithTimeout
• Nunca comparta mapas entre goroutines sin sincronización
• Reproduzca errores bajo -race para encontrar carreras de datos ocultas
• Pase r.Context a través de los manejadores HTTP a todo el I/O bloqueante