В Си есть два способа определения строки:



В первом случае p1 равен p2. Почему так?

В первом случае нет переменных хранящих адрес массива, чтобы получить &str как во втором случае эту переменную пришлось бы создать и выдать ее адрес.

Да, но они другие. Эти способы - "abcd" и { 'a', 'b', 'c', 'd','\0'}. Вы же объявили строку одним и тем же способом, более того - в обоих случаях вы продемонстрировали неявное приведение массива к указателю на его первый элемент. Просто во втором случае вы это приведение сделали при объявлении переменной str, а в первом - при объявлении указателей px. В первом случае у вас str - это массив. Во втором случае у вас массив имени не имеет, но существует переменная str, хранящая указатель на его первый элемент.

Потому, что в первом примере определена строка, а во втором УКАЗАТЕЛЬ на строку.

А вопрос-то был о другом.
Все три выражения в первом случае это есть одно и тоже, поскольку имя переменной это есть ее адрес, то указание взятия адреса есть масло маслянное. Для масивов адрес массива есть адрес его нулевого элемента, посему допронительное указание взять адрес именно нулевого есть уже масло маслянное для масла маслянного.

а почему 2?
а строковый литерал типа
#define MSG "BLA BLA BLA"
?

чем отличается = { 'a', 'b', 'c', 'd','\0'} от = "abcd" ? пмсм: ничем.

Почему указатель на начало массива p1 и указатель на этот указатель имеют одно и тоже значение?

Почему не вот так работает?




ну может и больше. Интересуют эти 2. В вашем примере строка не будет создаваться программой вплоть до char* str=MSG , например


разве имя массива без индекса не является указателем на первый член этого массива? непонятно.

С какого бодуна? Вы сами-же на себя написали опровержение:

В этом Вашем-же примере p1 это "указатель на начало массива"? А p2 "указатель на этот указатель". Соответственно это два РАЗНЫХ объекта и имеют "разные числа", что и видно в Вашей-же распечатке.
Начните с чтения K&R. Ну ОЧЕНЬ помогает.
Аминь.

Таки отличается.

а вот с { 'a', 'b', 'c', 'd','\0'} такой фокус не проходит.

Где аминь? Почему p1 == p2 в случае p2 = &str ; при char str[] = "blablabla" ? Без K&R обьяснить можете?

Могу. Вот Вам УЖЕ был дан ответ:

Но, очевидно, что для понимания Вам придется начать с букваря для первого класса и вообще научится читать. После чего уже сможете читать в том числе и K&R и уже подумать и понять что делает операнд '=' и что делает операнд '&' получив адрес обьекта.

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

Может стоит разобраться как этот код в памяти располагается, если есть непонимание.

да это какая-то петросянщина маслом масляная.
Можете кратко и грамотно безграмотному мне обьяснить? Без букваря, петросяна и тд ?

Почему равны p1 и p2? Почему не равны p2 и p3?



Спасибо. Более-менее понятно.

Wow!
Индекс разрешили применять к rvalue?


Какой компилятор так умеет извращаться?

Сообщение отредактировал GetSmart - Jan 24 2016, 13:06

Вы присваиваете УКАЗАТЕЛЮ p1 ЗНАЧЕНИЕ массива символов s - поэтому происходит неявное преобразование имени массива s в ссылку на него, то есть в &s. В случае p2 это написано явно. Поэтому значения p1 и p2 равны. А p3 содержит АДРЕС переменной p1, поэтому никакого отношения к ЗНАЧЕНИЮ переменной p1 не имеет.

Любой выполняющий требования стандарта.