Как происходит возврат значения по ссылке?

@Ferrari F1 · Регистрация: 27.01.2015

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

Добрый вечер, распишите пожалуйста детально про то, как происходит возврат значения по ссылке.
Можно вот на этом примере:

C++
1
2
3
4
5
alpha& operator=(alpha& a) // перегружаемая операция =
{
   data = a.data;
   return *this;
}

Да и вобще, что есть ссылка? Можно ли ее считать саморазыменовывающимся указателем?

@MakeEasy · 10.03.2015, 16:58

Не по теме:

Если кому интересно посмотрел асм на gcc 4.8.2. В коде с++ 28 ссылок :

Assembler
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
    pushq   %rbp
    movq    %rsp, %rbp
    subq    $240, %rsp
    movl    $10, -228(%rbp)  // int i = 10
    leaq    -228(%rbp), %rax
    movq    %rax, -224(%rbp) //ссылка
    leaq    -228(%rbp), %rax
    movq    %rax, -216(%rbp) // ссылка
    leaq    -228(%rbp), %rax
    movq    %rax, -208(%rbp) // еще ссылка
    leaq    -228(%rbp), %rax
    movq    %rax, -200(%rbp) // ...
    leaq    -228(%rbp), %rax
    movq    %rax, -192(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -184(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -176(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -168(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -160(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -152(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -144(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -136(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -128(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -120(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -112(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -104(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -96(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -88(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -80(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -72(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -64(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -56(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -48(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -40(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -32(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -24(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -16(%rbp)
    leaq    -228(%rbp), %rax
    movq    %rax, -8(%rbp)
    movq    ext(%rip), %rax
    leaq    1(%rax), %rdx
    movq    %rdx, ext(%rip)
    movq    %rax, %rsi
    movl    $_ZSt4cout, %edi
    call    _ZNSolsEx
    movl    $_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, %esi
    movq    %rax, %rdi
    call    _ZNSolsEPFRSoS_E
    call    _Z4testv
    leave
    ret

Не по теме:

С ключом -O3 такого конечно нет

Velesthau · 10.03.2015, 17:01

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

просто человек похоже не различает, где с++, а где компилятор

Просто человек уточняет, что

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

Мы лишь создаем текстовую метку в исходном коде

не полностью отражает суть, так как "тектовая метка в исходном коде" может затронуть работу с памятью.

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

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

С ключом -O3 такого конечно нет

Это просто потому что инициализированные ссылки больше нигде не используются

@hoggy · 10.03.2015, 17:10

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

А ты?

да.

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

Альтернативное имя может оказывать влияние на работу с памятью.

да, может. и что?

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

Здесь уже были примеры, когда это влияло на исполнение программы.

использование ссылок безусловно влияет на исполнение программы.

поведение программы никак не зависит от того, сделал ли inline компилятор, или не сделал.

и строго говоря, это справедливо не только в отношении ссылок,
а вообще: любая оптимизация не изменяет поведение программы, которое было описано в исходном коде.

и что?

или вы считаете, что если вдебаге компилятор своих палок на втыкал - это есть влияние ссылки на исполнение?
нет, мой дорогой, это влияние самого компиляторе в режиме "отладки".
ссылки здесь не причем.

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

Это говорит о твоей квалификации.

что тут у нас? похоже начинается драка?

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

Мда, вот что делает с людьми программирование под персоналки. Другого ничего в мире не видят.

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

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

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

не полностью отражает суть, так как "тектовая метка в исходном коде" может затронуть работу с памятью.

потому что вырвано из контекста:

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

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

Тут вроде по-русски написано, что компиль может оформить ссылку через механизм указателей.

Velesthau · 10.03.2015, 17:15

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

или вы считаете, что если вдебаге компилятор своих палок на втыкал - это есть влияние ссылки на исполнение?

Компилятор в дебаг-режиме ничего не втыкал. Я уже тут постил код с ссылками. В релиз-режиме он будет такой же.

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

нет, мой дорогой, это влияние самого компиляторе в режиме "отладки".

Влияния режима отладки там нет.

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

ссылки здесь не причем.

Этот код сформирован именно благодаря ссылкам.

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

поведение программы никак не зависит от того, сделал ли inline компилятор, или не сделал.

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

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

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

ref - это текстовая метка на самом деле, и не более того.

"и не более того" тут лишнее. Без него будет нормально.

@hoggy · 10.03.2015, 17:15

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

Компилятор в дебаг-режиме ничего не втыкал. Я уже тут постил код с ссылками. В релиз-режиме он будет такой же.

DrOffset тоже постил.

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

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

приведите код пример-иллюстрацию.

@Voivoid · 10.03.2015, 17:16

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

Я уже тут постил код с ссылками. В релиз-режиме он будет такой же.

Может стоит обновить компилятор до версии хотя бы 15 летней давности?

@hoggy · 10.03.2015, 17:18

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

"и не более того" тут лишнее. Без него будет нормально.

нет не будет.

ссылка - альтернативное имя объекта.
имена в исходном коде - просто текст.

Velesthau · 10.03.2015, 17:18

Не по теме:

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

Может стоит обновить компилятор до версии хотя бы 15 летней давности?

Да, пора бы уже :)

Добавлено через 20 секунд

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

ссылка - альтернативное имя объекта.
имена в исходном коде - просто текст.

Да, ссылка - альтернативное имя. Все в исходном коде - просто текст.

@hoggy · 10.03.2015, 17:22

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

Может стоит обновить компилятор до версии хотя бы 15 летней давности?

если там микроконтроллеры - то с нормальным компилятором могут быть сложности...

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

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

Все в исходном коде - просто текст.

имена детонируют объекты.
но только, если это не имена ссылок.
ссылки не детонируют объекты.

(речь именно о с++, а не о кухни компилятора)

вы не можете получить адрес ссылки,
просто потому что его не существует.

(то, что компиль может оформить ссылку через указатель - монопенисуально,
потому что не стабильно. и к правилам языка отношения не имеет).

Velesthau · 10.03.2015, 17:25

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

приведите код пример-иллюстрацию.

Я тебе в няньки не записывался, чтобы тут примеры постоянно кидать. Сам почитай, как стек, например, в винде работает, и для чего guard pages.

@hoggy · 10.03.2015, 17:27

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

Я тебе в няньки не записывался, чтобы тут примеры постоянно кидать. Сам почитай,
как стек, например, в винде работает, и для чего guard pages.

человек который не в состоянии пояснить свою позицию - балабол.
а речи балаболов ценности не представляют.

@Voivoid · 10.03.2015, 17:31

Ну кстати, лол, я где-то тут пару дней назад про guard pages стэка писал

Velesthau · 10.03.2015, 17:42

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

имена детонируют объекты.

Нет такого в стандарте. Имена функций тоже существуют.

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

(речь именно о с++, а не о кухни компилятора)

Именно С++ указывает, что ссылками память может быть использована, а не компилятор.

Добавлено через 35 секунд

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

человек который не в состоянии пояснить свою позицию - балабол.

Человек, которому лень разобраться в вопросе и он всегда просит других что-то для себя сделать - дурак.

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

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

а речи балаболов ценности не представляют.

Речи дураков - тоже. Я не собираюсь тратить свое время на приведение тебе примеров на каждый чих. Если ты что-то не читал, или не знаешь, то я не виноват в этом. И не моя задача исправлять это. Ссылки я тебе дам, читай. Напиши и проверь.

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

Не по теме:

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

Ну кстати, лол, я где-то тут пару дней назад про guard pages стэка писал

Я как-то упустил это, видимо :)

@Voivoid · 10.03.2015, 17:44

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

Я как-то упустил это, видимо

Не по теме:

Ну, не в этой теме, но где-то в этом разделе

@hoggy · 10.03.2015, 17:47

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

Нет такого в стандарте. Имена функций тоже существуют.

это была цитата Страуструпа из его первой книги.

где он кстати черным по белому пишет,
что имена детонируют объекты, метки, функци...

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

Именно С++ указывает, что ссылками память может быть использована

он этого не указывает.

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

8.3.2 4 It is unspecified whether or not a reference requires storage.

Что означает - на усмотрение компилятора.

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

могу показать как.

вот только что из этого следует?
вы сказать то что хотели?

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

Человек, которому лень разобраться в вопросе и он всегда просит других что-то для себя сделать - дурак.

согласен.
человек которому лень, и который всегда.

в данном случае вы сказали "а", и не понятно к чему это вообще было сказано.
на просьбу уточнить момент начали слюнками брызгать.

диалог в таком ключе - бесполезен.

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

Речи дураков - тоже. Я не собираюсь тратить свое время на приведение тебе примеров на каждый чих. Если у тебя такой уровень знаний, то я не виноват в этом. Ссылки я тебе дам, читай. Напиши и проверь.

когда мне становить лень продолжать не интересный мне диалог, я так и говорю: скучно.

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

вы мне больше не интересны.

Velesthau · 10.03.2015, 18:02

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

это была цитата Страуструпа из его первой книги.
где он кстати черным по белому пишет,
что имена детонируют объекты, метки, функци...

Страуструп пишет, как хочет.

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

Что означает - на усмотрение компилятора.

Что означает, что это не "просто текстовая метка в исходном код и не более того".

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

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

человек которому лень, и который всегда.

Учитывая, что по твоей просьбе, я тебе уже привел один пример, и ты просишь меня привести еще, этого достаточно, чтобы понять, что ты за человек.

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

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

на просьбу уточнить момент начали слюнками брызгать

Не люблю наглых ленивых людей. Им лень разобраться в вопросе и они всегда просят приводить им примеры, и еще, и еще. Они не достойны того, чтобы на них даже слюну тратили.

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

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

вы сказать то что хотели?

Хм... Я уже несколько раз говорил:

ref - это текстовая метка на самом деле, и не более того.

Не верно. "Текстовая метка...и не более того" намекает на то, что она оказывает влияние на исходный код, а не на итоговый сгенерированный. Но это не так.

@hoggy · 10.03.2015, 18:03

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

Не люблю наглых ленивых людей. Им лень разобраться в вопросе и они всегда просят приводить им примеры, и еще, и еще. Они не достойны того, чтобы на них даже слюну тратили.

я все понимаю: есть такие люди, которые собственные тезисы не могут ни объяснить толком, ни обосновать.
и начинают какашками кидаться.

вы главное желчью не подавитесь.
и не пишите мне больше ничего.

Velesthau · 10.03.2015, 18:09

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

есть такие люди, которые собственные тезисы не могут ни объяснить толком, ни обосновать.

Я уже все объяснил: есть стек, в винде он при расширении затронет страницы, которые вызовут исключение и обращение к менджеру памяти для того, чтобы дать доступ к странице, которая вызвала исключение. Так как ссылки могу занимать сторейдж в памяти, они могут все это сделать. Есть guard pages, есть ссылки на стеке, есть мендежер памяти. Хочешь увидеть воочию - напиши пример в пару строк и в WinDbg отладь - увидишь.

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

вы главное желчью не подавитесь.

Меня это не беспокоит.

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

и не пишите мне больше ничего.

Это не твоя тема, закрой страницу и не читай.

@Voivoid · 10.03.2015, 18:28

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

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

Хех, это звучит примерно как: "Все, кто когда-либо в жизни ели огурцы - уже умерли или умрут". Если используется косвенная адресация, не важно при помощи ссылок-ли или же указателей, то очевидно, что потребуется какая-то дополнительная сущность. Зато там, где без этого можно обойтись ( в том числе и в inline функциях ) ссылки всегда оптимизируются в 0. Унылые компиляторы которые даже такую элементарную вещь не могут сделать - не нужны. ( а байтослесари должны страдать ).

@daslex · 10.03.2015, 21:17

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

Если бы утверждение: "ссылка - это указатель с авторазыменовыванием" было бы верным,
тогда её размер так же был бы равен sizeof(void*)
Однако:
Код C++

C++
1
2
3
4
5
int ar[20];
auto& ref = ar;
std::cout<<"size of p = "<< sizeof(ar)<<std::endl;
std::cout<<"size of ref = "<< sizeof(ref)<<std::endl;
std::cout<<"size of void* = "<< sizeof(void*)<<std::endl;

Я не понял этого довода.
Почему если речь про саморазыменование, то в первой строчке адрес берется у указателя как у сущности "указатель", а не как у сущности "разыменованный указатель".

Новые блоги и статьи Все статьи Все блоги /
Транслитерация текста с кириллицы на латиницу (вариант №3) Maks 15.11.2026 Обновленная версия предыдущей обработки. Изменения коснулись букв: Ъ, Ы, Ь, Э, отображения которых зависят от положения реквизита "Транслитерация имён". Изменено отображение буквы Й. Добавлена. . .	Транслитерация текста с кириллицы на латиницу (вариант №2) Maks 13.11.2026 Обновленная версия ранее созданной обработки. Добавлено: - Проверка исходного текста на кириллицу, через обращение к стандартной функции "ТолькоКириллицаВСтроке" из общего модуля. . .	Часы с термометром и праздничным календарем yariko 12.11.2026 Сегодня мы рассмотрим как можно сделать отличные многофункциональные часы. Итак, поставим конкретную задачу: разработать часы с календарем, двумя термодатчиками, выводом поздравительных сообщений. . .	Транслитерация текста с кириллицы на латиницу (вариант №1) Maks 11.11.2026 Решил облегчить жизнь себе и коллегам админам при создании электронных почтовых ящиков для пользователей, в результате написал обработку "Транслитерация текста" с кириллицы на латиницу, а в ней. . .
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .	Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .

@Voivoid 710 / 284 / 16 Регистрация: 31.03.2013 Сообщений: 1,340
	10.03.2015, 17:31
	Ну кстати, лол, я где-то тут пару дней назад про guard pages стэка писал 0