Antwort

In C gibt es mehrere Möglichkeiten zur Initialisierung von Strukturen:

Standardinitialisierung (reihenbasiert):

struct Point { int x, y; };
struct Point p = {10, 20};

Die Felder werden in der deklarierten Reihenfolge initialisiert.

Initialisierung über benannte Felder (C99+):

struct Point p = {.y = 20, .x = 10};

Felder können in beliebiger Reihenfolge initialisiert werden.

Partielle Initialisierung: Wenn nicht alle Felder explizit angegeben sind, werden die restlichen automatisch auf Null initialisiert.

struct Rect { int x, y, w, h; } r = {1, 2}; // w und h == 0

Verschachtelte Strukturen: Die Initialisierung von verschachtelten Strukturen erfordert eine sequentielle (oder benannte) Angabe aller verschachtelten Werte.

struct Color { int r, g, b; };
struct Pixel { struct Point pos; struct Color col; };
struct Pixel px = {{10,20}, {255,0,0}};

Die benannte Initialisierung hilft, Fehler zu vermeiden:

struct Pixel px = {.col = {.r = 255, .g = 0, .b = 0}};

Fallstricke:

Es ist leicht, sich bei der reihenbasierten Initialisierung in der Reihenfolge der Felder zu irren.
Partielle Initialisierung ist nicht immer sicher für Strukturen, die verschachtelte Zeiger enthalten - in diesem Fall werden nicht initialisierte Zeiger nur zu NULL, wenn sie ausdrücklich initialisiert werden oder die Struktur statische/globale Lebensdauer hat.
Wenn sich der Typ ändert (z. B. ein neues Feld am Anfang der Struktur hinzugefügt wird), kann die alte Initialisierung zu unerwarteten Ergebnissen führen.

Fangfrage

Frage: Was passiert, wenn bei der Initialisierung einer Struktur nicht alle Felder explizit angegeben werden und die Struktur als automatische lokale Variable deklariert ist?

Erwartet falsche Antwort: "Die verbleibenden Felder sind immer gleich Null."

Richtige Antwort: Automatische (lokale) Variablen, die nicht ausdrücklich initialisiert werden, bleiben mit nicht initialisierten Werten. Partielle Initialisierung initialisiert nur die ausdrücklich angegebenen Felder, die übrigen haben nicht definierte Werte (außer bei der Initialisierung über = {...}, wo die übrigen nur für statische/globale Strukturen Null sein werden).

Beispiel:

void foo() {
    struct Point { int x, y, z; } p = {1};
    // p.x == 1, p.y und p.z == 0 (Nur durch = {1};)
}

Beispiele für echte Fehler aufgrund mangelnden Wissens über die Feinheiten des Themas

Geschichte

Im Projekt einer Grafikanwendung wurde ein Feld an den Anfang der Struktur eines Knotens hinzugefügt, ohne die allgemeine Initialisierungsmethode in verschiedenen Modulen zu überarbeiten. Infolgedessen begannen die Hälfte der Module, die Farben oder Koordinaten nicht richtig zu initialisieren, was sich in der Form von Darstellungsartefakten äußerte.

Geschichte

Im Videoprozesierer wurde die Struktur mit verschachtelten Zeigern teilweise mit = {0} initialisiert, was für globale Variablen korrekt war, jedoch nicht für lokale. Aufgrunddessen enthielten die Zeiger „Müll“, was zu ungültigen Adresszugriffen und schwer erkennbaren Abstürzen führte.

Geschichte

Bei der Hinzufügung neuer Felder zu einer großen Struktur aktualisierten die Autoren die alten Codeabschnitte mit reihenbasierter Initialisierung nicht. Wegen der Diskrepanz zwischen der Reihenfolge der Felder und der Initialisierer begannen kritische Variablen, falsche Werte zu erhalten. Nur eine Überprüfung der Struktur und die Einführung der benannten Initialisierung half, den Grund zu finden.