Inicializador de cadena literal para una matriz de caracteres

En las siguientes reglas para el caso en que la matriz se descompone en un puntero:

Un valor [see question 2.5] de tipo array-of-T que aparece en una expresión decae (con tres excepciones) en un puntero a su primer elemento; el tipo del puntero resultante es puntero a T.

(Las excepciones son cuando la matriz es el operando de un operador sizeof o &, o es un inicializador de cadena literal para una matriz de caracteres).

¿Cómo entender el caso cuando la matriz es “inicializador de cadena literal para una matriz de caracteres”? Algún ejemplo por favor.

¡Gracias!

Las tres excepciones en las que una matriz no se convierte en un puntero son las siguientes:

Excepción 1. — Cuando la matriz es el operando de sizeof.

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

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

Excepción 2. — Cuando el arreglo es el operando del & operador.

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 */
}

Excepción 3. — Cuando la matriz se inicializa con una cadena literal.

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) */
}

Asumir las declaraciones

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

En ambos casos, el tipo del literal de cadena “This is a test” es “matriz de 15 elementos de char”. En la mayoría de las circunstancias, las expresiones de matriz se convierten implícitamente del tipo “matriz de N elementos de T” a “puntero a T”, y la expresión se evalúa como la dirección del primer elemento de la matriz En la declaración de bareso es exactamente lo que sucede.

En la declaración por foosin embargo, la expresión se está utilizando para inicializar el contenido de otra matriz y, por lo tanto, es no convertido a un tipo de puntero; en cambio, el contenido del literal de cadena se copian en foo.

Este es un inicializador de cadena literal para una matriz de caracteres:

char arr[] = "literal string initializer";

También podría ser:

char* str = "literal string initializer";

Definición de K&R2:

Un literal de cadena, también llamado constante de cadena, es una secuencia de caracteres entre comillas dobles como en “…”. Una cadena tiene el tipo “arreglo de caracteres” y la clase de almacenamiento estático (ver Par.A.3 a continuación) y se inicializa con los caracteres dados. Si los literales de cadena idénticos son distintos está definido por la implementación, y el comportamiento de un programa que intenta alterar un literal de cadena no está definido.

Parece que extrajiste esa cita de las preguntas frecuentes de comp.lang.c (tal vez una versión anterior o tal vez la versión impresa; no coincide con el estado actual de la versión en línea):

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

La sección correspondiente enlaza con otras secciones de las Preguntas frecuentes para profundizar en esas excepciones. En tu caso, deberías fijarte en:

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