Entrevista técnica de Go: evaluación de new(expr) y go fix en Go 1.26

Consigna y contexto

Un servicio de Go va a migrar a 1.26 para reducir el código repetitivo de inicialización de punteros y modernizar APIs antiguas. Explique new(expr), las restricciones genéricas autorreferenciales y el go fix reescrito, y luego diseñe un pipeline de migración que no envíe cambios de comportamiento directamente a producción.

Esto se adapta a roles de backend de Go, infraestructura y herramientas para desarrolladores. Las notas de lanzamiento de Go 1.26 definen expresiones de valor para new, restricciones genéricas recursivas y modernizadores basados en go/analysis; el blog de Go agrega detalles sobre la migración de APIs y //go:fix inline. Este artículo se basa en fuentes públicas, no en una afirmación sobre el banco de preguntas de entrevistas de ninguna empresa.

Qué evalúa el entrevistador

El entrevistador está verificando si usted distingue entre conveniencia sintáctica, expresividad del sistema de tipos y el riesgo de reescrituras automáticas. Una respuesta sólida explica que new(expr) apunta a una nueva variable inicializada, que las restricciones genéricas aún requieren un conjunto de métodos y que go fix se aplica solo bajo una versión de módulo adecuada, con revisión de diffs, pruebas y un despliegue escalonado.

Preguntas para clarificar

• ¿Cuál es la versión mínima de Go del servicio y la directiva go del módulo?
• ¿Un campo de puntero significa "ausente", o un valor cero también tiene significado?
• ¿Puede un modernizador automático cambiar APIs entre diferentes paquetes?
• ¿La migración debe preservar la compatibilidad binaria, la compatibilidad de serialización o solo el comportamiento de las pruebas?

Una respuesta de 30 segundos

"En Go 1.26, new(expr) crea un puntero inicializado, útil para campos opcionales de JSON o protobuf, pero no cambia la semántica de nil frente a valor cero. Las restricciones genéricas pueden hacer referencia al propio tipo genérico, lo que expresa interfaces recursivas. El go fix reescrito proporciona modernizadores auditables. Fijaría la versión del módulo, generaría un diff revisable, ejecutaría pruebas, análisis estáticos y pruebas de compatibilidad de serialización, y luego haría un despliegue canary del cambio. Una regresión revierte el parche o deshabilita un fixer específico".

Solución paso a paso

La propiedad clave de new(expr) es la inicialización de valor: p := new(300) crea una nueva variable cuyo valor es 300; no devuelve la dirección de una variable existente en la expresión. Esto es útil en literales de estructura y argumentos de función que necesitan un puntero, como un *int opcional. El protocolo aún debe distinguir entre nil, un puntero a cero y un campo omitido.

Go 1.26 permite que un tipo genérico aparezca en su propia restricción de parámetro de tipo. Adder[A Adder[A]] puede requerir que A proporcione Add(A) A. Esto amplía la expresividad de las restricciones pero no garantiza la terminación de la recursión en tiempo de ejecución; los algoritmos aún deben manejar estructuras vacías, profundidad e implementaciones concretas de métodos. Confirme las versiones del compilador y de los módulos de dependencias antes de migrar.

El nuevo go fix utiliza el mismo framework go/analysis que go vet, incluye modernizadores y admite migraciones de API a nivel de código fuente declaradas con //go:fix inline. Su objetivo es la preservación del comportamiento, pero los equipos deben tratar cada parche como una entrada para revisión: acotar los directorios, fijar la toolchain, preservar el diff y rechazar formateos no relacionados.

Los controles de versión deciden si un fixer se ejecuta. La guía oficial requiere que la directiva go.mod del módulo o la restricción de compilación cumplan con la versión adecuada, evitando que un módulo antiguo adopte la nueva sintaxis antes de tiempo. Ejecute go fix en una rama aislada, luego ejecute gofmt, go vet, pruebas unitarias y de integración, y benchmarks. Agregue comparaciones golden para JSON, protobuf, reflexión y código con uso intensivo de unsafe.

Haga un despliegue canary por paquete o servicio y observe binarios, tasa de errores, bytes serializados, latencia y memoria. Si un modernizador cambia el comportamiento, revierta el parche de ese fixer en lugar de toda la toolchain. Si el problema proviene de la actualización del compilador o del runtime en sí, revierta la imagen de compilación y la versión del módulo. Registre la versión de Go, el nombre del fixer, el diff y la evidencia de las pruebas.

Respuesta modelo

Utilizaría cuatro etapas: confirmación semántica, reescritura automatizada, verificación y despliegue canary. Primero, confirmar que new(expr) solo cambia la inicialización de punteros y preserva los contratos de nil, valor cero y serialización; confirmar que los genéricos recursivos solo amplían las restricciones. Ejecutar go fix con una versión de módulo fijada y mantener un diff auditable. Cada parche pasa gofmt, go vet, pruebas, benchmarks y pruebas golden de serialización antes del despliegue a nivel de servicio con una ruta de reversión por cada fixer.

Errores comunes

• Error → tratar new(0) como un puntero nil; Por qué falla → apunta a una nueva variable que contiene cero; Solución → mantener nil para la ausencia y probar la serialización.
• Error → hacer commit de nueva sintaxis bajo un go.mod antiguo; Por qué falla → la toolchain antigua no puede analizarlo y el fixer no debería ejecutarse; Solución → actualizar el control de versión y fijar CI.
• Error → ejecutar go fix en todo el repositorio sin revisión; Por qué falla → pueden colarse cambios de API entre paquetes y modificaciones no relacionadas; Solución → acotar directorios, revisar diffs y hacer despliegue canary de cada fixer.
• Error → ejecutar únicamente pruebas unitarias; Por qué falla → pueden escaparse regresiones en JSON/protobuf y en el rendimiento; Solución → agregar comprobaciones golden, de integración y de benchmarks.

Preguntas de seguimiento

¿En qué se diferencia new(expr) de &expr?

Ambos producen un puntero, pero new(expr) asigna e inicializa una nueva variable a partir de una expresión de valor. &expr requiere una expresión direccionable y toma la dirección de una variable existente. Las revisiones de migración deben verificar el tiempo de vida, la direccionabilidad y el uso compartido accidental.

¿Cómo demuestra que go fix preservó el comportamiento?

Mantenga un diff por cada fixer, ejecute compilación, análisis estático, pruebas unitarias y de integración, y compare la salida serializada, los códigos de error y los benchmarks clave con pruebas golden o umbrales estadísticos. El código con reflexión y uso intensivo de unsafe también recibe revisión manual y un pequeño despliegue canary.

¿Qué riesgos conllevan las restricciones genéricas recursivas?

Expresan interfaces recursivas pero pueden hacer que las restricciones y los errores del compilador sean más difíciles de entender, y no garantizan la terminación del algoritmo. Limite la complejidad de las restricciones, agregue pruebas de fallo de compilación para métodos faltantes y proporcione alias de tipos públicos claros y ejemplos.