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

@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;
}

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

@nmcf · 09.08.2015, 10:09

Потому что он просто не успел затереться. Сделай вызов какой-нибудь функции перед cout и посмотри на результат.

@zss · 09.08.2015, 10:12

Вы же инициализируете переменную адресом ДИНАМИЧЕСКИ выделенной памяти,
которая удаляется по delete, а не по выходу из функции.
При возврате адреса по ссылке передается именно этот адрес выделенной памяти.
Так что ничего криминального.....

@castaway · 09.08.2015, 10:13

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

ведь локальный указатель должен был удалиться на выходе из функции.

Здесь освободится только память под указатель, ничего больше.

А корректное значение выдаётся только потому, что участок памяти по этому адресу остался не востребованным до вывода значения в 12-й строке.

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

zss, nmcf, по моему мнению должна произойти утечка памяти

@Dani · 09.08.2015, 10:17

Потому, что память, где был указатель, осталась прежней.

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

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

по моему мнению должна произойти утечка памяти

Если сделать delete y и y к моменту удаления будет валидным, то утечки не будет.

@castaway · 09.08.2015, 10:22

Не по теме:

Про ссылку то я и забыл...

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

Я не понимаю.
1) Создается локальный указатель, инициализированный началом дин. выделенной памяти
2) Вовзращаем этот локальный указатель
3) Время жизни данной переменной указателя заканчивается
4) Возвращается указатель, содержащий вобще левый адрес
5) Этим левым адресом должен быть инициализирован указатель в main()

@Dani · 09.08.2015, 10:26

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

4) Указатель должен содержать вобще левый адрес

почему?

@MansMI · 09.08.2015, 10:27

почему, в у вернулся реальный адрес, и с возвратом его из планки ОЗУ не вырвали

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

Dani,

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

Да даже такое все равно корректно работает

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
int& change(void)
{
    int x =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:36

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

1) Создается локальный указатель, инициализированный началом дин. выделенной памяти

допустим

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

2) Вовзращаем этот локальный указатель

возвращаем ссылку на него

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

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

да, иксу кирдык

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

4) Возвращается указатель, содержащий вобще левый адрес

с чего? Ссылка продолжила ссылаться туда, где был x, так что если память там еще не затерта чем-то другим, то так и останется все

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

5) Этим левым адресом должен быть инициализирован указатель в main()

ну тут смотреть предыдущий пункт

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

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

чего? Ссылка продолжила ссылаться туда, где был x

Значение переменной x - адрес (если говорить про самый 1ый пример)
Выходим из функции - это значение адреса удаляется, указатель содержит неопределенное значение (переменная-указатель же не статическая)
Следовательно, ссылка тоже содержит неопр. значение

Croessmah · 09.08.2015, 10:43

Вот Вам интересный пример для раздумий (не пытаться повторить, т.к. это UB):

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>
 
int& change()
{
    int x =50;
    return x;
}
 
 
 
int& foo ()
{
    int x = 160 ;
    return x ;
}
 
 
int main()
{
    int & x = change() ;
    foo() ;
    int y(x);
    std::cout << y << std::endl;
    return 0;
}

http://rextester.com/GLWY95528

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

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

это значение адреса удаляется

переменная удалилась, а память, которую занимала эта переменная осталась.

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

указатель содержит неопределенное значение

Вот об этом Вам и говорят. Там может быть прежнее значение, а может и не быть его уже

@castaway · 09.08.2015, 10:44

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

Выходим из функции - это значение адреса удаляется

Память под переменную помечается свободной (удаляется на твоём сленге), значение адреса никуда не пропадает, оно возвращается из функции.

@nmcf · 09.08.2015, 10:47

Ссылка на указатель фактически возвращается как указатель на указатель, т. е. адрес локального x, по крайней мере в VS. А значение самого x остаётся в стеке, пока его не перезапишут.
Открой окно "Дизассемблированный код" в VS и в режиме отладки, посмотри как идёт работа с адресами.

Croessmah · 09.08.2015, 10:47

Не по теме:

castaway, мож лучше нарисовать, как думаешь? :)

@castaway · 09.08.2015, 10:50

Не по теме:

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

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

Croessmah, в твоем примере вобще не понял, как получилось 160

Новые блоги и статьи Все статьи Все блоги /
Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .
Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .

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

@zss Модератор 13771 / 10964 / 6491 Регистрация: 18.12.2011 Сообщений: 29,241
	09.08.2015, 10:12
	Вы же инициализируете переменную адресом ДИНАМИЧЕСКИ выделенной памяти, которая удаляется по delete, а не по выходу из функции. При возврате адреса по ссылке передается именно этот адрес выделенной памяти. Так что ничего криминального..... 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 10:15 [ТС]
	zss, nmcf, по моему мнению должна произойти утечка памяти 0

@castaway
	09.08.2015, 10:22
	Не по теме: Про ссылку то я и забыл... 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 10:23 [ТС]
	Я не понимаю. 1) Создается локальный указатель, инициализированный началом дин. выделенной памяти 2) Вовзращаем этот локальный указатель 3) Время жизни данной переменной указателя заканчивается 4) Возвращается указатель, содержащий вобще левый адрес 5) Этим левым адресом должен быть инициализирован указатель в main() 0

@MansMI 1615 / 1181 / 552 Регистрация: 08.01.2012 Сообщений: 4,558
	09.08.2015, 10:27
	почему, в у вернулся реальный адрес, и с возвратом его из планки ОЗУ не вырвали 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 10:31 [ТС]
	Dani, Миниатюры 0

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

Croessmah
	09.08.2015, 10:47
	Не по теме: castaway, мож лучше нарисовать, как думаешь? :) 0

@castaway
	09.08.2015, 10:50
	Не по теме: Croessmah, не факт что дойдёт. Только зря время потратишь:) 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	09.08.2015, 10:50 [ТС]
	Croessmah, в твоем примере вобще не понял, как получилось 160 0