Указатель char на строку. Опции

[Гость_TheJax_*]

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

...
char *ptr="Hello World!";
...

И в этом случае:

...
char pp[]="Hello World!";
...

Вот для символов Hello World! вызывается оператор new? Ведь указатель ptr указывает на какой-то адрес, как тогда этот адрес выделяется?
И почему указатель ptr является константным ?? С указателем pp все ясно, там идет работа с копией строки "Hello World!", а вот с ptr не очень.

Спасибо!!!

[Алексей1153]

не, new не вызывается. Выражение

"Hello World!";

возвращает указатель на константную строку, причём в конце строки обязательно будет 0

Во втором случае используется не копия, а такой же, по сути, указатель - тут я наврал ))

Сообщение отредактировал Алексей1153 - 15.1.2016, 8:38

[lanz]

В первом случае:
Компилятор знает сколько памяти нужно для строки и на этапе компиляции помещает строку в исполняемый файл. А в ptr загружается адрес строки.
При исполнении загрузчик загружает строку в нужный адрес и все работает
Во втором случае происходит
http://en.cppreference.com/w/cpp/language/..._initialization
Выделяется массив pp, который код инициализации заполняет нужной строкой.

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

Сообщение отредактировал lanz - 14.1.2016, 10:04

[Гость_TheJax_*]

Алексей1153 и lanz, благодарю вас за ответы.
Если правильно понял, то в первом случае ( char *ptr), в этот самый ptr возвращается указатель на константную строку.
Тогда скажите, пожалуйста, эквивалентны ли эти записи:

...
char *ptr="Hello";
...
// эквивалентно ли это -
...
const char string[6]={'H','e','l','l','o','\0'};

const char *ptr=string;
...

[lanz]

эквивалентны ли эти записи

Нет конечно, вторая запись эквивалентна

const char string[] = "Hello";

Здесь массив просто вырождается(decay) в тип указателя:

const char *ptr=string;

Но указывает все равно на массив.

Рекомендуется к прочтению:
http://c-faq.com/~scs/cgi-bin/faqcat.cgi?sec=aryptr

[Гость_TheJax_*]

lanz, да, извиняюсь, чушь написал. Имелось ввиду следующее.
В первой строке ( char *ptr="Hello"; ) создается константная строка и указатель на константную строку ( "Hello" ). Похожа ли по смыслу вторая запись, т.е. ,что, есть константная строка, и есть указатель на нее.

И ещё вопрос, почему компилятор пропускает этот кусок кода, строка же константная. Или компилятор не знает ещё об этом ?

...
char *ptr="Hello";

ptr[1]='I';
...

Спасибо Вам за ответы!

[lanz]

На практике разница такая:

const char * fn1() {
  const char * a = "Hello";
  return a; // OK
}

const char * fn2() {
  const char a[] = "Hello";
  return a; // whoops вернет трэш
}

http://rextester.com/OZME60022

строка же константная

Нет, она же char*

Процитирую первую ссылку:

it turns into an unnamed, static array of characters, and this unnamed array may be stored in read-only memory, and which therefore cannot necessarily be modified. In an expression context, the array is converted at once to a pointer, as usual (see section 6), so the second declaration initializes p to point to the unnamed array's first element.
Some compilers have a switch controlling whether string literals are writable or not (for compiling old code), and some may have options to cause string literals to be formally treated as arrays of const char (for better error catching).

may, may, may т.е. это не обязательно.

Сообщение отредактировал lanz - 14.1.2016, 18:04

[Гость_TheJax_*]

lanz, дошло, спасибо Вам )).

Касательно Ваших двух примеров. А почему во втором случае возвращается мусор? Из-за того, что, массив "а" создается на стеке и выходя за пределы функции данные ( массив "а" ) уничтожается и указатель указывает на мусор ? Так ?

[lanz]

массив "а" создается на стеке и выходя за пределы функции данные ( массив "а" ) уничтожается

В целом да. Вообще это детали реализации где он создается, более важно что время его жизни ограничено областью функции, т.к. это локальная переменная.

Сообщение отредактировал lanz - 14.1.2016, 18:21

[Гость_TheJax_*]

lanz, все понятно. Спасибо Вам огромное!