Wie werden die Gewerkschaftsmitglieder gelagert?

union test
{
 int i;
 char ch;
}t;
int main()
{
 t.ch=20;
}

Vermuten sizeof(int)==2 und die für t zugewiesenen Speicheradressen seien 2000, 2001.
Wo ist dann 20, dh t.ch gespeichert – bei 2000 oder 2001 oder hängt von der Endianness der Maschine ab?

Der C99-Standard (§6.7.2.1.14) sagt:

Die Größe einer Gewerkschaft reicht aus, um die größten ihrer Mitglieder aufzunehmen. Der Wert von höchstens einem der Mitglieder kann jederzeit in einem Union-Objekt gespeichert werden. Ein Zeiger auf ein Vereinigungsobjekt, geeignet konvertiert, zeigt auf jedes seiner Mitglieder (oder wenn ein Mitglied ein Bitfeld ist, dann an die Einheit, in der es sich befindet) und umgekehrt.

(Betonung hinzugefügt)

Die fette Aussage besagt eigentlich, dass jedes Mitglied der Gewerkschaft die gleiche Adresse hat, also „beginnen“ sie alle an der gleichen Adresse. twie t.ch wie t.isollte also an der Adresse 2000 liegen t.ch überschneidet sich mit dem ersten Byte (in Adressreihenfolge) von t.i.

Was das in Bezug auf „was bekomme ich, wenn ich versuche zu lesen t.i nach Einstellung t.c” hängt in der realen Welt von der Plattformendianität ab, und tatsächlich ist der Versuch, ein Mitglied einer Gewerkschaft zu lesen, wenn Sie in einer anderen geschrieben haben, gemäß dem C-Standard ein nicht spezifiziertes Verhalten (§6.2.6.1.6/7, neu formuliert in §J. 1.1).

Was mehr hilft, die Endianness der Maschine zu verstehen (zumindest denke ich, dass es einfacher zu verstehen ist), ist eine Union wie diese:

union
{
    int i;
    unsigned char ch[sizeof(i)];
} t;

tun

t.i=20;

und dann schauen, was in den beiden Zeichen ist t.ch. Wenn Sie sich auf einer Little-Endian-Maschine befinden, erhalten Sie t.ch[0]==20 und t.ch[1]==0und das Gegenteil, wenn Sie sich auf einer Big-Endian-Maschine befinden (if sizeof(int)==2). Beachten Sie, dass dies, wie bereits gesagt, ein implementierungsspezifisches Detail ist, der Standard erwähnt nicht einmal Endianness.

Um es noch deutlicher zu machen: Wenn Sie ein 2-Byte haben int var auf 20 gesetzt, auf einer Little-Endian-Maschine den zugehörigen Speicher in Adressreihenfolge ausgeben, erhalten Sie (in hexadezimaler Darstellung, Bytes durch Leerzeichen geteilt):

14 00

während auf einer Big-Endian-Maschine erhalten Sie

00 14

Die Big-Endian-Darstellung sieht aus unserer Sicht “richtiger” aus, denn in der Little-Endian-Darstellung machen die Bytes das Ganze aus int werden in umgekehrter Reihenfolge gespeichert.

Außerdem sage ich, dass, wenn ich dies tue:

int a=20;
printf("%d",* (char*)&a);

Hängt die Ausgabe dann nicht von der Endianität ab, dh ob 20 bei 2000 oder 2001 gespeichert wird?

Ja, hier tut es das, aber in Ihrer Frage fragen Sie etwas anderes; das sieht eher aus mein Beispiel.

test würde zwei Bytes benötigen und würde daher an Adresse 2000, 2002 usw. zugewiesen werden. Und jeder Wert für jede Instanz der Vereinigung würde beginnend an dieser Basisadresse gespeichert werden.

Jedes Mitglied der Vereinigung würde für diese Instanz der Vereinigung an der gleichen Adresse gespeichert werden. Aus diesem Grund können Sie nur einen Werttyp gleichzeitig in einer Union speichern. Daher belegen Vereinigungen die Anzahl von Bytes, die für das größte Element erforderlich sind.