Respuesta.

En el lenguaje Go, un desarrollador puede crear sus propios tipos basados en existentes o declarar alias para mejorar la legibilidad del código y la integración con bibliotecas externas.

Historia de la cuestión:

Go simplifica fundamentalmente el sistema de tipos, separando los conceptos de creación de un nuevo tipo (type MyInt int) y un alias (type MyIntAlias = int). A menudo hay confusión entre ellos, lo que afecta la compatibilidad de datos entre diferentes partes del sistema.

Problema:

Si se elige incorrectamente la forma de declarar un tipo, se pueden obtener muchos errores implícitos: imposibilidad de transmitir datos entre paquetes, mal funcionamiento con bibliotecas externas o pérdida de todos los métodos al intentar usar un alias.

Solución:

Un nuevo tipo (type Foo T) crea realmente un nuevo tipo con su propia identidad, incluso si se basa en uno existente (por ejemplo, int, struct).
Un alias de tipo (type Foo = T) proporciona un nombre alternativo para un tipo existente, conservando por completo sus métodos y comportamientos, incluidas las coincidencias de interfaces.

Ejemplo de código:

package main
import "fmt"

type MyInt int           // nuevo tipo
func (m MyInt) Double() int { return int(m) * 2 }

type MyIntAlias = int    // alias de tipo

func main() {
    var a MyInt = 5
    var b MyIntAlias = 10
    fmt.Println(a.Double()) // funciona
    //fmt.Println(b.Double()) // error: método no definido en int
}

Características clave:

Un nuevo tipo está completamente separado de su tipo base
Un alias no crea un nuevo tipo, solo un nuevo nombre
Los métodos declarados para un nuevo tipo no son aplicables al alias

Preguntas trampa.

¿Se puede hacer un alias de una estructura y agregarle métodos diferentes de la estructura base?

No. Los métodos solo se pueden declarar para un nuevo tipo, no para un alias. Un alias es simplemente otro nombre para el mismo tipo, una parte del programa no sabe nada sobre la "expansión" del tipo.

type MyStructAlias = SomeStruct
// func (s MyStructAlias) NewMethod() {} // Error

¿Pueden los métodos del tipo base "adherirse" automáticamente al alias?

Sí, porque es el mismo tipo para el compilador. Pero no se pueden usar nuevos métodos: no puedes agregar métodos únicos a un alias.

type MyString = string // todos los métodos y funciones para string funcionan

¿Cuál es la diferencia entre la conversión a un tipo y a un alias?

Al declarar un nuevo tipo, se requiere conversión explícita: MyInt(x) donde x es int. Para un alias no se necesita conversión: los tipos son completamente intercambiables.

type A int
type B = int
var x int = 3
var a A = A(x)      // conversión explícita
var b B = x         // implícito, lo mismo que int

Errores de tipo y anti-patrones

Confusión en la estructura del código al mezclar nuevos tipos y alias
Ausencia inesperada de métodos en el alias
Uso de alias para aislar datos: no son adecuados para eso (mejor usar nuevos tipos)

Ejemplo de la vida real

Caso negativo

Un desarrollador crea un alias de tipo para una biblioteca externa, equivocándose al pensar que podría agregar sus propios métodos y encapsular la lógica de transición.

Ventajas:

Se integra fácilmente con API externas

Desventajas:

Los métodos no se agregan, el comportamiento no se amplía, aparece lógica de datos impredecible

Caso positivo

El equipo crea un nuevo tipo basado en int para representar identificadores de usuario, para proteger la lógica del negocio de la confusión accidental con otros valores enteros, y agrega métodos especiales (validadores, convertidores).