Как устроены ссылки

@ReYalp · Регистрация: 27.12.2017

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

C++
1
int a = 0; i * pa = &a;

вот на x64 системе pa будет весть 8 байт.
как устроены ссылки в аналогичной ситуации?

C++
1
int a = 0; int& ra = a;

сколько будет места занимать ra как ссылка?

@Avazart · 03.09.2020, 21:19

Дэвид ВАНДЕВУРД "C++ Шаблоны.Справочник разработчика".

1.6.1. Передача по значению или по ссылке
Вы можете спросить, почему мы в основном объявляем функции с передачей
аргументов по значению вместо использования ссылок. В общем случае передача
по ссылке рекомендуется для типов, отличных от дешевых простых типов (таких
как фундаментальные типы или std::string_view), потому что при этом не
создаются ненужные копии.

Однако по ряду причин передача по значению часто оказывается лучшим решением.
• Простой синтаксис.
• Лучшая оптимизация кода компилятором.
• Семантика перемещения зачастую делает копирование дешевым.
• Иногда копирование или перемещение не выполняется вовсе.

Кроме того, для шаблонов в игру вступают дополнительные аспекты.
• Шаблон может использоваться как для простых, так и для сложных типов,
так что выбор подхода для сложных типов может оказаться контрпродуктивным
для простых типов.
• Как автор вызывающего кода, вы все равно можете принять решение о передаче
аргументов по ссылке с использованием std::ref () и std::cref ()
(см. раздел 7.3).

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

IGPIGP · 03.09.2020, 23:50

ReYalp, что-то вы спрятались? А имеет смысл спрашивать ведь. Материал очень непростой. Я не люблю новичкам говорить о передачи ссылок именно потому, что на этом ломается псевдоопределение Страуструпа:"Очевидной реализацией ссылки является (константный) указатель, при каждом использовании которого происходит разыменование. Большого вреда в такой интерпретации ссылки нет, но при этом надо помнить, что ссылка, в отличие от указателя не является объектом, над которым можно выполнять операции (и т.д...)" с.138 С++ 2002 Бином. с.137 5.5 Ссылки.
Однако это далеко не все отличия. И лучше бы начинать с возврата ссылок. Ссылка - синоним... Тут нужно сначала понять что такое семантика значений для переменных. Прямо начиная с приравнивания вида SomeType a=b. Для значений создаётся новый объект - копия. А для ссылок такая копия не создаётся. Где-то под ковром может создаваться указатель. Но к нему нет доступа и такой доступ не подразумевается. Там работает автоматика ссылки (см. цитату). Эта улыбочность без кота для человека, который не видел висячих абстракций до этого, достаточно болезненна.
И если с возвратом ссылки всё более менее понятно, то передача параметру ссылки аргумента, это не простой вопрос. Когда объявляется параметр нормального типа (ссылку считаем ненормальным типом), то передаваемый аргумент инициализирует значение объявленное параметром. Инициализирует - ключевое слово. Передача параметра имеет семантику инициализации нового программного объекта в новой области (области функции). То есть при передаче значения происходит инициализация, которая включает допустимые преобразования. И вот указатель-то передаётся без "чудес". Указатель инициализирует указатель порождая копию. Преобразования не допускаются (для сырых указателей и в случаях когда не ожидается преобразование как char* -> string, например). А ссылка ведёт себя иначе. Если ссылка объявлена параметром, то для её инициализации используется значение. Ссылка не передаётся. Именно поэтому говорят передача ПО ссылке. То есть, ссылка в области функции инициализируется значением передаваемым в аргументе. И не важно подставлен ли в качестве аргумента объект или ссылка на него. Ссылка будет вскрыта как консервная банка, для получения значения. Вот пример, показывающий как константная ссылка отличается от указателя в части автоматического преобразования. Это связано именно с семантикой инициализации и именно тут видно что нет ни какой передачи. На одной стороне передали одно, а на другой стороне получили другое.

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
#include <iostream>
using namespace std;
 
struct s2 {
int x;
int y;
};
 
struct s1 {
    int x;
    s1(const s2 &rhs)
    :x(rhs.x)
    {
    }
};
 
void do_something(const s1& s)
{
    cout<<s.x<<endl;
}
 
void do_something(const s1* s)
{
    cout<<s->x<<endl;
}
 
 
int main()
{
s2 s{123,456};
do_something(s);
//do_something(&s);//nea - not compile |13054|error: no matching function for call to 'do_something(s2*)'|
do_something(reinterpret_cast<s1*>(&s));//ststic_cast не прокатит, естественно
}

Примеры с передачей ссылок обёрток, - это именно о передаче обёрток. К этому советую обратиться после понимания ссылок как таковых.

Новые блоги и статьи Все статьи Все блоги /
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. 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, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .	Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .