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

@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, извини)

Новые блоги и статьи Все статьи Все блоги /
Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия	Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .
Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .

@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