Инициализатор литеральных строк для массива символов

В следующих правилах для случая, когда массив распадается на указатель:

Значение l [см. Вопрос 2.5] типа array-of-T, которое появляется в выражении, распадается (с тремя исключениями) на указатель на его первый элемент; тип результирующего указателя - указатель на T.

(Исключение составляют случаи, когда массив является операндом оператора sizeof или & или является инициализатором литеральной строки для массива символов.)

Как понять случай, когда массив является "инициализатором литеральной строки для массива символов"? Некоторый пример, пожалуйста.

Спасибо!

Источник

4 ответа

Решение

Три исключения, когда массив не распадается на указатель, следующие:

Исключение 1. - Когда массив является операндом sizeof,

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

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

Исключение 2. - Когда массив является операндом & оператор.

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

Исключение 3. - Когда массив инициализируется литеральной строкой.

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) */
}
Источник

Принять декларации

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

В обоих случаях тип строкового литерала "This is a test"is" 15-элементный массив char". В большинстве случаев выражения массива неявно преобразуются из типа"N-элементный массив T"в" указатель на T", и выражение вычисляется по адресу первого элемента массив. В объявлении для barВот именно так и происходит.

В декларации за fooоднако выражение используется для инициализации содержимого другого массива и поэтому не преобразуется в тип указателя; вместо этого содержимое строкового литерала копируется в foo,

Источник

Это инициализатор литеральной строки для массива символов:

char arr[] = "literal string initializer";

Также может быть:

char* str = "literal string initializer";

Определение из K&R2:

Строковый литерал, также называемый строковой константой, представляет собой последовательность символов, заключенную в двойные кавычки, как в "...". Строка имеет тип `` массив символов '' и статический класс хранения (см. Пункт A.3 ниже) и инициализируется с помощью заданных символов. То, являются ли идентичные строковые литералы различными, определяется реализацией, а поведение программы, которая пытается изменить строковый литерал, не определено.

Источник

Похоже, что вы взяли эту цитату из comp.lang.c FAQ (может быть, старая версия или, может быть, печатная версия; она не совсем соответствует текущему состоянию онлайн):

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

Соответствующий раздел содержит ссылки на другие разделы часто задаваемых вопросов для уточнения этих исключений. В вашем случае вы должны посмотреть на:

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

Источник
Другие вопросы по тегам