Literaler String-Initialisierer für ein Zeichen-Array

In den folgenden Regeln für den Fall, dass ein Array zu einem Zeiger zerfällt:

Ein lvalue [see question 2.5] vom Typ array-of-T, das in einem Ausdruck erscheint, zerfällt (mit drei Ausnahmen) in einen Zeiger auf sein erstes Element; der Typ des resultierenden Zeigers ist Zeiger auf T.

(Die Ausnahmen sind, wenn das Array der Operand eines sizeof- oder &-Operators oder ein Literal-String-Initialisierer für ein Zeichen-Array ist.)

Wie ist der Fall zu verstehen, wenn das Array “literaler String-Initialisierer für ein Zeichen-Array” ist? Bitte ein Beispiel.

Vielen Dank!

Die drei Ausnahmen, bei denen ein Array nicht in einen Zeiger zerfällt, sind die folgenden:

Ausnahme 1. — Wenn das Array der Operand von ist sizeof.

int main()
{
   int a[10];
   printf("%zu", sizeof(a)); /* prints 10 * sizeof(int) */

   int* p = a;
   printf("%zu", sizeof(p)); /* prints sizeof(int*) */
}

Ausnahme 2. — Wenn das Array der Operand von ist & Operator.

int main()
{
    int a[10];
    printf("%p", (void*)(&a)); /* prints the array's address */

    int* p = a;
    printf("%p", (void*)(&p)); /*prints the pointer's address */
}

Ausnahme 3. — Wenn das Array mit einer Literalzeichenfolge initialisiert wird.

int main()
{
    char a[] = "Hello world"; /* the literal string is copied into a local array which is destroyed after that array goes out of scope */

    char* p = "Hello world"; /* the literal string is copied in the read-only section of memory (any attempt to modify it is an undefined behavior) */
}

Übernehmen Sie die Erklärungen

char foo[] = "This is a test";
char *bar  = "This is a test";

In beiden Fällen ist der Typ des Zeichenfolgenliterals “This is a test” ist “Array aus char mit 15 Elementen”. In den meisten Fällen werden Array-Ausdrücke implizit vom Typ “Array aus N-Elementen von T” in “Zeiger auf T” konvertiert, und der Ausdruck ergibt die Adresse des ersten Elements von array In der Deklaration für bargenau das passiert.

In der Erklärung für fooder Ausdruck wird jedoch verwendet, um den Inhalt eines anderen Arrays zu initialisieren, und ist daher nicht in einen Zeigertyp konvertiert; stattdessen die Inhalt des String-Literals kopiert werden foo.

Dies ist ein Literal-String-Initialisierer für ein Zeichen-Array:

char arr[] = "literal string initializer";

Könnte auch sein:

char* str = "literal string initializer";

Definition aus K&R2:

Ein Zeichenfolgenliteral, auch Zeichenfolgenkonstante genannt, ist eine Folge von Zeichen, die von doppelten Anführungszeichen umgeben sind, wie in “…”. Ein String hat den Typ „Array of Characters“ und die Storage-Klasse „Static“ (siehe Abschnitt A.3 unten) und wird mit den gegebenen Zeichen initialisiert. Ob identische Zeichenfolgenliterale verschieden sind, ist implementierungsdefiniert, und das Verhalten eines Programms, das versucht, ein Zeichenfolgenliteral zu ändern, ist undefiniert.

Es scheint, als hätten Sie dieses Zitat aus der comp.lang.c-FAQ gezogen (vielleicht eine alte Version oder vielleicht die gedruckte Version; sie stimmt nicht ganz mit dem aktuellen Stand der Online-Version überein):

http://c-faq.com/aryptr/aryptrequiv.html

Der entsprechende Abschnitt enthält Links zu anderen Abschnitten der FAQ, um diese Ausnahmen zu erläutern. In Ihrem Fall sollten Sie Folgendes beachten:

http://c-faq.com/decl/strlitinit.html