Warum unterstützt C 11 keine designierten Initialisierer wie C99?

Ausschluss designierter Initialisierer durch C 11: Die Begründung des Ausschusses

In C99 bieten designierte Initialisierer eine praktische Möglichkeit, bestimmte Mitglieder einer Struktur zu initialisieren , wie das folgende Beispiel zeigt:

struct Person {
    int height;
    int weight;
    int age;
};

int main() {
    Person p = { .age = 18 };
}

Allerdings in C 11, diese Syntax ist ungültig. Das C 11-Standardkomitee hat wiederholt Vorschläge abgelehnt, die Unterstützung spezieller Initialisierer aufzunehmen, obwohl diese in C99 praktikabel ist.

Gründe für den Ausschluss

Das Hauptanliegen des Komitees ergibt sich aus der Unbestimmtheit Reihenfolge der Auswertung für Unterausdrücke in C99-designierten Initialisierern. Betrachten Sie das folgende Beispiel:

struct X {
    int c;
    char a;
    float b;
};

struct X foo = { .a = (char)f(), .b = g(), .c = h() };

In C99 ist die Reihenfolge, in der diese Funktionsaufrufe (f(), g() und h()) ausgeführt würden, undefiniert. Diese Mehrdeutigkeit könnte zu unbestimmtem Programmverhalten führen, wenn diese Funktionen interagieren oder Nebenwirkungen haben.

Die strengen Initialisierungsanforderungen von C

Im Gegensatz zur flexiblen Auswertungsreihenfolge von C99 bietet C schreibt eine strikte sequentielle Auswertung der Initialisierungsklauseln vor. Infolgedessen hätte die Implementierung bestimmter Initialisierer in C ein anderes Verhalten erfordert:

f();
g();
h();

Dies hätte die Kompatibilität mit vorhandenen C99-Implementierungen beeinträchtigt.

Vorgeschlagene Lösungen und Einschränkungen

Der c 20-Standard behebt dieses Problem teilweise mit der Einführung von P0329R4, der begrenzte Unterstützung für bestimmte Initialisierer ermöglicht. Diese Unterstützung ist jedoch eingeschränkt, um die Komplexität und potenziellen Fallstricke zu vermeiden, die mit einer unbestimmten Bewertungsreihenfolge verbunden sind.

Schlussfolgerung

Die Entscheidung des C 11-Standardkomitees, bestimmte Initialisierer auszuschließen, war begründet durch Bedenken hinsichtlich der Aufrechterhaltung eines konsistenten und vorhersehbaren Initialisierungsprozesses. Während Boost eine Implementierung für bestimmte Initialisierer bereitstellt, hat das Standardkomitee die Herausforderungen betont, die mit der Integration einer solchen Funktion in C verbunden sind, ohne Komplexität einzuführen oder die Kompatibilität zu beeinträchtigen.

Das obige ist der detaillierte Inhalt vonWarum unterstützt C 11 keine designierten Initialisierer wie C99?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!