Int& foo() и int foo()

@Евгений323 · Регистрация: 11.11.2018

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

При передаче переменной по ссылке все понятно. Но я не пойму логики возвращения по ссылке. Например:

C++
1
2
3
4
5
6
7
8
9
10
int& foo(int a)
{
   return a;
}
 
 
int main()
{
   int b = foo(); // int = int &   ?
}

@Jzx · 08.02.2019, 02:27

Сообщение от Евгений323

foo()

Тут ошибка в коде: вы ничего не передаёте в функцию.

@Евгений323 · 08.02.2019, 02:52 **[ТС]**

Извиняюсь, ошибка при написании, код вырван из контекста, foo(10); например. Мне бы главное понять суть возвращения int&.

Добавлено через 4 минуты
Исходя из моих знаний int &ref = a допускается, т.к это ссылка, а int b = &a - нет. Как происходит присваивание int = int &?

@lArtl · 08.02.2019, 03:11

Сообщение от Евгений323

Как происходит присваивание int = int &?

тут происходит просто копирование, как и в int = int

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

Сообщение от Евгений323

int b = &a

так как & в этом контексте значит взятие адреса( int * pa = &a; )

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

Сообщение от Евгений323

Мне бы главное понять суть возвращения int&.

Функция вернет указатель на параметр. В вашем примере этого ошибка, так как в функции foo параметр a - локальная переменная, и выйдя из функции она уничтожится, значит foo() вернет ссылку на невалидную область.

@Pavel250 · 08.02.2019, 03:17

Сообщение от Евгений323

Мне бы главное понять суть возвращения int&.

например:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <iostream>
using namespace std;
 
int b = 10;
int &foo() {
    return b;
}
int main() {
    cout << b << endl;
    foo() = 12;
    cout << b << endl;
    system("pause");
}

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

Сообщение от Евгений323

C++
1
2
3
4
5
6
7
8
int& foo(int a)
{
return a;
}
int main()
{
int b = foo(); // int = int & * 
}

C++
1
2
3
4
5
6
7
8
int& foo(int a)
{
return a;
}
int main()
{
int *b = foo(); // так все ок должно быть вы же возвращаете ссылку
}

@lArtl · 08.02.2019, 03:20

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

C++
1
2
3
4
5
6
7
8
int& foo(int a)
{
return a;
}
int main()
{
int *b = foo(); // так все ок должно быть вы же возвращаете ссылку
}

Это невалидный код, b указывает вникуда

@Pavel250 · 08.02.2019, 03:24

Согласен, ошибся, переменную а нужно объявить раньше.

@Jzx · 08.02.2019, 04:05

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

Функция вернет указатель на параметр. В вашем примере этого ошибка, так как в функции foo параметр a - локальная переменная, и выйдя из функции она уничтожится, значит foo() вернет ссылку на невалидную область.

Да, действительно, a — это локальная переменная, но она не уничтожится сразу при выходе из функции.

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

В вашем примере этого ошибка

Ошибка была только в том, что в функцию ничего не передавалось. Эта ошибка уже исправлена. Никакой другой ошибки нет.

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

Сообщение от Евгений323

int &ref = a допускается

Допускается. Потому что это способ объявления ссылки.

Сообщение от Евгений323

int b = &a - нет

В данном примере амперсанд справа от = используется для взятия адреса области памяти, которую занимает (уже существующий) объект a. То есть сначала вычисляется значение выражения &a (и это значение имеет тип указателя на int). После этого вы пытаетесь присвоить переменной типа int полученный адрес типа указателя на int, что и приводит к ошибке.

@Lord_Voodoo · 08.02.2019, 06:07

Комментарий модератора

lArtl, первое и последнее предупреждение: Выбирайте выражения, а то Вас крепко заносит.
Jzx, lArtl, разборки и словоблудие прекращаем.
Заранее благодарен за пониманием и сотрудничество с администрацией.

@lArtl · 08.02.2019, 06:59

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

Ошибка была только в том, что в функцию ничего не передавалось. Эта ошибка уже исправлена. Никакой другой ошибки нет.

Это UB. То, что оно каким то чудом компилируется в vc++ и что-то даже вменяемое выведет - просто чудо.

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

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

lArtl, первое и последнее предупреждение: Выбирайте выражения, а то Вас крепко заносит.

Больше не буду.(

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

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

Да, действительно, a — это локальная переменная, но она не уничтожится сразу при выходе из функции.

Под выходом из функции я также подразумеваю очистку стэка.

@_SayHello · 08.02.2019, 10:37

lArtl,

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

Функция вернет указатель на параметр. В вашем примере этого ошибка, так как в функции foo параметр a - локальная переменная, и выйдя из функции она уничтожится, значит foo() вернет ссылку на невалидную область.

Локальная переменная хранится действительно в стеке, а вот под возвращаемое значение резервируется память в другом месте, например в x86 возвращаемое значение передается через регистр EAX. То есть передается копия локальной переменной. Именно поэтому в С/С++ функции важно знать явную сигнатуру, чтобы знать сколько памяти резервировать.

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

Под выходом из функции я также подразумеваю очистку стэка.

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

@lArtl · 08.02.2019, 11:23

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

Локальная переменная хранится действительно в стеке, а вот под возвращаемое значение резервируется память в другом месте, например в x86 возвращаемое значение передается через регистр EAX. То есть передается копия локальной переменной. Именно поэтому в С/С++ функции важно знать явную сигнатуру, чтобы знать сколько памяти резервировать.

в EAX будет ссылка на локальную переменную

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

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

Именно это я и имел ввиду.

Добавлено через 21 минуту
ассемблерный выхлоп для

C++
1
2
3
4
5
6
7
8
9
int& foo(int a)
{
   return a;
}
 
int main()
{
   int b = foo(10);
}

и

C++
1
2
3
4
5
6
7
8
9
int* foo(int a)
{
   return &a;
}
 
int main()
{
   int b = *foo(10);
}

будет одинаковым.

Добавлено через 2 минуты
И надеюсь не надо еще кому то пояснять, что это все собирается без оптимизаций...

MrGluck · 08.02.2019, 11:31

Вы возвращается ссылку на локальную переменную, что является ошибкой т.к. время жизни локальной переменной ограничено телом функции. То есть не гарантируется, что когда вы попытаетесь работать с данными, полученными из функции, там будет содержаться тот же результат, что и в бывшей локальной переменной внутри функции.
Это UB.

@rat0r · 08.02.2019, 11:32

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

в EAX будет ссылка на локальную переменную

0 — это ссылка на локальную переменную? https://godbolt.org/z/80fy15

@lArtl · 08.02.2019, 11:45

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

0 — это ссылка на локальную переменную? https://godbolt.org/z/80fy15

можешь еще с компиляторами поиграть, vc++ туда что-то положит, gcc 4.9.4 тоже, clang там тоже будет ссылка на локальную переменную и тд

Добавлено через 9 минут
Попробуйте с

C++
1
2
3
4
5
6
7
8
9
int* foo(int a)
{
   return &a;
}
 
int main()
{
   int b = *foo(10);
}

в (e|r)ax по прежнему будет класться 0, хотя как так то... У a точно на тот момент есть адресс

@DrOffset · 08.02.2019, 12:11

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

будет класться 0, хотя как так то...

UB же. Компилятор в своем праве реализовать неопределенное поведение так, как ему удобнее.
А ноль передать именно удобнее, т.к. это поможет быстрее обнаружить ошибку.

@lArtl · 08.02.2019, 12:15

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

UB же.

Про UB упоминалось еще в 10 посте... Просто отвечал на вопрос...

@DrOffset · 08.02.2019, 12:19

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

Просто отвечал на вопрос...

Я тоже.
Вопрос "Как так-то возвращается ноль, когда адрес у переменной есть".
Ответ: возвращается ноль, потому что возврат адреса в этом случае был бы ошибкой.
А раз любой возврат адреса в этом случае - ошибка, то лучше вернуть ноль, т.к., в отличие от любого адреса, ноль - можно легко увидеть как отладчиком, так и косвенно по последующему разыменованию с падением.

@DoreinLore · 08.02.2019, 12:58

Хорошо, выяснили что бред использовать данную форму записи т.к переменная локальная и мы вернём адрес на локальную переменную которой уже нет. А теперь вопрос вот в чём, почему в cout << Foo(10); выводится не адресс, а переменная?

@lArtl · 08.02.2019, 13:07

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

Хорошо, выяснили что бред использовать данную форму записи т.к переменная локальная и мы вернём адрес на локальную переменную которой уже нет. А теперь вопрос вот в чём, почему в cout << Foo(10); выводится не адресс, а переменная?

Потому что это UB!!111

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <iostream>
using namespace std;
 
int b = 10;
int &foo() {
    return b;
}
int main() {
    cout << b << endl;
    foo() = 12;
    cout << b << endl;
    system("pause");
}

функция возвращает ссылку. Ссылка != Указатель.

Новые блоги и статьи Все статьи Все блоги /
Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	Контроль уникальности заводского номера - вариант №2 Maks 24.03.2026 В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла: Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .	SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip	Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .
Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера - вариант №1 Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью. Данные берутся из регистра сведений, по которому настроено. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git	Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .

@Евгений323 0 / 0 / 0 Регистрация: 11.11.2018 Сообщений: 59
	08.02.2019, 02:52 [ТС]
	Извиняюсь, ошибка при написании, код вырван из контекста, foo(10); например. Мне бы главное понять суть возвращения int&. Добавлено через 4 минуты Исходя из моих знаний int &ref = a допускается, т.к это ссылка, а int b = &a - нет. Как происходит присваивание int = int &? 0

@Pavel250 51 / 37 / 14 Регистрация: 05.08.2016 Сообщений: 187
	08.02.2019, 03:24
	Согласен, ошибся, переменную а нужно объявить раньше. 0

MrGluck Форумчанин 8216 / 5047 / 1437 Регистрация: 29.11.2010 Сообщений: 13,453
	08.02.2019, 11:31
	Вы возвращается ссылку на локальную переменную, что является ошибкой т.к. время жизни локальной переменной ограничено телом функции. То есть не гарантируется, что когда вы попытаетесь работать с данными, полученными из функции, там будет содержаться тот же результат, что и в бывшей локальной переменной внутри функции. Это UB. 0

@DoreinLore 0 / 0 / 0 Регистрация: 13.12.2018 Сообщений: 28
	08.02.2019, 12:58
	Хорошо, выяснили что бред использовать данную форму записи т.к переменная локальная и мы вернём адрес на локальную переменную которой уже нет. А теперь вопрос вот в чём, почему в cout << Foo(10); выводится не адресс, а переменная? 0