zero golang notes

El _ en structs

En Go, el identificador blanco (denotado por el guion bajo _) se utiliza para descartar un valor o campo en ciertas situaciones, y también se puede usar dentro de un struct como un campo de relleno o padding. En el contexto de los structs, el identificador blanco tiene los siguientes propósitos y comportamientos:

¿Por qué es válido el uso del identificador blanco en un struct?

En Go, es posible tener campos de un struct cuyo nombre sea un guion bajo (_). Esto es completamente válido y no generará errores durante la compilación. En lugar de asociar un nombre a un campo, se usa el guion bajo para ignorar ese campo o para fines de alineación (como el caso de padding). El campo _ no puede ser accedido ni utilizado directamente en el código, pero el compilador puede usarlo internamente para mantener la estructura de memoria de manera eficiente.

Propósitos del identificador blanco (_) en un struct:

Padding (relleno de memoria): Go tiene una alineación de memoria estricta para los tipos de datos y, en algunos casos, el compilador inserta un campo de relleno para asegurarse de que los tipos estén alineados adecuadamente en la memoria. Si un struct tiene diferentes tipos de datos con diferentes tamaños (como int y float32), el compilador podría insertar campos "vacíos" (usando _) para ajustar la alineación de memoria.

En tu ejemplo:

struct {  x, y int,    u float32,    _ float32,  A *[]int,   F func() }

Aquí, el campo _ se usa para rellenar la diferencia en la alineación de memoria entre el campo u (que es un float32) y el campo A (que es un puntero, generalmente un uintptr). Esta técnica ayuda a optimizar el acceso a la memoria.

Descartar un campo de struct: En situaciones donde se quiere ignorar un campo en un struct, como cuando el campo se pasa a una función pero no se necesita, se puede usar el identificador blanco. Esto puede ser útil en algunas estructuras de datos o cuando se trabaja con marshalling/unmarshalling, pero no se necesita acceder a un campo en particular.

Ejemplo:

type MyStruct struct { Name string,   _ int } // Ignora el campo de tipo int

Aquí, el campo _ es ignorable. Sin embargo, en general, este uso no es tan común, y el uso de un nombre adecuado para cada campo de struct es preferible.

Resumen:

Padding: En el ejemplo que proporcionaste, el campo _ probablemente esté sirviendo como un "relleno" de memoria para asegurar que los tipos de datos en la estructura estén alineados de acuerdo con las reglas de alineación de memoria de Go.

Descartar un campo: El identificador blanco _ también puede ser utilizado para ignorar un campo, lo que evita la necesidad de asignar un nombre a dicho campo. Sin embargo, este uso es menos común.

Este comportamiento es parte del diseño de Go, que prioriza la eficiencia de memoria y el rendimiento, y es una de las maneras en que el lenguaje maneja los detalles de bajo nivel de la memoria y el alineamiento de datos.