Возврат ссылки на локальную переменную

@Ferrari F1 · Регистрация: 27.01.2015

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

Привет, есть такой код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
int*& change(void)
{
    int* x(new int(50));
    return x;
}
 
int main(void)
{
    SetConsoleCP(1251);
    SetConsoleOutputCP(1251);
    int* y(change());
    cout << *y << endl;
    system("pause");
    return 0;
}

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

Croessmah · 09.08.2015, 10:51

Не по теме:

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

не факт что дойдёт. Только зря время потратишь

попытка не пытка :)

@nmcf · 09.08.2015, 10:54

Да очень просто - функции однотипные и адрес внутренней переменной оказывается один и тот же в стеке.

@castaway · 09.08.2015, 10:56

Не по теме:

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

попытка не пытка

Ок. Рисуй:)

@Ferrari F1 · 09.08.2015, 10:59 **[ТС]**

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

Там может быть прежнее значение, а может и не быть его уже

Это компилятором определяется?

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

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

Да очень просто - функции однотипные и адрес внутренней переменной оказывается один и тот же в стеке.

Мои знания ограничиваются (в данный момент) информацией из книги Дейтела, но он о таком случае не рассказал, написано прямо: значение лок. переменной становится неопр, а Croessmah пишет, что может стать неопр.

Про такие заморочки со стеком наверно написано в книгах о подводных камнях по C++?

@MansMI · 09.08.2015, 11:02

C++
1
2
cin.get();
cout << *y << endl;

станет неопр.

Croessmah · 09.08.2015, 11:02

Сообщение от Ferrari F1

а Croessmah пишет, что может стать неопр.

может стать, а может и не стать. Это UB - undefined behavior (неопределенное поведение). Полагаться на то, что там осталось то же, что и было раньше нельзя.

@Ferrari F1 · 09.08.2015, 11:03 **[ТС]**

nmcf, я понял, о чем ты мне пытался сказать, и понял наконец пример Кроесмаха!

@nmcf · 09.08.2015, 11:03

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

Croessmah · 09.08.2015, 11:04

Не по теме:

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

Ок. Рисуй

засада, графического редактора на ПК нет, лень ставить :D

@Ferrari F1 · 09.08.2015, 11:05 **[ТС]**

Croessmah, понятно, от реализации значит все зависит? Но ведь я этого-то не знал))

Croessmah · 09.08.2015, 11:05

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

Это работой программы определяется

не только. Компилятор может оптимизировать так, что там совсем не то в результате получится.

@nmcf · 09.08.2015, 11:07

Croessmah, бесспорно.

@Ferrari F1 · 09.08.2015, 11:16 **[ТС]**

nmcf, вот теперь все стало ясно.
Наверное Дейтел - это слишком поверхностная литература для получения ответов на такие вопросы

Добавлено через 8 минут
Жаль, что на 1ой странице все вокруг да около ходили вокруг ответа, особенно castaway, не сказав четко, что в данном случае поведение определяется реализацией.
А то вот все писал, не поймет, не поймет. Дак ты объясни нормально и пойму!

Croessmah · 09.08.2015, 11:18

Не по теме:

Сообщение от Ferrari F1

особенно castaway

castaway, опять ты лажанул :rofl:

@Ferrari F1 · 09.08.2015, 11:21 **[ТС]**

Croessmah, Саня З., Дак как я могу знать об этих ситуациях со стеком, если о них в книге не говорится?? КАГ!?!?!?

@castaway · 09.08.2015, 11:21

Ferrari F1, я тебе чем то не угодил? Откуда такая личная неприязнь?

@Ferrari F1 · 09.08.2015, 11:29 **[ТС]**

castaway, да причем тут неприязнь? обидно, что ты сказал "вряд ли поймет", хотя мог бы и сам объяснить, в чем корень такой проблемы

Tulosba · 09.08.2015, 11:37

Ferrari F1, если в исходном варианте с указателем на целое (int*) ситуация не очень ясна, предлагаю заменить "родной" указатель на пользовательский класс, чтобы нагляднее увидеть жизненный цикл объекта:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#include <iostream>
using namespace std;
 
struct IntPtr
{
    IntPtr(int* v) : v_(v) { cout << "ctor\n"; }
    IntPtr(const IntPtr& o) : v_(o.v_) { cout << "copy ctor\n"; }
    ~IntPtr() { cout << "dtor\n"; }
    int operator*() const { cout << "deref\n"; return *v_; }
private:
    int* v_;
};
 
IntPtr& change(void)
{
    IntPtr x(new int(50)); // ctor
    return x; // dtor
} 
 
int main(void)
{
    IntPtr y(change()); // copy ctor
    cout << *y << endl; // deref
    return 0; // dtor
}

http://coliru.stacked-crooked.... 69b173a08d

ctor
dtor
copy ctor
deref
50
dtor

Обрати внимание, что копирующий конструктор (присваивание значения из change в "игрек"), выполняется уже после того, как вызван деструктор объекта. Т.е. мы пытаемся скопировать уже уничтоженный объект, что не может считаться правильным.

Ну, и когда возникают сомнения по результатам, всегда есть возможность проверить на разных реализациях (компиляторах). И безусловно, стоит обращать внимания на предупреждающие сообщения.

@castaway · 09.08.2015, 11:47

Ferrari F1, мне тоже не понравилось как ты высказался в этой теме, но я же не кричу направо и налево что пользователь Ferrari F1 такой охреневший негодяй.

@Ferrari F1 · 09.08.2015, 11:47 **[ТС]**

castaway, извини)

Новые блоги и статьи Все статьи Все блоги /
Знаете, от чего появляется стресс? kumehtar 15.07.2026 Стресс появляется оттого, что вы, зная как поступить правильно, делаете наоборот. Ларри Уингет	Нас бьют, а мы крепчаем? Какая чушь! kumehtar 15.07.2026 Вот это вот бытующее мнение, что человек меняется только под действием проблем, всегда считал вредоносным. Поверь, от проблем у людей появляются не изменения, а нервное расстройство и ПТСР. А. . .	сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .
Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .	сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .

@nmcf 7804 / 6568 / 2988 Регистрация: 14.04.2014 Сообщений: 28,705
	09.08.2015, 10:54
	Да очень просто - функции однотипные и адрес внутренней переменной оказывается один и тот же в стеке. 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 11:03 [ТС]
	nmcf, я понял, о чем ты мне пытался сказать, и понял наконец пример Кроесмаха! 0

@nmcf 7804 / 6568 / 2988 Регистрация: 14.04.2014 Сообщений: 28,705
	09.08.2015, 11:03
	Это работой программы определяется, пока кто-то не перезапишет стек, значение сохранится. Я тебе об этом уже сказал. Ты выходишь за рамки C++ ниже в аппаратную сторону, с точки зрения языка просто нельзя делать такой возврат. Не делай. 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 11:05 [ТС]
	Croessmah, понятно, от реализации значит все зависит? Но ведь я этого-то не знал)) 0

@nmcf 7804 / 6568 / 2988 Регистрация: 14.04.2014 Сообщений: 28,705
	09.08.2015, 11:07
	Croessmah, бесспорно. 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 11:16 [ТС]
	nmcf, вот теперь все стало ясно. Наверное Дейтел - это слишком поверхностная литература для получения ответов на такие вопросы Добавлено через 8 минут Жаль, что на 1ой странице все вокруг да около ходили вокруг ответа, особенно castaway, не сказав четко, что в данном случае поведение определяется реализацией. А то вот все писал, не поймет, не поймет. Дак ты объясни нормально и пойму! 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 11:21 [ТС]
	Croessmah, Саня З., Дак как я могу знать об этих ситуациях со стеком, если о них в книге не говорится?? КАГ!?!?!? 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	09.08.2015, 11:21
	Ferrari F1, я тебе чем то не угодил? Откуда такая личная неприязнь? 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 11:29 [ТС]
	castaway, да причем тут неприязнь? обидно, что ты сказал "вряд ли поймет", хотя мог бы и сам объяснить, в чем корень такой проблемы 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	09.08.2015, 11:47
	Ferrari F1, мне тоже не понравилось как ты высказался в этой теме, но я же не кричу направо и налево что пользователь Ferrari F1 такой охреневший негодяй. 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 11:47 [ТС]
	castaway, извини) 0