Стек или динамическая память!?

@Pavel.fromBy · Регистрация: 31.12.2011

Author24 — интернет-сервис помощи студентам

Добрый вечер всем! Прошу ответить на вопрос (ниже приведен код): почему строка "Test!" выводится на экран? Она же не была создана в дин. памяти, т.е. должна была "загнуться" после 1ой строки main(). Заранее благодарен...

C++

#include <iostream>
 
using namespace std;
 
char *Test()
{
    return "Test!";
}
 
int main()
{
    char *p = Test();
    cout << p << endl;
}

@AzaKendler · 28.01.2012, 23:20

Evg, Евгений очень хорошо что ты здесь.

очень хотелось бы четкого понимания

char *Test()
{
return "Test!";
}

Для всех думаю. Значит для "abc" возврат законный? Просто идет присваивание адреса "той" памяти другой переменной?
Хочу уточнить. Можно ли использовать данный указатель как критерий для сравнения, пока идет программа?
На форуме товарищи сказали что нет

C++

const char* p;
 
//.....
//.......
 
if(p == "Test")

@Pavel.fromBy · 28.01.2012, 23:21 **[ТС]**

Evg, про строки, с трудом, но разобрался (хотя, не понятно почему он делает массив символов статическим). Спасибо. А как быть с этим:

C++

.....
int &func()
{
int a = 20;
return a;
}
....

Если в мейне принять результат этой функции ссылкой, то все, опять же, будет в порядке. Здесь та же ситуация?

Evg · 28.01.2012, 23:23

М... а из того описания непонятно? В общем

C

char *Test()
{
  return "Test!";
}

эквивалентно

C

static char tmp[6] = { 'T', 'e', 's', 't', '!', '\0' };
char* Test (void)
{
  return &(tmp[0]);
}

Добавлено через 1 минуту

Сообщение от Pavel.fromBy

Evg, про строки, с трудом, но разобрался. Спасибо. А как быть с этим:

C++

.....
int &func()
{
int a = 20;
return a;
}
....

Если в мейне принять результат этой функции ссылкой, то все, опять же, будет в порядке. Здесь та же ситуация?

Нет, здесь как раз-таки опасная ситуация. Возвращается ссылка на локальный (а не глобальный) объект. Строка (а точнее, строковой литерал) по определению является глобальным объектом

@Pavel.fromBy · 28.01.2012, 23:27 **[ТС]**

Evg, все, со строками покончено

Не заметил, что статик до функции

. Теперь с интами...

Ситуация, может и опасная, но почему работает? Ведь не должно же!!! Объект умирает и ссылка является псевдонимом хрен знает чего... (где-то я уже это писал

).

@AzaKendler · 28.01.2012, 23:29

Evg,

C++

const char* p = "Test";
 
//.....
//.......
 
if(p == "Test")
{
 
}

можно так или нет? хочется узнать именно твое мнение. область памяти, адрес будут одинаковы?

Evg · 28.01.2012, 23:31

Сообщение от Pavel.fromBy

Объект умирает

Объект умирает, но память, где этот объект лежал, загадить ещё никто не успел. Но если после вызова твоей func, возвращающей ссылку, ты вызовешь ещё какую-нибудь функцию, то она уже эту память подпортит

Вот тут я кидал ссылку Deep C
Там в том числе и про этот случай рассказывается. Кстати, func может возвращать хоть ссылку, хоть указатель - по сути дела это одно и то же

@NoMasters · 28.01.2012, 23:33

Pavel.fromBy, после выхода из функции память в стеке не очищается, а просто оказывается выше текущей вершины. Так что, если ничего не успело занять там место и страницу памяти не вернули системе, данные там останутся те же. Но рассчитывать на это не стоит, если случится последнее "если" приложение рухнет с сегфолтом.

Evg · 28.01.2012, 23:33

Сообщение от AzaKendler

можно так или нет? хочется узнать именно твое мнение. область памяти, адрес будут одинаковы?

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

@Pavel.fromBy · 28.01.2012, 23:34 **[ТС]**

Evg, премного благодарен! Вопросов нет... За ссылку отдельное спасибо... Хоть и с английским не очень дружу, обязательно посмотрю!
NoMasters, и вам спасибо!

Evg · 28.01.2012, 23:36

Сообщение от Evg

На вопрос "можно или нет" ответ "нельзя"

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

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	28.01.2012, 23:31	26
	Сообщение от Pavel.fromBy Объект умирает Объект умирает, но память, где этот объект лежал, загадить ещё никто не успел. Но если после вызова твоей func, возвращающей ссылку, ты вызовешь ещё какую-нибудь функцию, то она уже эту память подпортит Вот тут я кидал ссылку Deep C Там в том числе и про этот случай рассказывается. Кстати, func может возвращать хоть ссылку, хоть указатель - по сути дела это одно и то же 1

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	28.01.2012, 23:36	30
	Сообщение от Evg На вопрос "можно или нет" ответ "нельзя" Тут из разряда "нельзя, но если очень хочется, то можно". Если программа пишется под конкретную версию компилятора, если программист заведомо знает, что компилятор умеет одинаковые строки класть в одну память, если программист знает, что в качестве аргумента сравнения всегда будет указатель, инициализированный именно строковым литералом, то можно. Но при этом программист будет сидеть на бочке с динамитом 0

@Pavel.fromBy 13 / 13 / 0 Регистрация: 31.12.2011 Сообщений: 83
	28.01.2012, 23:27 [ТС]	24
	Evg, все, со строками покончено Не заметил, что статик до функции. Теперь с интами... Ситуация, может и опасная, но почему работает? Ведь не должно же!!! Объект умирает и ссылка является псевдонимом хрен знает чего... (где-то я уже это писал ). 0

@NoMasters Псевдослучайный 1946 / 1145 / 98 Регистрация: 13.09.2011 Сообщений: 3,215
	28.01.2012, 23:33	27
	Pavel.fromBy, после выхода из функции память в стеке не очищается, а просто оказывается выше текущей вершины. Так что, если ничего не успело занять там место и страницу памяти не вернули системе, данные там останутся те же. Но рассчитывать на это не стоит, если случится последнее "если" приложение рухнет с сегфолтом. 0

Evg 21279 / 8301 / 637 Регистрация: 30.03.2009 Сообщений: 22,659 Записей в блоге: 30
	28.01.2012, 23:33	28
	Сообщение от AzaKendler можно так или нет? хочется узнать именно твое мнение. область памяти, адрес будут одинаковы? В данной программе имеется два строковых литерала. Поскольку они по стандарту являются const-объектами, то компилятор имеет право эти два объекта положить в одно и то же место памяти. На вопрос "можно или нет" ответ "нельзя". На вопрос "будут ли одинаковыми" ответ "зависит от компилятора" 1

@Pavel.fromBy 13 / 13 / 0 Регистрация: 31.12.2011 Сообщений: 83
	28.01.2012, 23:34 [ТС]	29
	Evg, премного благодарен! Вопросов нет... За ссылку отдельное спасибо... Хоть и с английским не очень дружу, обязательно посмотрю! NoMasters, и вам спасибо! 0