struct diseño miembros memoria

Question

Si tengo una estructura como esta:

struct S { 
    ANY_TYPE a; 
    ANY_TYPE b; 
    ANY_TYPE c; 
} s; 

¿Puedo suponer que con seguridad los siguientes supuestos siempre será cierto en todas las plataformas?

((char *)&s.a) < ((char *)&s.c) 
((char *)&s.a + sizeof(s.a) + sizeof(s.b)) <= ((char *)&s.c) 

¿En C++ también?

Answer 1

Sí, en C como mínimo. El compilador es libre de insertar relleno después de cualquier miembro de la estructura, pero no debe reordenar los miembros.

Tampoco debe insertar relleno antes del primer miembro.

Desde C99, 6.7.2.1:

13/ Dentro de un objeto de estructura, los miembros no poco el terreno y las unidades en que los campos de bits residir tener direcciones que aumentan en el orden en que se son declarados. Un puntero a un objeto de estructura, adecuadamente convertido, apunta a su miembro inicial (o si ese miembro es un campo de bits, luego a la unidad en la que reside), y viceversa. Puede haber un relleno sin nombre dentro de un objeto de estructura, pero no al principio.

15/ Puede haber un relleno sin nombre al final de una estructura o unión.

Answer 2

En C++ puede estar seguro de que estas suposiciones se cumplirán. En una estructura como esta, el compilador no puede cambiar el orden de los miembros.

Answer 3

Sí, de manera predeterminada los compiladores de C++ no pueden moverse alrededor de los elementos en una estructura que hace que ambas declaraciones sean triviales verdaderas.

Answer 4

1. Sí (siempre que sizeof (ANY_TYPE) no es 0. Algunos compiladores lo permite, lo que no es estándar - ver Can sizeof return 0 (zero)). Estarías a salvo con < = o simplemente asumir un compilador estándar.

2. Sí

Y en C++ también.

La comparación de punteros solo tiene sentido dentro de las matrices y las estructuras/clases, generalmente no.

Answer 5

Esto es cierto para una estructura, pero cambia en C++ tan pronto como se introducen los especificadores de acceso. El compilador puede reordenar bloques enteros delimitados por especificadores de acceso.