¿Cuál es el rol de la sintaxis de "interfaz {}" en Go?

Question

He leído los Tutoriales de Go and Go efectivos, así como alguna fuente, pero el mecanismo exacto detrás de la sintaxis interface {} es Ir es algo misterioso para mí. Lo vi por primera vez cuando intento implementar heap.Interface y parece ser un contenedor de algún tipo (me recuerda un poco a la mónada) de la que puedo extraer valores de tipo arbitrario.

¿Por qué se escribe Go para usar esto? ¿Es algún tipo de solución para los genéricos? ¿Hay una manera más elegante de obtener valores de un heap.Interface que tener que desreferenciarlos con heap.Pop(&h).(*Foo) (en el caso de los punteros del montón para escribir Foo)?

Answer 1

interface{} es una caja genérica que puede contener todo. Las interfaces en go definen un conjunto de métodos, y cualquier tipo que implemente estos métodos se ajusta a la interfaz. interface{} no define ningún método, y por definición, cada tipo se ajusta a esta interfaz y, por lo tanto, puede mantenerse en un valor de tipo interface{}.

No es realmente como los genéricos en absoluto. En cambio, es una forma de relajar el sistema de tipos y decir "cualquier valor en absoluto se puede pasar aquí". El equivalente en C para esta funcionalidad es un puntero void *, excepto en Ir puede consultar el tipo del valor que se está reteniendo.

Answer 2

Aquí hay una excelente blog post que explica lo que sucede debajo del capó.