String initializer mit geschweiften Klammern

Question

Ich habe über ein Stück Code kam die folgende Initialisierung macht:

static const uint8_t s[] = {"Some string"}; 

Ich würde erwarten, dass es zu interpretieren, wie folgt: Die rechte Seite ist ein Array von char Zeiger mit einzelnen passend Element, das auf ein String-Literal "Some string" zeigt. Während der linke Teil ein Array von uint8_t ist. Dann erwarte ich, dass das erste Element von s einen abgeschnittenen Wert des Zeigers auf das Zeichenfolgenliteral erhält, was zu einem unerwarteten Verhalten im folgenden Code führt, unter der Annahme, dass s eine Zeichenfolge ist.

Ich habe den folgenden Testcode gemacht:

#include <stdint.h> 
#include <stdio.h> 

static const uint8_t s1[] = "String1"; 
static const uint8_t s2[] = { "String2" }; 
int main(void){ 

    printf("%p, %p\n", s1, s2); 
    printf("%s, %s\n", s1, s2); 

    return 0; 
} 

Für meine Überraschung scheint es, dass es nicht geschieht. Nicht nur der Code wird richtig funktionieren, sondern auch die Demontage zeigt, dass sowohl s1 als auch s2 als die entsprechenden Strings in identischer Weise initialisiert werden.

Ist das etwas gcc spezifisch? Ist es C-Syntax erlaubt, das einzelne String-Literal in {} zu nehmen und es trotzdem als String-Literal zu interpretieren?

Answer 1

Zitiert aus N1570 (der endgültige Entwurf von C11), 6.7.9 Initialisierung (emphasis mir):

1. Ein Array von Zeichentyp durch ein Zeichen initialisiert werden kann String Literal oder UTF-8 String Literal, optional in Klammern eingeschlossen. Aufeinander folgende Bytes des Zeichenfolgenliterals (einschließlich des abschließenden Nullzeichens , wenn Platz vorhanden ist oder wenn das Array eine unbekannte Größe hat) initialisieren Sie die Elemente des Arrays.

Answer 2

Die Antwort der Sonne Qingyao erwähnt richtig, dass Sie zusätzliche Klammern solche initializer hinzufügen können. Es lohnt sich, das erwähnen nicht nur auf Arrays anwenden:

int x = { 0 }; 

compiles obwohl das Element initialisiert wird, ist kein Array. Dies ist dank der folgenden Klausel:

6.7.9.11 Die Initialisierung für einen Skalar ist ein einziger Ausdruck sein, gegebenenfalls in Klammern eingeschlossen.

Aber warum sollte so etwas erlaubt sein? Die Antwort ist, macht dies möglich Werte zu initialisieren, mit einer einzigen Syntax:

T x = { 0 }; 

Werke für jeden T und Null-initialisiert alles (für structs, jedes Mitglied, für Arrays initialisiert jedes Element, für skalare Typen, nur der Wert).