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

@Gwini · Регистрация: 08.03.2014

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

Заметил недавно одну интересную вещь. Как вообще работает такой код? Причем коректно.

C++
1
2
3
4
5
6
7
8
9
10
11
int& func();
int main()
{
    cout << func();
}
 
int& func()
{
    int a = 99;
    return a;
}

@CyberSolver · 02.08.2014, 05:18

Gwini, не очень-то корректно.

@Gwini · 02.08.2014, 05:21 **[ТС]**

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

Gwini, не очень-то корректно.

vs выводит 99

@CyberSolver · 02.08.2014, 05:26

Gwini, а как вы думаете, что будет с локальной переменной по выходу из функции?

@Gwini · 02.08.2014, 05:31 **[ТС]**

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

Gwini, а как вы думаете, что будет с локальной переменной по выходу из функции?

Ну должна удалиться, но она существует не в main() и после завершения func() ccылатся уже не на что. Я просто читал что такого делать нельзя, а тут на тебе...

@gray_fox · 02.08.2014, 06:25

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

vs выводит 99

Просто так звёзды совпали, это ничего не значит.

@Бендерродригез · 02.08.2014, 07:14

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

Просто так звёзды совпали, это ничего не значит.

Или cout внезапно принимает &&.

@gray_fox · 02.08.2014, 07:24

Сообщение от Бендерродригез

Или cout внезапно принимает &&.

Возвращаемый тип lvalue же, ссылка на rvalue тут вообще не при чём.

@Andrej · 02.08.2014, 07:57

Код топик стартера после clanga тоже сработал, хотя, тот упорно жалуется на reference to stack memory.
А вот так сломало:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <iostream>
 
int& func();
 
int main()
{
    int& a = (func() = 5);
    int& b = (func() = 3);
    int& c = (func() = 1);
    std::cout << a << std::endl;
    std::cout << b << std::endl;
    std::cout << c << std::endl;
};
 
int&
func()
{
    int a = 99;
    return a;
};

Выводит 1, мусор, мусор.
edit:
Хотя, можно и проще стэк затереть.

@__SOKOL__ · 02.08.2014, 09:28

Вот так можешь увидеть адрес своей переменной из функции.
Функция возвращает ссылку, и работает правильно выводя 99, а не адрес, ведь в выводе ты не поставил знак амперсанда перед вызовом функции.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <iostream>
using namespace std;
 
int& func();
 
int main()
{
    cout << &func() << endl;
    return 0;
}
 
int& func()
{
    int a = 5;
    return a;
}

Но так делать не рекомендуется:

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <iostream>
using namespace std;
 
int& func();
 
int main()
{
    int &b = func();
    cout << &b << endl;
    cout << b << endl;
    return 0;
}
 
int& func()
{
    int a = 5;
    return a;
}

Так будет потеря данных.
Адрес ты примешь, но значение этого адреса изменится, так как переменная локальная
и её значение удаляется после выхода из функции. У меня вместо 5 выводит 100.

Потерю данных можно избежать если использовать статические переменные или указатели,
но вспомним основы: статические переменные хранятся в памяти до завершения приложения,
а с указателями нужно быть внимательным и не забывать очищать память, или приложение
за час и больше работы может занять 1 и больше Гб ОЗУ.

Пример с указателем:

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <iostream>
using namespace std;
 
int& func();
 
int main()
{
    int* b = &func();
    cout << b << endl;
    cout << *b << endl;
    delete b;
    
    return 0;
}
 
int& func()
{
    int *a = new int;
    *a = 5;
    return *a;
}

Вообще указатели это очень классная штука, учись работать с ними.

@CyberSolver · 02.08.2014, 09:37

__SOKOL__, ну вы и насоветовали. Выделить в динамике int, чтобы он не потерялся? В Джаве такое будете проделывать, а здесь, если забыть delete (а по закону Мерфи он будет забыт),

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

приложение
за час и больше работы может занять 1 и больше Гб ОЗУ.

@__SOKOL__ · 02.08.2014, 11:06

CyberSolver, Вы так говорите, будто тут пишется ЦЕЛОЕ приложение которое решает мировой кризис.
Это самый обычный пример, он вместо этого int может подставить любой тип данных, любой класс, так что я правильно всё посоветовал!

Добавлено через 33 секунды
Более того я яву не знаю.

@_Ivana · 02.08.2014, 13:47

Я не знаком с С++, но где-то краем уха слышал, что например в С malloc всегда поступает именно таким образом - возвращает ссылку на локальную переменную, и никто не делает из этого трагедии...

@CyberSolver · 02.08.2014, 14:10

_Ivana, не иначе как от агенства ОБС.

Tulosba · 02.08.2014, 22:01

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

Я не знаком с С++, но где-то краем уха слышал,

Давайте вот без таких бабушких сказочек.

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

в С malloc всегда поступает именно таким образом - возвращает ссылку на локальную переменную

В Си нет ссылок.

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Программа принимает математическое выражение в виде строки и выдаёт его производную в виде строки и вычисляет значение производной при заданном х Логарифм записывается как: (x-2)log(x^2+2) -. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@CyberSolver 102 / 75 / 17 Регистрация: 23.07.2014 Сообщений: 877 Записей в блоге: 1
	02.08.2014, 05:18
	Gwini, не очень-то корректно. 0

@CyberSolver 102 / 75 / 17 Регистрация: 23.07.2014 Сообщений: 877 Записей в блоге: 1
	02.08.2014, 05:26
	Gwini, а как вы думаете, что будет с локальной переменной по выходу из функции? 0

@__SOKOL__ 3 / 3 / 1 Регистрация: 29.06.2013 Сообщений: 107
	02.08.2014, 11:06
	CyberSolver, Вы так говорите, будто тут пишется ЦЕЛОЕ приложение которое решает мировой кризис. Это самый обычный пример, он вместо этого int может подставить любой тип данных, любой класс, так что я правильно всё посоветовал! Добавлено через 33 секунды Более того я яву не знаю. 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	02.08.2014, 13:47
	Я не знаком с С++, но где-то краем уха слышал, что например в С malloc всегда поступает именно таким образом - возвращает ссылку на локальную переменную, и никто не делает из этого трагедии... 0

@CyberSolver 102 / 75 / 17 Регистрация: 23.07.2014 Сообщений: 877 Записей в блоге: 1
	02.08.2014, 14:10
	_Ivana, не иначе как от агенства ОБС. 0