Vamos a modificar un poco tu código: le quitaremos los avisos del compilador, y nos limitaremos a mostrar solo lo importante:
#include <stdio.h>
#include <stddef.h>
struct prueba {
long long c;
double xx;
int e;
float b;
short a;
char ff;
char d[5];
};
static void info( const char *n, size_t sz, size_t off ) {
printf( " [%s] offset: %zu, sizeof: %zu, alineado: %s\n", n, off, sz, off % sz ? "No" : "Si" );
}
int main( ) {
struct prueba p;
printf( "struct prueba: sizeof: %zu {\n", sizeof( struct prueba ) );
info( "c", sizeof( p.c ), offsetof( struct prueba, c ) );
info( "xx", sizeof( p.xx ), offsetof( struct prueba, xx ) );
info( "e", sizeof( p.e ), offsetof( struct prueba, e ) );
info( "b", sizeof( p.b ), offsetof( struct prueba, b ) );
info( "a", sizeof( p.a ), offsetof( struct prueba, a ) );
info( "ff", sizeof( p.ff ), offsetof( struct prueba, ff ) );
info( "d", sizeof( p.d ), offsetof( struct prueba, d ) );
printf( "}\n" );
return 0;
}
Lo cual muestra el siguiente resultado:
struct prueba: sizeof: 32 {
[c] offset: 0, sizeof: 8, alineado: Si
[xx] offset: 8, sizeof: 8, alineado: Si
[e] offset: 16, sizeof: 4, alineado: Si
[b] offset: 20, sizeof: 4, alineado: Si
[a] offset: 24, sizeof: 2, alineado: Si
[ff] offset: 26, sizeof: 1, alineado: Si
[d] offset: 27, sizeof: 5, alineado: No
}
Pues ya vemos que se cumple: todos los miembros (salvo el último) muestran alineado: Si
.
Ok. Ahora, vamos a modificar un poco tu struct
. Cambiemos el miembro ff
, de char
lo pasaremos a int
:
struct prueba {
long long c;
double xx;
int e;
float b;
short a;
int ff;
char d[5];
};
Ahora, la salida es:
struct prueba: sizeof: 40 {
[c] offset: 0, sizeof: 8, alineado: Si
[xx] offset: 8, sizeof: 8, alineado: Si
[e] offset: 16, sizeof: 4, alineado: Si
[b] offset: 20, sizeof: 4, alineado: Si
[a] offset: 24, sizeof: 2, alineado: Si
[ff] offset: 28, sizeof: 4, alineado: Si
[d] offset: 32, sizeof: 5, alineado: No
}
Se sigue cumpliendo: todos (salvo el último) siguen mostrando alineado: Si
.
Había leído que las direcciones de memoria de los miembros deberían ser divisibles a su tamaño en bytes porqué era más eficiente para el procesador ...
Pues ya ves que es correcto. Se cumple en todos todos los casos ... aparenta no cumplirse en el último miembro porque sizeof( X[] )
nos devuelve el tamaño de toda la formación.
...aunque desconozco el porqué
Muy sencillo. La idea es que el acceso a la memoria es lento. Entonces, de lo que se trata es de minimizar ese número de accesos. Y el bus de datos lee en trozos discretos de la memoria. Si el bus es de 32 bits, siempre leerá en dirección múltiplos de 4: 0, 4, 8, 16, ...
Si quires leer la posición 5, en realidad va a leer siempre a partir de la 4. Si el dato cabe, bien. Pero, si el dato no está bien alineado, pueda que tenga que acceder tanto a la dirección 4 como a la 8: 2 accesos, el doble de tiempo.