Возвращение ссылки из функции

@meJevin · Регистрация: 18.11.2015

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

Привет, я немного не понимаю, почему в следующем коде в строках 16-17 надо возвращать именно ссылку:

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
26
27
28
29
30
31
32
33
34
35
36
37
38
#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <conio.h>
 
class Test {
private:
    int data;
 
public:
    Test() { std::cout << "\nDEFAULT CTOR\n"; }
    Test(int data) : data(data) { std::cout << "\nINT CTOR\n"; }
    Test(const Test & test_ref) : data(test_ref.getData()) { std::cout << "\nCOPY CTOR\n"; }
 
    const int & getData() const { return data; }
    int & getData() { return data; }
};
 
int main() {
 
    std::vector<Test> vec(5, Test{5});
 
    std::cout << "\n";
 
    for (auto & t : vec)
    {
        std::cout << t.getData() << std::endl;
        t.getData() = rand() % 30;
    }
 
    std::cout << "\n";
 
    for (auto it = vec.begin(); it != vec.end(); ++it)
        std::cout << it->getData() << std::endl;
 
    _getch();
}

Почему, если мы возвращаем не int&, а просто int, присваивание в строке 29 не работает? Ведь мы возвращаем член класса.

PS если возвращать не по ссылке - будет возвращаться rvalue? Почему? Это же член класса.

@Ferrari F1 · 19.06.2016, 14:07

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

Как будет реализовано - без разницы.

Какие могут быть способы их реализации в языке, кроме как через указатели?
Каким образом их можно реализовать без использования указателей?

@rikimaru2013 · 19.06.2016, 14:31

Ferrari F1, через сам объект .......................................

C++
1
2
3
4
5
6
int main()
{
Foo obj;
Foo& ref = obj;
ref->fn();
}

тут ref вполне будет тем самым объектом, а не указателем )

Croessmah · 19.06.2016, 14:32

Ferrari F1, причем здесь как она будет реализована?
Ссылка != разыменнованный указатель.
Реализация может делать что угодно, на язык это не влияет.

@Ferrari F1 · 19.06.2016, 14:45

Croessmah, т.е. стандартом не определено, как ссылка реализована в языке? А то, что она с точки зрения ассемблерного кода выглядит как указатель, то это заслуга разработчика конкретного компилятора? И на другом компиляторе ссылка может не представлять из себя указатель, если смотреть на низком уровне?

@Renji · 19.06.2016, 14:55

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

Реализация может делать что угодно, на язык это не влияет.

Что угодно она может делать только на бумаге. На практике указатель под капотом - единственный разумный способ реализовать ссылку.

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

тут ref вполне будет тем самым объектом, а не указателем )

Если написать Foo* ref = &obj , оптимизатор точно также может выкинуть ref и обращаться напрямую к obj. Будем теперь говорить что реализация указателя тоже не определена?

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

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

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

Да, на другом компиляторе ссылка может представлять собой символьное имя объекта, для поиска в таблице объектов. Только компилятором этим никто не будет пользоваться, потому что тормозит, зараза.

Croessmah · 19.06.2016, 15:03

Ferrari F1, Renji, причем здесь низкий код и ассемблер?
Мы говорим о C++, а не о асме.
В C++ указатель и ссылка понятия разные.
Вы же, почему-то не говорите, что указатель реализован как число и бла-бла-бла,
а еще там электроника, электроны, дырки, насмешили, честно

Добавлено через 1 минуту
Renji, только тут уже появилось слово оптимизатор. Не заметили?

Добавлено через 3 минуты
Итого: ссылка и указатель понятия разные, как оно будет реализовано в конечном итоге - плевать. В люблм случае это некая абстракная система, придуманрая людьми для укращения электроники. Если хотите, можете еще ниже копать. Смысл?
Есть язык, есть его правила. Всё остальное - реализация, которая лишь реализует эти правила, а не задает их.

@Renji · 19.06.2016, 15:05

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

Renji, только тут уже появилось слово оптимизатор. Не заметили?

Так и выкидывание объекта типа "ссылка" это точно такая же оптимизация.

@rikimaru2013 · 19.06.2016, 15:09

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

На практике указатель под капотом - единственный разумный способ реализовать ссылку.

Ну это попытка забежать с канистрой бензина в тему священных битв "Ссылка - саморазыменованый указатель, или результат разыменования указателя - ссылка на объект"

@Ferrari F1 · 19.06.2016, 15:13

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

Мы говорим о C++, а не о асме.
В C++ указатель и ссылка понятия разные.

Я хочу щас забыть понятиях, принятых в стандарте, потому что это все абстракции.
Я знаю, что согласно стандарту ссылка - это не хитрожопый указатель.
Хотел лишь для себя узнать, специфицируется ли в стандарте способ реализации ссылок, т.е. я надеялся примерно на ответ, какой его дал Renji.

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

ссылка и указатель понятия разные

Как понятия-то они разные, хотел лишь узнать, есть ли отличия между ними на низком уровне.
Просто я раньше считал, что если функция имеет формальные параметры-ссылки, то копирования не происходит вообще. Но недавно увидел, что это не так.

Croessmah · 19.06.2016, 15:20

Renji, не совсем. Ссылка - псевдоним, семантически ссылка не создает объект.
В стандарте даже сказано

it is unspecified whether or not a reference required storage

Ну и

A reference can be thought of as a name of a object

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

P.S. и это мы еще не затронули разницу l/rvalue

Добавлено через 2 минуты
Ferrari F1, нет, стандарт не говорит как должна быть реализована ссылка. Вот и весь ответ.
Что касается низкого уровня и реализации (в т.ч. оптимизаций), то код с ссылками, скорее всего, будет идентичен коду с указателями.

@ct0r · 19.06.2016, 15:26

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

Итого: ссылка и указатель понятия разные, как оно будет реализовано в конечном итоге - плевать. В люблм случае это некая абстракная система, придуманрая людьми для укращения электроники. Если хотите, можете еще ниже копать. Смысл?

То есть можно ограничиться лишь абстракцией? А ты мелкие объекты передаешь в функции по константной ссылке или по значению? И почему?

Croessmah · 19.06.2016, 15:37

ct0r, я всегда заварачиваю мелкие объекты в вектор, который потом пихаю в список, и всё обязательно еще обкладываю shared_ptr'ом, так надежнее

Это я к тому, что ситуации разные, объекты разные.
Объект в 1Кб считается мелким, если все остальные в тысячу раз больше?

Что касается int'ово подобных, то, конечно же копию.
Кстати, тут сразу всплывает вопрос о шаблонах.
А как там передаете?
Отдельные версии для фундаментальных типов пишите?

@_Ivana · 19.06.2016, 15:40

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

Это всё неоднократно обсуждалось на форуме.

Каждый раз, когда возникает эта тема (а возникает она регулярно

), кто-нибудь обязательно пишет в ней подобную фразу. Однако, понятнее от нее не становится. И например я до сих пор не понимаю этих вещей. А выяснить их на форуме тяжело - потому что в темы приходят гуру и закатывая глаза восклицают - сколько можно, уже 200 раз разжевано! (Хорошо еще один из таких гур сейчас временно в бане

) А вопросы действительно простые:

1) семантика ссылок (при передаче в функцию, возврате, присваивании и т.п.)

2) реализация ссылок (кому интересно)

Мне непонятно даже первое.

@Renji · 19.06.2016, 15:42

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

Ссылка - псевдоним, семантически ссылка не создает объект.

Чтобы избежать создание объекта, надо на стадии компиляции вычислить куда эта ссылка ведет. А это как раз и есть работа оптимизатора. В общем ведь случае такое вычисление невозможно, а для частных случаев нужны хитрые оптимизирующие алгоритмы. Те же самые что указатели выкидывают.

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

То есть выпиливание ссылки разрешено без всяких оптимизаций,
т.к. она может совсем не занимать место (просто псевдоним), если это возможно.

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

@_Ivana · 19.06.2016, 15:45

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

если сказать адрес таксисту, он довезёт вас к дому, но это не значит, что адрес == дом. То бумажка на 4 байта, а то гора кирпичей.

О, как прозрачны и понятны указатели в Си!

Говоришь таксисту адрес (или хоть координаты для GPS), он тебя привозит, а там уже не дом, а чистое (условно) поле. И ты такой - ну что же, у меня только этот адрес, придется жить здесь

@rikimaru2013 · 19.06.2016, 15:47

_Ivana, так думаю это связано с тем, что язык/Страуструп/учебники не могу и сами разъяснить эти нюансы. Подпись Croessmah полностью раскрывает большинство тем С++

@Renji · 19.06.2016, 15:48

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

О, как прозрачны и понятны указатели в Си! Говоришь таксисту адрес (или хоть координаты для GPS), он тебя привозит, а там уже не дом, а чистое (условно) поле.

А с ссылками не так что ли?

C++
1
2
3
int&x=object->x;
delete x;
x=1234;//опс...

@rikimaru2013 · 19.06.2016, 15:48

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

О, как прозрачны и понятны указатели в Си! Говоришь таксисту адрес (или хоть координаты для GPS), он тебя привозит, а там уже не дом, а чистое (условно) поле. И ты такой - ну что же, у меня только этот адрес, придется жить здесь

Или еще круче: применяешь действие "открыть дверь" к полю, а оно тебя критует (бьет молнией сверху)

@Renji · 19.06.2016, 15:49

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

delete x;

Упс, delete object.

@_Ivana · 19.06.2016, 15:50

rikimaru2013, нет, я верю что есть люди (и их немало), которые до конца разбираются в этом всем хотя бы на уровне семантики. Причем, я полагаю, что таких немало даже на этом форуме. Но им скучно в 100-й раз объяснять ламерам все, и поэтому они акцентируют внимание на внутренних тонкостях. Так вот я тоже хочу примкнуть к их числу, и также с ощущением знания смотреть на барахтающихся и непонимающих

Новые блоги и статьи Все статьи Все блоги /
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .
Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .	Почему SEO не начинается с ключевых слов: что проверить до написания текстов Neotwalker 01.08.2026 Когда владельцу сайта предлагают заняться SEO, первым шагом часто становится сбор запросов и написание текстов. Логика кажется понятной: 1. Находим ключевые слова. 2. Добавляем их на. . .	Знание — сила: Доктрина интенциональности знаний, углубление в формулу Hrethgir 01.08.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11957&stc=1&d=1785567302 Знаменитый афоризм Фрэнсиса Бэкона «Знание — сила» (Scientia potentia est) в массовой культуре принято понимать. . .

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	19.06.2016, 14:32
	Ferrari F1, причем здесь как она будет реализована? Ссылка != разыменнованный указатель. Реализация может делать что угодно, на язык это не влияет. 0

@Ferrari F1 807 / 534 / 158 Регистрация: 27.01.2015 Сообщений: 3,017 Записей в блоге: 1
	19.06.2016, 14:45
	Croessmah, т.е. стандартом не определено, как ссылка реализована в языке? А то, что она с точки зрения ассемблерного кода выглядит как указатель, то это заслуга разработчика конкретного компилятора? И на другом компиляторе ссылка может не представлять из себя указатель, если смотреть на низком уровне? 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	19.06.2016, 15:03
	Ferrari F1, Renji, причем здесь низкий код и ассемблер? Мы говорим о C++, а не о асме. В C++ указатель и ссылка понятия разные. Вы же, почему-то не говорите, что указатель реализован как число и бла-бла-бла, а еще там электроника, электроны, дырки, насмешили, честно Добавлено через 1 минуту Renji, только тут уже появилось слово оптимизатор. Не заметили? Добавлено через 3 минуты Итого: ссылка и указатель понятия разные, как оно будет реализовано в конечном итоге - плевать. В люблм случае это некая абстракная система, придуманрая людьми для укращения электроники. Если хотите, можете еще ниже копать. Смысл? Есть язык, есть его правила. Всё остальное - реализация, которая лишь реализует эти правила, а не задает их. 1

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,038 Записей в блоге: 1
	19.06.2016, 15:37
	ct0r, я всегда заварачиваю мелкие объекты в вектор, который потом пихаю в список, и всё обязательно еще обкладываю shared_ptr'ом, так надежнее Это я к тому, что ситуации разные, объекты разные. Объект в 1Кб считается мелким, если все остальные в тысячу раз больше? Что касается int'ово подобных, то, конечно же копию. Кстати, тут сразу всплывает вопрос о шаблонах. А как там передаете? Отдельные версии для фундаментальных типов пишите? 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	19.06.2016, 15:47
	_Ivana, так думаю это связано с тем, что язык/Страуструп/учебники не могу и сами разъяснить эти нюансы. Подпись Croessmah полностью раскрывает большинство тем С++ 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	19.06.2016, 15:50
	rikimaru2013, нет, я верю что есть люди (и их немало), которые до конца разбираются в этом всем хотя бы на уровне семантики. Причем, я полагаю, что таких немало даже на этом форуме. Но им скучно в 100-й раз объяснять ламерам все, и поэтому они акцентируют внимание на внутренних тонкостях. Так вот я тоже хочу примкнуть к их числу, и также с ощущением знания смотреть на барахтающихся и непонимающих 0