chaîne littérales initialiseur pour un tableau de caractères

Question

Dans les règles suivantes pour le cas où tableau désintègre à pointeur:

lvalue [voir la question 2.5] de type tableau-de-T qui apparaît dans une expression désintègre (avec trois exceptions) dans un pointeur vers son premier élément; le type du pointeur résultant est pointeur-à-T.

(Les exceptions sont lorsque le tableau est l'opérande d'un opérateur sizeof ou &, ou est un initialiseur de chaîne littérale pour un tableau de caractères.)

Comment comprendre le cas lorsque le tableau est « littéral initialiseur de chaîne pour un tableau de caractères "? Un exemple s'il vous plaît.

Merci!

Answer 1

Les trois exceptions où un tableau ne se dégrade pas en un pointeur sont les suivantes:

Exception 1. - Lorsque le tableau est l'opérande 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*) */ 
} 

Exception 2. - Lorsque le tableau est l'opérande de l'opérateur &.

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

Exception 3. - Lorsque le tableau est initialisé avec une chaîne littérale.

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

Ceci est un initialiseur de chaîne de caractères pour un groupe de caractères:

char arr[] = "literal string initializer"; 

peut aussi être:

char* str = "literal string initializer"; 

Définition K & R2:

Une chaîne littérale, également appelé une chaîne constante, est une séquence de caractères sur arrondi par des guillemets doubles comme dans "...". Une chaîne a le type `` tableau de caractères '' et la classe de stockage est statique (voir le paragraphe A.3 ci-dessous) et est initialisée avec les caractères indiqués. Si littéraux de chaîne identiques sont distincts est défini par l'implémentation et le comportement d'un programme qui tente de modifier un littéral de chaîne est indéfini.

Answer 3

Il semble que vous avez tiré cette citation de la FAQ comp.lang.c (peut-être une ancienne version ou peut-être la version imprimée, il ne correspond pas tout à fait avec l'état actuel de celui en ligne):

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

les liens de la section correspondant à d'autres sections de la FAQ d'élaborer sur ces exceptions.Dans votre cas, vous devriez regarder:

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

Answer 4

On suppose les déclarations

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

Dans les deux cas, le type de chaîne « This is a test » est « tableau 15 éléments de char » . Dans la plupart des cas, les expressions de tableau sont implicitement converties du type "tableau d'éléments N de T" en "pointeur vers T", et l'expression évalue l'adresse du premier élément du tableau. Dans la déclaration pour bar, c'est exactement ce qui se passe.

Dans la déclaration pour foo, cependant, l'expression est utilisée pour initialiser le contenu d'un autre tableau et est donc non converti en un type de pointeur; à la place, le contenu du littéral chaîne est copié à foo.