Respuesta

Las constantes (const) en Go se evalúan en tiempo de compilación y pueden tener un tipo implícito. iota es un identificador especial que se utiliza para generar valores secuenciales al declarar bloques de constantes. iota se incrementa en uno dentro del bloque con cada nueva constante.

La asignación sin especificar el tipo provoca que la constante pueda recibir un tipo diferente al que el desarrollador espera, especialmente si participa en operaciones aritméticas o lógicas. Esto puede dar lugar a conversiones implícitas y errores de compilación.

Ejemplo:

type Level int
const (
    Low Level = iota // Low: Level == 0
    Medium          // Medium: Level == 1
    High            // High: Level == 2
)
// Y si no se especifica el tipo:
const (
    Foo = iota // Foo: int == 0
    Bar        // Bar: int == 1
)

Pregunta trampa

¿Puede el valor de una constante utilizando iota ser "tipado" y qué tipo tendrá si no se especifica explícitamente?

Respuesta: Si el tipo no se especifica explícitamente, la constante se convierte en un tipo no tipado y recibe un tipo inferido del contexto de uso (por ejemplo, int, si se utiliza en aritmética). Esto puede llevar a problemas al usar alias de tipos o cuando se requiere un tipado estricto.

Ejemplo:

type Status uint8
const (
    Ready Status = iota+1 // Ok
    // si se hubiera declarado simplemente const Ready = iota+1 — el tipo sería int, no Status
)

Ejemplos de errores reales debido al desconocimiento de las sutilezas del tema

---

Historia

Al serializar el estado a través de json, el desarrollador declaró const utilizando iota sin un tipo explícito. El resultado — la serialización devuelve int, en lugar de una cadena legible por humanos, lo que hizo que el frontend comenzara a interpretar incorrectamente el valor recibido.

---

Historia

En el proyecto se introdujo un tipo State (type State int), pero las constantes se quedaron declaradas sin tipo. Esto llevó a que las interfaces no pudieran aceptar valores del tipo State, lo que resultó en errores desagradables relacionados con la incompatibilidad de tipos al comparar constantes y variables.

---

Historia

Un ingeniero agregó un nuevo valor enum a través de iota, sin especificar el tipo. Como resultado, el compilador permitió comparar la constante con cualquier otra variable de tipo int, lo que llevó a errores en la lógica de negocio en producción.