inicializador cadena literal para una matriz de caracteres

Question

En las siguientes reglas para el caso cuando array decae a puntero:

Un lvalue [véase la pregunta 2.5] de tipo de matriz-de-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 cadena literal para un array de caracteres.)

¿Cómo entender el caso cuando la matriz es "literal inicializador de cadena para una matriz de caracteres "? Por ejemplo, por favor.

Gracias!

Answer 1

Las tres excepciones donde una matriz no se descompone en un puntero son los 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 la matriz 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) */ 
} 

Answer 2

Este es un inicializador literal de cadena 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:

Una cadena literal, también llamada una cadena constante, es una secuencia de caracteres sur redondeado por comillas dobles como en "...". Una cadena tiene el tipo `` matriz de caracteres '' y la clase de almacenamiento estática (vea el párrafo A más abajo) y se inicializa con los caracteres dados. Si literales de cadena idénticos son distintos está definido por la implementación, y el comportamiento de un programa que intenta alterar una cadena literal no está definido.

Answer 3

Parece que sacó esa cita de la FAQ comp.lang.c (tal vez una versión antigua o tal vez la versión impresa, sino que no acaba de fósforo con el estado actual de la línea):

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

los correspondientes enlaces de sección a otras secciones de la FAQ elaborar en esas excepciones.En su caso, usted debe buscar en:

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

Answer 4

asumir las declaraciones

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

En ambos casos, el tipo de la cadena literal "This is a test" es "conjunto de 15 elementos de char" . En la mayoría de las circunstancias, las expresiones de matriz se convierten implícitamente de tipo "matriz de elementos N 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 para bar, eso es exactamente lo que sucede.

En la declaración de foo, sin embargo, la expresión está siendo utilizado para inicializar el contenido otra matriz, y por lo tanto es no convertido a un tipo de puntero; en su lugar, el contenido del literal de cadena se copia en foo.