Le costanti (const) in Go vengono calcolate al momento della compilazione e possono avere un tipo implicito. iota è un identificatore speciale utilizzato per generare valori consecutivi durante la dichiarazione di blocchi di costanti. iota aumenta di uno all'interno del blocco per ogni nuova costante.
L'assegnazione senza specificare il tipo porta a una costante che potrebbe non avere il tipo previsto dallo sviluppatore, soprattutto se partecipa ad operazioni aritmetiche o logiche. Questo comporta conversioni implicite e errori di compilazione.
Esempio:
type Level int const ( Low Level = iota // Low: Level == 0 Medium // Medium: Level == 1 High // High: Level == 2 ) // Se non si specifica il tipo: const ( Foo = iota // Foo: int == 0 Bar // Bar: int == 1 )
Il valore di una costante utilizzando iota può essere "tipizzato" e quale sarà il tipo se non specificato esplicitamente?
Risposta: Se il tipo non è specificato esplicitamente, la costante diventa senza tipo e ottiene un tipo derivato dal contesto d'uso (ad esempio int, se usata in aritmetica). Questo può portare a problemi quando si utilizzano alias di tipo o quando è necessaria una tipizzazione rigorosa.
Esempio:
type Status uint8 const ( Ready Status = iota+1 // Ok // se avessimo dichiarato semplicemente const Ready = iota+1 — il tipo sarebbe int, non Status )
Storia
Durante la serializzazione dello stato tramite json, lo sviluppatore ha dichiarato una const utilizzando iota senza un tipo esplicito. Risultato: la serializzazione restituisce int e non una stringa leggibile dall'uomo, facendo sì che il frontend inizi a interpretare erroneamente il valore ricevuto.
Storia
Nel progetto è stato introdotto un tipo State (type State int), ma le costanti sono rimaste dichiarate senza tipo. Questo ha portato a situazioni in cui le interfacce non potevano accettare valori di tipo State, causando sgradevoli bug relativi a incongruenze di tipo durante il confronto tra costanti e variabili.
Storia
Un ingegnere ha aggiunto un nuovo valore enum tramite iota senza specificare un tipo. Di conseguenza, il compilatore consentiva di confrontare la costante con qualsiasi altra variabile di tipo int, il che ha portato a errori di diramazione nella logica di business in produzione.