Uniones. Dos dudas

[dehm]

Bueno, por fin me he puesto a estudiar y comprender de verdad la respuesta de eferion que planteé en su día:

En ella , se hace uso de una union, tipo de estructura que no estoy acostumbrado a usar, así que he empezado a trastear con ella para enterarme un poco.

Y hago esta prueba:

Código C++:

union U
{
    int numero;
    char letra;
};
 

y luego:

Código C++:

U caracter;
    //caracter.letra='A';
    caracter.numero=67;
 
    cout<<"La letra: "<<caracter.letra<<" tiene el ASCII "<<caracter.numero<<endl;
 
    char numero='W';
 

Bien, entonces parece que guardo un valor en el miembro numero. Como dicho valor es compartido por el miembro letra, cuando lo leo me saca su correspondiente valor char. Hasta ahí bien.

Pero si descomento la línea que está comentada y comento la otra, no obtengo un resultado correcto.

¿Alguien sabe decirme qué no estoy entendiendo de las uniones?
Gracias por adelantado.

(En el encabezado pongo "dos dudas". En breve voy a poner la otra)

[eferion]

un int ocupa 4 bytes, mientras que un char, 1 byte. Lo que hace la union es que ambas estructuras puedan ocupar las mismas posiciones en memoria... pero eso no quiere decir que ambas ocupen lo mismo.

Cuando asignas el valor al int estás modificando el valor de 4 bytes, mientras que al asignar un valor al char estás modificando únicamente 1 byte... los otros 3 no verán alterado su valor. Por eso al imprimir el int ves un resultado erróneo.

Un ejemplo con valores:

Código C++:

// Como no esta inicializada la memoria, suponemos un valor aleatorio:
// numero = 67458154 o 0x0405546A
// letra = j o 0x6A
U caracter;
 
// Modificamos el char
// numero(hex) = 67458113 o 0x04055441
// letra = A o 0x41
caracter.letra = 'A';
 

Como ves, "letra" únicamente modifica el último byte correspondiente a "numero", el resto permanece inalterado.

[dehm]

Vaya, muchas gracias por la respuesta.

Voy a terminar de pelearme con lo otro que tengo entre manos y seguramente envío la 2ª duda relacionada con uniones

[lareto]

Eso es así porque estás en una máquina llittle-endian. Si probaras lo mismo en una big-endian el resultado hubiera sido el que esperabas.
https://en.wikipedia.org/wiki/Endianness