GCC 15 wird standardmäßig den C23 Standard verwenden

In den Code-Basis, auf deren Grundlage die geplante Veröffentlichung des GCC 15 Compiler-Pakets im Frühjahr nächsten Jahres erfolgt, wurde eine Änderung übernommen, die standardmäßig die Verwendung des C23-Standards mit GNU-Erweiterungen ("-std=gnu23") beim Kompilieren von Programmen in der Programmiersprache C einschließt (zuvor wurde der Standard C17 - "-std=gnu17" - verwendet). Die Änderung könnte potenziell zu Problemen beim Zusammenbau bestehender Projekte führen, da im neuen Standard Unterschiede bestehen, wie die Hinzufügung der Konstante nullptr, des Typs _BitInt(n) sowie der Schlüsselwörter bool, true und false, die mit in den Anwendungen definierten gleichnamigen Identifikatoren in Konflikt stehen könnten.

Der C23-Standard (ISO/IEC 9899:2024) wurde am 31. Oktober 2024 von der Internationalen Organisation für Normung (ISO) offiziell veröffentlicht. Zu den Änderungen im neuen Standard gehören:

• Die Möglichkeit, Funktionen im K&R C-Stil zu definieren, der vor der Annahme der ANSI C-Spezifikation verwendet wurde und in dem Buch „The C Programming Language“ von Kernighan und Ritchie beschrieben wird, wurde entfernt. Der K&R-Stil umfasst die Beschreibung der Argumenttypen nach der Funktionsdefinition, beispielsweise „int add(a, b) int a, b; {}“
• Unbenannte Funktionsparameter - die Unverbindlichkeit der Angabe von Namen nicht verwendeter Parameter bei der Funktionsdefinition (wie in C++). Zum Beispiel kann jetzt geschrieben werden: „int f(int, int) { return 7; }“.
• Unterstützung der Syntax „[[name]]“ zur Definition von Attributen wie in C++ („[[gnu::const]]“, „[[deprecated]]“, „[[fallthrough]]“, „[[maybe_unused]]“, „[[nodiscard]]“, „[[noreturn]]“, „[[reproducible]]“, „[[unsequenced]]“). Beispielsweise ermöglicht das Attribut [[noreturn]], anzugeben, dass eine Funktion keine Werte zurückgibt (die Header-Datei stdnoreturn.h und der Spezifizierer „_Noreturn“ sind als veraltet erklärt worden).
• Unterstützung der Syntax u8“ zur Definition von Konstanten mit Zeichen in UTF-8.
• Der Typ char8_t für Strings und Zeichen in UTF-8-Codierung sowie Funktionen zur Umwandlung von Strings mit Mehrbyte-Zeichen mbrtoc8() und c8rtomb() wurden hinzugefügt.
• Die Funktionsweise des Schlüsselworts „auto“ wurde geändert, das jetzt zur Typableitung bei der Definition von Objekten führt, was es ermöglicht, das Kennzeichen „auto“ anstelle des Typs zu verwenden, um den Typ von Variablen basierend auf dem Ausdruckstyp ihrer Initialisierung zu bestimmen. Zum Beispiel: „auto y = cos(x);“.
• Funktionen mit leerer Parameterliste werden jetzt als Funktionen behandelt, die keine Argumente akzeptieren.
• Die Unterstützung für die Header-Dateien und wurde hinzugefügt, einschließlich Makros, Funktionen und Typen zur Überprüfung ganzzahliger Berechnungen.
• Das Setzen von Sprungmarken an beliebigen Stellen innerhalb von zusammengesetzten Ausdrücken wurde erlaubt.
• Die Unterstützung von Trigraphen im Code wurde eingestellt, dabei handelt es sich um Sequenzen von drei ASCII-Zeichen, die als ein Zeichen behandelt werden, z.B. konnte die Sequenz '??=' anstelle von '#' verwendet werden. Nach der Einführung von Unicode ist die Unterstützung von Trigraphen nicht mehr sinnvoll.
• Die Unterstützung der Präfixe '0b' und '0B' zur Angabe ganzzahliger Werte in binärer Form wurde hinzugefügt, z.B. 'int b = 0b101010'.
• Die Schlüsselwörter bool, static_assert, alignas, alignof und thread_local wurden hinzugefügt.
• Das Angeben von leeren geschweiften Klammern '{}' zur Initialisierung auf null-Werte wurde erlaubt, d.h. nun kann geschrieben werden 'struct S { int x, y } s = {};'.
• Die Möglichkeit wurde geschaffen, beliebige universelle Symbolnamen in Zeichen- und Stringliteralen anzugeben. Zum Beispiel 'int \u0024 = 0;'.
• Im 'stddef.h' wurde das Makro 'unreachable' hinzugefügt.
• Ein neuer Typ nullptr_t und die Konstante nullptr wurden hinzugefügt, um null-Zeiger zu definieren, die in jeden Zeigertyp umgewandelt werden können und eine NULL-Variante repräsentieren, die nicht an ganzzahlige Typen und den Typ void* gebunden ist. Zum Beispiel kann geschrieben werden 'void func(nullptr_t); func(0); func((void *)0);'.
• Die Typen '_BitInt (N)' und 'unsigned _BitInt (N)' wurden hinzugefügt, um ganze Zahlen mit einer bestimmten Anzahl von Bits zu definieren, sowie die dezimalen Gleitkommatypen '_Decimal32', '_Decimal64' und '_Decimal128' und Funktionen zur Bearbeitung solcher Typen.
• Die Verwendung des Zeichens '‘' zur anschaulichen Trennung von Ziffern in Zahlen wurde hinzugefügt (z.B. '1’000’000').
• Strukturen, Vereinigungen und Aufzählungen dürfen mehr als einmal im selben Geltungsbereich mit demselben Inhalt und wiederholendem Tag definiert werden.
• In den Standard wurden die Operatoren typeof und typeof_unqual aufgenommen.
• Die Unterstützung des Spezifizierers constexpr zur Definition von Objekten ist hinzugekommen.
• In die Header-Dateien float.h und math.h wurden die Makros INFINITY, NAN, FLT_NORM_MAX, DBL_NORM_MAX und LDBL_NORM_MAX aufgenommen.
• Es wurden die Präprozessor-Direktiven #elifdef, #elifndef, #warning und #embed hinzugefügt. '#embed' ist für die Integration binärer Ressourcen vorgesehen.
• Die Verwendung von Listen mit variabler Anzahl von Argumenten (variadic) wurde vereinfacht.
• Die Möglichkeiten von Aufzählungen (enum) wurden erweitert.
• Die Unterstützung für den Platzhalter „%b“ zur Verarbeitung von binären Werten in den printf()- und scanf()-Funktionsfamilien wurde hinzugefügt.
• Ein Aufruf der Funktion realloc() mit null Größe wurde als undefiniertes Verhalten eingestuft.
• Die Funktionen memccpy(), strdup(), strndup(), gmtime_r() und localtime_r() wurden standardisiert.
• Die Funktionen asctime() und ctime() wurden als veraltet erklärt.
• Die Makros static_assert und thread_local wurden in die Kategorie der Schlüsselwörter eingestuft.

Quelle: opennet.ru