Interfaces de Go: satisfacción implícita y el nil que no es nil

Qué es

La especificación define un tipo interfaz como un conjunto de tipos; una variable de tipo interfaz puede almacenar un valor de cualquier tipo de ese conjunto, y se dice que tal tipo implementa la interfaz. La implementación es estructural: *os.File implementa io.Reader porque tiene Read([]byte) (int, error), no porque lo declare. Desde Go 1.18 las interfaces también sirven como restricciones de tipo para los genéricos, donde pueden enumerar tipos e incorporar comparable. Las aserciones de tipo (v, ok := x.(T)) y los type switches recuperan el tipo concreto en tiempo de ejecución. Las preguntas frecuentes de Go explican la representación: un valor de interfaz contiene un tipo y un valor, y solo es nil cuando ambos están sin definir.

Por qué importa

Para quien está acostumbrado al duck typing esto resulta familiar, con una diferencia: el compilador verifica el pato. Los Protocol de Python y los tipos estructurales de TypeScript son los parientes más cercanos. La representación tiene una consecuencia que Python no tiene: un puntero *MyError que es nil, devuelto como error, produce una interfaz con tipo *MyError y valor nil, que al compararse con nil resulta desigual. Las preguntas frecuentes muestran exactamente una función así y señalan que siempre devolverá un error no nil.

Cómo aplicarlo

• Definir las interfaces donde se consumen, con tan pocos métodos como necesite el consumidor; los io.Reader, io.Writer y fmt.Stringer de un solo método de la biblioteca estándar son el modelo, y la sección de Effective Go sobre interfaces argumenta lo mismo.
• Aceptar interfaces en los parámetros y devolver tipos concretos desde los constructores; así quienes llaman pueden envolver o simular una dependencia en las pruebas sin un framework de mocking.
• Afirmar la satisfacción en tiempo de compilación con var _ io.Writer = (*Buffer)(nil) cuando un tipo debe implementar algo.
• Prestar atención a los conjuntos de métodos: un método con receptor de puntero pertenece a *T, no a T, de modo que un valor simple de T no satisface la interfaz; el compilador lo indica.
• Devolver nil literalmente, nunca un puntero nil tipado, desde una función cuyo tipo de resultado es error.

Trampas

Las interfaces grandes obligan a que cada simulación implemente todo. Las interfaces que existen solo para permitir el mocking, con una única implementación, añaden indirección sin un segundo consumidor. Los parámetros any trasladan los errores de tipo del tiempo de compilación al tiempo de ejecución; los genéricos con una restricción suelen ser la mejor herramienta. Comparar dos valores de interfaz cuyo tipo dinámico idéntico no es comparable (un slice, un map o una función) causa un panic en tiempo de ejecución, y lo mismo ocurre al usar ese valor como clave de un map.