Wie funktioniert die Verkettung von zwei String-Literalen?

char* a="dsa" "qwe";
printf("%s", a);

Ausgang: dsaqwe

Meine Frage ist, warum funktioniert dieses Ding. Wenn ich zwischen zwei String-Literalen ein Leerzeichen oder nichts gebe, werden die String-Literale verkettet.

Wie funktioniert das?

Es ist durch den ISO C-Standard definiert, benachbarte Zeichenfolgenliterale werden zu einem einzigen kombiniert.

Die Sprache ist ein wenig trocken (es ist immerhin ein Standard), aber Abschnitt 6.4.5 String literals von C11 Zustände:

In der Übersetzungsphase 6 werden die Mehrbyte-Zeichenfolgen, die durch eine beliebige Folge benachbarter Zeichen und Breite-String-Literal-Token mit identischem Präfix spezifiziert sind, zu einer einzigen Mehrbyte-Zeichenfolge verkettet.

Dies wird auch in erwähnt 5.1.1.2 Translation phases, point 6 auf gleichem Niveau, wenn auch etwas prägnanter:

Benachbarte String-Literal-Tokens werden verkettet.

Dies bedeutet im Grunde das "abc" "def" ist nicht anders als "abcdef".

Es ist oft nützlich, um lange Zeichenfolgen zu erstellen und dennoch eine schöne Formatierung zu haben, z. B.:

const char *myString = "This is a really long "
                       "string and I don't want "
                       "to make my lines in the "
                       "editor too long, because "
                       "I'm basically anal retentive :-)";

Und um Ihre ungestellte Frage zu beantworten: “Wozu ist das gut?”

Zum einen können Sie Konstanten in String-Literale einfügen. Du kannst schreiben

#define FIRST "John"
#define LAST "Doe"

const char* name = FIRST " " LAST;
const char* salutation = "Dear " FIRST ",";

und wenn Sie den Namen später ändern müssen, müssen Sie ihn nur an einer Stelle ändern.
Sachen wie diese.

Sie haben Ihre eigene Frage beantwortet.

Wenn ich zwischen zwei String-Literalen ein Leerzeichen oder nichts gebe, werden die String-Literale verkettet.

Das ist eines der Merkmale der C-Syntax.

ISO-C-Standard §5.1.1.2 sagt:-

1. Benachbarte String-Literal-Tokens werden verkettet.
2. Leerzeichen, die Token trennen, spielen keine Rolle mehr.