Confusión en torno a la conversión de uint8 a int8

La conversión de un uint8 a un int8 en Go puede provocar un comportamiento inesperado, como se destaca a continuación ejemplo:

package main

import (
    "fmt"
)

func main() {
    a := int8(0xfc) // Compile error: constant 252 overflows int8
}

El código falla con un error en tiempo de compilación porque la constante 0xfc excede el rango de int8 (-128 a 127). Sin embargo, el siguiente código se compila sin errores:

package main

import (
    "fmt"
)

func main() {
    a := 0xfc
    b := int8(a) // Ok
}

La diferencia radica en el orden de las operaciones. En el primer ejemplo, la constante se convierte a int8 antes de asignarla a a. En el segundo ejemplo, a a primero se le asigna el valor 0xfc y luego se convierte a int8.

Según la especificación del lenguaje Go, las expresiones constantes deben poder representarse mediante el tipo de constante. En este caso, 0xfc no se puede representar mediante int8, lo que genera un error de compilación.

Sin embargo, cuando la conversión se realiza después de la asignación, el valor de a (que ya no es una constante) está dentro del rango de int8, lo que permite que la conversión se realice correctamente.

Para casos de uso práctico, considere el siguiente ejemplo:

type Char byte

var c Char = '世' // Error: '世' has value 0x4e16, too large.

Este código genera un error porque el valor de la constante '世' (0x4e16) excede el rango de bytes ( 0 a 255). Para solucionar este problema, se puede utilizar la siguiente técnica:

var c Char = Char('世') // Ok

En este caso, '世' se asigna primero a un tipo de byte y luego se convierte a Char. Esto garantiza que el valor esté dentro del rango del tipo Char. Se pueden aplicar técnicas similares al convertir bytes a int32 teniendo en cuenta el signo del valor resultante.