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

@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

Новые блоги и статьи Все статьи Все блоги /
Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек SDL3 и Box2D из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия SDL 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual. . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»

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

@zss Модератор 13773 / 10966 / 6491 Регистрация: 18.12.2011 Сообщений: 29,244
	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 1617 / 1182 / 553 Регистрация: 08.01.2012 Сообщений: 4,561
	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