Указатели на память в стеке?

Question

[Даниил Демидко]

Я знаю про стек и кучу. Знаю про указатели.
Например char *pArr = new char [5] , это мне понятно, выделяем память в куче.
Но что это:
char *cStr = "string";
Где тут выделяется память - в куче или стеке?
Почему тут не работает delete ?
Почему при выводе, например
std :: cout << cStr ;
Выводится "string" , то есть значение, а не адрес значения как обычно с указателями ?
Почему при сравнении, например таком:

char *a = "str" ;
char *b = "str" ;
std :: cout << ( a == b ) ; /// true , но как?

Сравнивается значение ? Это ведь указатели, или ?

Comments

[abcd0x00]

Начинать надо с C, потому что это сишный материал. В литературе по C это рассмотрено подробно со всех сторон.

[res2001]

Даниил Демидко: Правильные вопросы задаешь!

Answer 1

[Армянское Радио]

Итак. В присваивании у нас участвует "string" - это константа. Она отправляется компилятором в область данных программы - это зависит от платформы, куда конкретно. Так что на стеке оказывается сам указатель cStr, который указывает куда-то, куда компилятор засунул ваши буковки.

По второму вопросу (какого черта вы засунули два вопроса в один?) - компилятор - не дурак, он взял два одинаковых набора символов "str", понял, что они одинаковые, и не стал плодить дубляки - в a и b попадает один указатель, потому как компилятор не стал сохранять в программе две идентичные строки.

Comments

[Rsa97]

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

[Армянское Радио]

Rsa97: Если такая ерунда начинает происходить, значит программист где-то допустил отступление от стандарта.

[Rsa97]

Армянское Радио: Так пример в вопросе внешне соответствует стандарту, но его работа как раз зависит от такой оптимизации.

[Даниил Демидко]

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

[Даниил Демидко]

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

[MiiNiPaa]

Rsa97: Стандарт прямо разрешает но не требует такую оптимизацию. Полагаться на её присутствие/отсутствие — нарушать стандарт.

[MiiNiPaa]

Даниил Демидко: В статической памяти. Где она расположена — отдельный вопрос, но в большинстве случаев НЕ в стеке. Обычно совсем в другой стороне. На стеке оказывается только сам указатель на массив: 4/8 байт.

Answer 2

[res2001]

Почему при выводе, например
std :: cout << cStr ;
Выводится "string" , то есть значение, а не адрес значения как обычно с указателями ?

Потому что в cout переопределена оператор << для типа char*, так чтобы выводилась именно строка, а не указатель. Чтоб вывести адрес преобразуйте указатель в int и выводите как целое число.