Как работают ссылки

@mozart_45 · Регистрация: 21.07.2015

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

1 Здравствуйте маленький вопрос?
int d;
int &s=d;
как работает почему их типы должны быть одинаковы?

@Enno · 30.07.2015, 19:18

1) s располагается по тому же адресу что и d.
2) Чтобы за отведённые пределы размера не вылезти. Очевидно же.

@Renji · 30.07.2015, 19:41

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

как работает почему их типы должны быть одинаковы?

s работает как указатель на d, который всегда разыменован (*s). И никому типы одинаковыми быть не должны. Если s - ссылка на тип parent, то d может быть любым потомком этого parent. int и double потомками друг друга не являются, так что с ними фокус не работает.

@castaway · 30.07.2015, 19:44

Самое название "ссылка" говорит о том, что она на что-то ссылается.
Её можно представить как неявный указатель, который не нужно разименовывать.
Её можно представить как альтернативное имя переменной.

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <cstdint>
#include <iostream>
 
int main()
{
    uint32_t a = 0x80000000;
    float & f = *((float *)&a);
 
    std::cout << a << std::endl;
    std::cout << f << std::endl;
 
    return 0;
}

@Mr.X · 30.07.2015, 20:10

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

1) s располагается по тому же адресу что и d.

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

@castaway · 30.07.2015, 20:16

Mr.X, разве они не имеют один и тот же адрес? Мой компилятор солидарен с моей логикой и говорит обратное.

@Mr.X · 30.07.2015, 20:26

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

Mr.X, разве они не имеют один и тот же адрес? Мой компилятор солидарен с моей логикой и говорит обратное.

Стандарт этого не требует. Обычно это так реализовано, но если кто-то реализует по-другому - стандарт не будет против. При некоторых оптимизациях во время исполнения вообще не существует объекта, представляющего ссылку.

@castaway · 30.07.2015, 21:20

Сообщение от Mr.X

Стандарт этого не требует. Обычно это так реализовано, но если кто-то реализует по-другому - стандарт не будет против.

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
 
class A {
    int m_i;
 
public:
    A( int i ) : m_i( i ) {}
    A & operator = ( const A & a ) {
        if ( this != &a ) {
            m_i = a.m_i;
        }
        return *this;
    }
};
 
int main()
{
    A a( 1 );
    A b( 2 );
    a = b;
    a = a;
    return 0;
}

Добавлено через 10 минут
Ключевой момент - 9-я строка.

@Mr.X · 30.07.2015, 21:35

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

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

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

@castaway · 30.07.2015, 21:58

Честно говоря, я просто хотел услышать ответ на свой вопрос. Вы можете на него ответить?

@Mr.X · 30.07.2015, 22:46

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

Честно говоря, я просто хотел услышать ответ на свой вопрос. Вы можете на него ответить?

Так я вроде бы довольно подробно ответил.

@castaway · 30.07.2015, 23:16

Сообщение от Mr.X

Так я вроде бы довольно подробно ответил.

Да, Вы подробно ответили, но не на мой вопрос.

Croessmah · 31.07.2015, 14:03

castaway, Mr.X имеет ввиду, что

C++
1
2
int a = 0 ; //объект
int & b = a ; //ссылка

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

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

Tulosba · 31.07.2015, 15:17

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

И никому типы одинаковыми быть не должны.

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

Ilot · 31.07.2015, 16:04

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

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

Постой. А если класс наследует закрыто?

@taras atavin · 31.07.2015, 16:15

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

почему их типы должны быть одинаковы?

потому что это синоним. Вот смотри, есть животное гипопотам, а теперь приходишь ты и говоришь: а теперь бегемот - синоним гипопотама. Бегемот с какого то перепугу будет запахом?

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

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

2) Чтобы за отведённые пределы размера не вылезти. Очевидно же.

А вот фиг.

C++
1
2
3
4
5
6
union n
{
 float f;
 double d;
 folat r[300];
};

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

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

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

s работает как указатель на d, который всегда разыменован (*s).

Ведёт себя действительно так. Но ни какой гарантии такой реализации нет.

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

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

1) s располагается по тому же адресу что и d.

s может быть и дефолтно-разыменованным указателем. И даже сущностью, все изменения которой перехватываются копировщиком, который и копирует s по адресу d. Или вообще той же физической ячейкой памяти, но отображённой на другой адрес.

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

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

И никому типы одинаковыми быть не должны.

Энто с какого?

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

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

Mr.X, разве они не имеют один и тот же адрес? Мой компилятор солидарен с моей логикой и говорит обратное.

Компилятор лишь говорит, как он это реализовал. Да и то не полностью.

@hoggy · 31.07.2015, 16:16

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

объект и ссылка - это две разных сущности

согласно стандарту языка:
сущность только одна.
ссылка - её альтернативное имя, и не более того.

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

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

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

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

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

Tulosba · 31.07.2015, 16:21

Не по теме:

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

на эту сущность не детонирует.

не торопись ты так в написании текстов, а то часто слишком диструктор детонирует :D

@taras atavin · 31.07.2015, 16:23

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

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

Нет. Нет и не может быть ни какого "типа класса", "класса типа" и вообще "типа типа". Это даже не масло маслянное, а масло самого мала даже без "из". Фактический тип экземпляра производного класса - сам производный класс. Но одновременно он представляет подвид экземпляра базового класса и в этом качестве его тип - базовый класс, как над категория производного класса. Это как человек - тоже животное, только разумное, а ещё это млекопитающее, позвоночное, многоклеточное и много кого ещё, но фактический его тип - хомо сапиенс.

@Mr.X · 31.07.2015, 18:19

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

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

Страуструп разделяет типы на конкретные (в том числе встроенные) и абстрактные. Класс может быть как конкретным типом, так и абстрактным. Еще он выделяет так называемые узловые классы, которые и не конкретные, и не абстрактные.

Новые блоги и статьи Все статьи Все блоги /
сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и источниками (напряжения, ЭДС и тока). Найти токи и напряжения во всех элементах. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и. . .

@mozart_45 1 / 1 / 0 Регистрация: 21.07.2015 Сообщений: 42

	Как работают ссылки 30.07.2015, 19:03. Показов 2007. Ответов 22 Метки нет (Все метки) 1 Здравствуйте маленький вопрос? int d; int &s=d; как работает почему их типы должны быть одинаковы? 0

@Enno 267 / 170 / 40 Регистрация: 25.08.2014 Сообщений: 1,087 Записей в блоге: 1
	30.07.2015, 19:18
	1) s располагается по тому же адресу что и d. 2) Чтобы за отведённые пределы размера не вылезти. Очевидно же. 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	30.07.2015, 20:16
	Mr.X, разве они не имеют один и тот же адрес? Мой компилятор солидарен с моей логикой и говорит обратное. 0

@castaway 4986 / 3093 / 456 Регистрация: 10.11.2010 Сообщений: 11,170 Записей в блоге: 10
	30.07.2015, 21:58
	Честно говоря, я просто хотел услышать ответ на свой вопрос. Вы можете на него ответить? 0